Philosophy 225 - Symbolic Logic

Symbolic Logic

Spring
2023
01
4.00
Stephen Harrop

MWF 08:30AM-09:45AM

Mount Holyoke College
120098
Cleveland 001L
sharrop@mtholyoke.edu
This course develops a symbolic system that can be used as the basis for inference in all fields. It will provide syntax and semantics for the language of this system and investigate its adequacy. It provides the basis for all further work in logic or in the philosophical foundations of mathematics. Much of the course has a mathematical flavor, but no knowledge of mathematics is necessary.
Permission is required for interchange registration during the add/drop period only.