Logic
Level:
Master's
Course Status:
Core
CEU credits:
2
Academic year:
2009/2010
Semester:
Fall
Host Unit:
Department of Philosophy Academic Program:
CEU Instructor(s):
Mike Griffin Assessment :
Reading material for the course will be in the form of handouts. There will be homework on a weekly basis. Pass/fail will be determined by your performance on three exams to be given (roughly) every four weeks. Class time will be divided between the introduction of new material and solving problems. The pace of the class will depend on the rate the material is absorbed. Students who are having difficulty with the material are encouraged to see me outside class.
Full description:
Topics:
Propositional Logic:
Atomic and compound statements
Truth-functional connectives
Validity and soundness
Semantics for logical truth, logical equivalence and entailment (truth-tables, truth trees)
Rules of derivation
Deriving statements from no premises (i.e., proving logical truths)
Soundness and completeness proofs for propositional logic
Quantification theory:
Translating statements with quantifiers
Basic derivation principles
Translating statements with identity