Title Logic Seminar
Teacher P├ęter Mekis
Codes BBN-FIL-302.2, BMA-FILD-302.02, BMA-LOTD-101.03, BBN-FIL-402.302, BMI-LOTD-101E.06
Time Monday 12:00-13:30
Venue i224
Prerequisites The course has no prerequisites.
Description This course introduces a gentle introduction to the basic concepts and methods of both traditional and modern logic. We will discuss the following topics:
  • truth and validity
  • Aristotelian syllogisms
  • propositional logic: informal introduction
  • propositional logic: decision methods 1-2
  • propositional logic: syntax and semantics
  • Aristotelian vs recursive definitions
  • first-order predicate logic: informal introduction 1-2
  • first-order predicate logic: languages and models
  • first-order predicate logic: syntax and semantics
  • types of relations
Literature

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

Homeworks