(in Polish) Logic Seminar 3800-LS23-S

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.