Logic Seminar 3800-LS23-S-OG

The topics of the seminar will be connected to the project „Epistemic and semantic commitments of foundational theories, see. https://commitments-project.com/. The principal objective of the project is to provide a deep conceptual and formal analysis of the notion of commitments of a foundational theory, where the latter expression stands for a theory that can develop a significant portion of mathematics. The notion of a commitment is essentially involved in many discussions in contemporary formal philosophy. The project focuses on the following two types of commitments.

• Epistemic commitments of a theory Th: sentences of the language of Th (possibly with the truth predicate added) that should be accepted once we accept the axioms and the inference rules of Th.

• Semantic commitments of a theory Th: restrictions on possible interpretations of Th imposed by the axioms and the deductive machinery of Th.

A typical example of an epistemic commitment of a theory Th is the consistency statement: it has been claimed that when you accept Th, you should also accept that Th is consistent, even though by Gödel’s second incompleteness theorem, the consistency of Th cannot be proved in Th itself. Another example is the statement that all theorems of Th are true. Semantic commitments differ from the epistemic ones in that we do not require that they can be described in the language of Th (even enriched with the truth predicate). A description of such commitments involves explaining how our specific choice of axioms restricts the class of possible interpretations (or models) of Th.

Several seminar talks are planned to be given by the invited guests (from Poland and other countries), who take up problems related to the topic of the aforementioned research project.

Rodzaj przedmiotu

ogólnouniwersyteckie
seminaria monograficzne

Koordynatorzy przedmiotu

Cezary Cieśliński

Efekty kształcenia

Acquired knowledge
- knows the contemporary theories of truth proposed in the literature
- has deepened knowledge of the role of the concept of truth in logic and philosophy

Acquired skills:
- analyzes complex logical and philosophical arguments
- recognizes the flaws and logical errors in oral and written argumentation

Acquired social competences:
- has the ability to work in a team.
- understands and appreciates the need for training and professional development

Kryteria oceniania

Activity, written final test

Acceptable number of missed classes without formal explanation: 2 in a semester

Literatura

Cieśliński, Cezary (2017) „The Epistemic Lightness of Truth. Deflationism and its Logic”, Cambridge University Press.
Dean, W. (2015). “Arithmetical reflection and the provability of soundness”. Philosophia Mathematica, 23(1):31–64.
Halbach, Volker (2013) „Aksjomatyczne teorie prawdy”, PWN, Warszawa, przeł. Cezary Cieśliński i Joanna Golińska-Pilarek.
Fischer, Martin; Horsten, Leon; Nicolai, Carlo (2021) Hypatia's silence: Truth, justification, and entitlement, Nous 55(1): 62-85.
Horsten, Leon (2011) „The Tarskian Turn: Deﬂationism and Axiomatic Truth”, MIT Press.

Więcej informacji

Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 3800-LS23-S-OG w USOSweb