Sentential and first-order logic, with identity and descriptions, from both deductive and semantic points of view. Completeness, compactness, decidability for sentential logic.
This course may not be repeated for credit.
Notes
- Not open to students with credit in Philosophy 279.
Sections
This course will be offered next in
Summer 2017.