Logic Seminar 2015
autumn 
Péter Mekis 
Tuesday 14:0015:30, i224

BMAFILD302.02, BMALOTD101.03,
BBNFIL302.02, BMILOTD101E.03 
This course introduces the basic concepts and methods of both
traditional and modern logic. The material covers the following
systems:
 Aristotelian syllogisms;
 propositional logic: syntax and semantics
 propositional calculus: soundness and completeness
 firstorder logic: syntax and semantics
 Peano arithmetic: a firstorder theory
Literature:

L. T. F. Gamut, Logic,
Language, and Meaning. Volume I: Introduction to Logic.
University of Chicago Press, 1991.
 Handouts
