Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter & summer semesters 2022/23

Lectures: Wednesdays 5.30-7 p.m. (Dr hab. Piotr Łukowski, Prof. UJ)
Classes: Thursdays 4-5.30 p.m.

• Exercises:
  • Classical propositional logic (KRZ)
    • Translations – solutions
    • Tautologies – solutions
    • Rules – solutions
    • Proofs
    • Exemplary test
  • Intuitionistic logic
    • Tautologies and rules
  • Modal logic
    • Tautologies and rules (Ł3 & S4)
  • Classical predicate logic
    • Translations and quantifiers (KRP)
    • Tautologies and rules (KRP)
  • Set theory
    • Elements of set theory (sets)
    • Elements of set theory (relations)
• Handouts:
  • Basic notions
  • Greek alphabet
  • List of axioms and rules (KRZ, INT, KWRP)
•  Literature:
  • C. Leary, A Friendly Introduction to Mathematical Logic
  • M. Porębska & W. Suchoń, Elementarne wprowadzenie w logikę formalną
  • K. Idziak, Materiały pomocnicze do ćwiczeń z logiki