|Logic Seminar 2015
|Tuesday 14:00-15:30, i224
| BMA-FILD-302.02, BMA-LOTD-101.03,
|This course introduces the basic concepts and methods of both
traditional and modern logic. The material covers the following
- Aristotelian syllogisms;
- propositional logic: syntax and semantics
- propositional calculus: soundness and completeness
- first-order logic: syntax and semantics
- Peano arithmetic: a first-order theory
L. T. F. Gamut, Logic,
Language, and Meaning. Volume I: Introduction to Logic.
University of Chicago Press, 1991.