Skip Navigation


Students in classroom
Logic is the study of formal and informal reasoning. Originally a branch of philosophy, logic has also become a mathematical discipline, a tool of modern linguistics, the core of computer science and an object of study for psychologists and cognitive scientists of every description. The field now reaches into virtually every aspect of human (and nonhuman) thought. Studying logic enhances students’ reasoning ability, analytic reading and writing skills, oral debate skills, and appreciation of the structure of language and argument and of the structure of abstract formal systems. Logic is an excellent foundation not only for the study of philosophy, mathematics, computer science and linguistics, but also for such disciplines as legal studies, government and economics.

News & Events

The Joy of Arguing

Logic 100 students had a chance to practice the fine art of debating. Read the article, "The Debate that Began with a Hat."

Requirements & Courses

Minors in logic, to be designed in consultation with a co-director, will consist of at least 20 credits including:

  • LOG 100 or PHI 202, but not both
  • MTH 153 or CSC 250
  • MTH 217 or PHI 220

Additional courses may be chosen from the following list:

  • CSC 111 Computer Science I
  • CSC 250 Foundations of Computer Science
  • CSC 270 Digital Circuits and Computer Systems
  • CSC 290 Introduction to Artificial Intelligence
  • CSC 294 Introduction to Computational Linguistics
  • LOG 404 Special Studies in Logic
  • MTH 153 Discrete Mathematics
  • MTH 217 Mathematical Structures
  • PHI 203 Topics in Symbolic Logic
  • PHI 220 Logic and the Undecidable
  • PHI 236 Linguistic Structures
  • PHI 322 Topics in Advanced Logic

Depending on the topic, the courses listed below may also be taken for logic minor credit:

  • CSC 390 Seminar in Artificial Intelligence
  • MTH 224 Topics in Geometry
  • MTH 238 Topics in Number Theory
  • MTH 343 Topics in Mathematical Analysis
  • MTH 350 Topics in the History of Mathematics
  • PHI 362 Seminar: Philosophy of Language

Some courses in the Five College system may also be acceptable, such as courses in linguistics and law. Also, learn more about the Five College Logic Certificate Program.

In this century, logic has grown into a major discipline with applications to mathematics, philosophy, computer science, linguistics and cognitive science. The goal of the logic minor is to provide students with the tools, techniques and concepts necessary to appreciate logic and to apply it to other fields.

Logic courses include the following:

LOG 100 Valid and Invalid Reasoning: What Follows from What? 
Formal logic and its application to the evaluation of everyday arguments, the abstract properties of logical systems, the implications of inconsistency. Examples drawn from law, philosophy, economics, literary criticism, political theory, commercials, mathematics, psychology, computer science, off-topic debating and the popular press. Deduction and induction, logical symbolism and operations, paradoxes and puzzles. May not be taken for credit with PHI 202.

LOG 222 Set Theory
An introduction to the fundamentals of set theory. Emphasis will be on technical material, though there will be some philosophical discussion as well. On the mathematical side, topics covered include the standard axioms of set theory, basic operations on sets, cardinal and ordinal numbers, and the cumulative hierarchy. On the philosophical side, topics include the set theoretic paradoxes and indefinite extensibility. Prerequisite: LOG 100, MTH 153, or the equivalent.

LOG 404 Special Studies 
Offered both semesters each year.

PHI 101 Plausible and Implausible Reasoning: What Happened? What Will Happen Next? 
This course is designed for students who are uncomfortable with symbolic systems. It will provide an elementary introduction to the structure and function of propositional and predicate logic. This will include translating ordinary language statements and arguments into symbolic form; using truth tables to calculate truth values and determine the validity of arguments in finite universes; quantification in infinite universes; direct, indirect and conditional proof techniques in propositional and predicate logic. The course will also survey topics in inductive logic involving probabilistic and statistical reasoning and elements of decision theory. Enrollment limited to 24.





The Logic Program
Dewey Hall 106
Smith College
Northampton, MA 01063
Phone: 413-585-3679
Fax: 413-585-3710

Administrative Assistant: Chrissie Bell

Students who wish to learn more about the logic program may contact Jay Garfield.