Cognitive Science Unit, Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter semester 2022/23

Lectures: Mondays 11-12.30 p.m. (Dr hab. Tomasz Kowalski, Prof. UJ)
Classes: Mondays 9.30-11 a.m.

• Exercises:
  • Induction
  • Equivalence
  • Graphs
  • Automata
• Literature:
  • K. A. Ross & Ch. R. B. Wright, Matematyka dyskretna

Cognitive Science Unit, Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter semester 2022/23

Lectures: Tuesdays 11-12.30 p.m. (Dr hab. Tomasz Kowalski, Prof. UJ)
Classes:
1. Wednesdays 9.30-11 a.m.
2. Wednesdays 11-12.30 p.m.

• Exercises:
  • Classical propositional logic (KRZ)
    • Translations – solutions
    • Tautologies – solutions
    • Rules – solutions
    • Proofs
    • Defining logical connectives, DNF and CNF
• Exemplary exam:
  • KRZ 1 – solutions
  • KRZ 2 – solutions
• Handouts:
  • Basic notions
  • Greek alphabet
  • Axiomatic system (KRZ)
  • List of axioms and rules (KRZ, INT, KWRP) – extra
• 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
  • W. Marek & J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach

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

Institute of Psychology, Faculty of Philosophy, Jagiellonian University, Cracow
Winter semester 2021/22

Lectures: Thursdays 4.45-6.15 p.m. (Joanna Luc PhD)
Classes:
1. Wednesdays 1.15-2.45 p.m.
2. Wednesdays 3.00-4.30 p.m.
3. Thursdays 1.15-2.45 p.m.

• Syllabus
• Exercises:
  • Translations – solutions
  • Tautologies – solutions
  • Rules – solutions
  • Sample exam (logic) – solutions
•  Handouts:
  • Propositional calculus: basic notions
• Literature:
  • G. Restall, Logic: an Introduction
  • J. Pogonowski, Drzewa Semantyczne w KRZ
• Philosophy:
  • S. Blackburn, Myśl (Wstęp)
  • E. Gettier, Czy uzasadnione i prawdziwe przekonanie jest wiedzą?
  • Platon, Państwo (fragmenty) and Menon (fragmenty)
  • R. Descartes, Medytacje o filozofii pierwszej
  • G. Berkeley, Traktat o zasadach ludzkiego poznania
  • D. Hume, O tożsamości osoby
  • J. Łukasiewicz, O determinizmie
  • A. Schopenhauer, O wolności ludzkiej woli
  • D. Chalmers, Świadomość i jej miejsce w naturze

Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Summer semester 2017/18

Lectures: Mondays 12.30-2 p.m. (Prof. Jerzy Gołosz)
Classes:
1. Mondays 2.30-4 p.m.

• Syllabus
• Presentation topics
• Literature:
  • L. Sklar, Space, Time, and Spacetime (I)
  • S. Hawking, Krótka historia czasu 
  • H. Poincaré, Nauka i hipoteza & Nauka i metoda
  • K. Gödel, A remark about the relationship between relativity theory and idealistic philosophy
  • P. Davies, Zagadka upływającego czasu
  • L. Sklar, Space, Time, and Spacetime (II)
  • J. M. E. McTaggart, The Nature of Existence
  • C. D. Broad, An Examination of McTaggart’s Philosophy
  • Św. Augustyn, Wyznania (księga 11)
  • I. Newton, Scholium
  • G. W. Leibniz, Polemika z S. Clarke’iem
  • J. Earman, World Enough and Spacetime
  • M. J. Loux, Metaphysics. A Contemporary Introduction

Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Summer semester 2016/17

Lectures: Tuesdays 5.30-7 p.m. & Wednesdays 3.45-5.15 p.m. (odd weeks) (Prof. Marcin Mostowski)
Classes:
1. Wednesdays 7-8.30 p.m.

• Syllabus
• Handouts:
  • Basic Machine
  • RAM Machine
  • Turing Machine
  • Turing Machine (exercises)
• Homework
  • Assignment No. 1
  • Assignment No. 2
• Seminar readings:
  • Turing
  • Mostowski
  • Edmonds

Cognitive Science Unit, Faculty of Philosophy, Jagiellonian University, Cracow
Summer semester 2016/17

Lectures: Wednesdays 4-5.30 p.m. (Prof. Jan Hertrich-Woleński)
Classes:
1. Tuesdays 8-9.30 a.m. (even weeks)
2. Tuesdays 8-9.30 a.m. (odd weeks)
3. Tuesdays 9.30-11 a.m. (odd weeks)

• Syllabus
• Literature:
  • E. Gettier, Czy uzasadnione i prawdziwe przekonanie jest wiedzą?
  • A. Goldman, A Causal Theory of Knowing
    G. C. Stine, Scepticism, relevant alternatives, and deductive closure
    R. Nozick, Knowledge and scepticism
  • W. V. O. Quine, Dwa dogmaty empiryzmu
  • L. Fleck, O obserwacji naukowej i postrzeganiu w ogóle
  • K. Ajdukiewicz, Logika a doświadczenie
  • E. Poznański & A. Wundheiler, Pojęcie prawdy na terenie fizyki

Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter & summer semesters 2016/17

Lectures: Mondays 3.30-5 p.m. & Tuesdays 2-3.30 p.m. (even weeks) (Prof. Marcin Mostowski)
Classes:
1. Mondays 11-12.30 p.m.
2. Mondays 12.30-2 p.m.

• Exercises:
  • Sets
  • Relations and functions
  • Relations, functions and cardinality
  • Tautologies
  • Induction
  • Languages and models
• Handouts:
  • Basic proof methods
  • Practice test (with answers)