Skip to main content
banner showing math and logic symbols

Logic

General Information

The theory and techniques of formal logic play an important role in a variety of academic disciplines, including computer science, linguistics, mathematics, and philosophy.  The logic minor is designed to acquaint students with the fundamentals of logical theory and technique that form a central part of all of these disciplines.

Requirements

The minor in logic requires 18 credits, selected in consultation with the program advisor. At least 12 credits are in courses numbered above 299. All students are required to take PHI 251 - Logic, as well as, at least one more advanced course in logic selected from among the following:

  • PHI 451: Logic and Language
  • PHI 551: Mathematical Logic
  • PHI 552: Modal Logic
  • CIS 375: Introduction to Discrete Mathematics
  • CIS 473: Automata and Computability
  • MAT 375: Introduction to Abstract Mathematics

In addition to these, students may selected from a variery of courses in philosophy, linguistics, computer science, and mathematics.  Please visit the course catalog for a detailed description of the requirements for the Logic minor.

If you have questions, please contact Michael Rieppel, Director of the logic minor, at morieppe@syr.edu

Several academic disciplines - linguistics, mathematics, philosophy, and computer science - are tied together by the theory and techniques of formal logic. The minor in logic acquaints students with those fundamentals of logic theory and technique that are of central concern to all of these areas.

Program Director

Michael Rieppel

Michael Rieppel 
Assistant Professor
Philosophy

Program Faculty

Steven P. Diaz

Steven P. Diaz 
Professor
Mathematics

Janice Dowell

Janice Dowell 
Graduate Director and Professor
Philosophy

Kevan Edwards

Kevan Edwards 
Associate Professor
Philosophy

Jaklin Kornfilt

Jaklin Kornfilt 
Professor of Linguistics and Director of the Linguistic Studies Program as well as Director of Computational Linguistics Program as well as Turkish Language Coordinator

Jeff Meyer

Jeff Meyer 
Assistant Professor
Mathematics

Susan Older

Susan Older 
Associate Professor, BSCS Program Director Electrical Engineering & Computer Science