Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter & summer semesters 2017/18, 2018/19, 2019/20, 2020/21, 2021/22, 2022/23, 2023/24, 2024/25, 2025/26

Lectures: Wednesdays 6.30-8 p.m. (Dr hab. Piotr Łukowski, Prof. UJ)
Classes:
1. Mondays 12.45-2.15 p.m.
2. Mondays 2.30-4 p.m.

• Exercises:
  • Set theory
    • Elements of set theory (sets)
    • Elements of set theory (relations)
  • Classical Propositional Logic
    • Translations – solutions
    • Tautologies – solutions
    • Rules – solutions
    • Proofs
    • Exemplary test
  • Intuitionistic Logic
    • Tautologies and rules
    • Proofs
  • Modal Logic
    • Tautologies and rules
  • Classical First-Order Logic
    • Translations and quantifiers
    • Models and satisfiability
    • Tautologies and rules
    • Semantic consequence
• Handouts:
  • Basic notions
  • Greek alphabet
  • List of axioms and rules
•  Literature:
  • K. Kuratowski & A. Mostowski, Teoria mnogości
  • M. Porębska & W. Suchoń, Elementarne wprowadzenie w logikę formalną
  • W. Marek & J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach
  • K. Idziak, Materiały pomocnicze do ćwiczeń z logiki
  • C. Leary, A Friendly Introduction to Mathematical Logic