Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter & summer semesters 2018/19

Lectures: Tuesdays 7-8.30 p.m. (Prof. Wojciech Suchoń)
Classes:
1. Mondays 4-5.30 p.m.
2. Mondays 5.30-7 p.m.

• Exercises:
  • Translations
  • Tautologies
  • Defining logical connectives, DNF and CNF
  • Rules: harder & easier
  • Tautologies and rules (INT)
  • Tautologies and rules (Ł3 & S4)
• Handouts:
  • Basic notions
  • List of axioms and rules (KRZ, INT, KWRP)
• Tests:
  • 5.11.2018
  • 21.1.2019
  • 25.3.2019
•  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 2018/19

Lectures: Wednesdays 4.45-6.15 p.m. & Wednesdays 6.30-8 p.m. (Jacek Wawer PhD)
Classes:
1. Wednesdays 11.30-1 p.m.
2. Wednesdays 1.15-2.45 p.m.

• Syllabus
• Exercises:
  • Translations
  • Tautologies
  • Rules
• 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)