- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics
(in Polish) Introduction to formal theories of truth 3800-IFTT22-M-OG
The aim of the course is to familiarize the students with contemporary formal theories of truth. We will begin by discussing the model-theoretic conceptions, starting from the classical, hierarchical approach proposed in 1933 by Alfred Tarski. Next, Kripke's model-theoretic construction will be introduced, which allows to characterize an untyped notion of truth, that is, one that can be meaningfully applied also to sentences containing the truth predicate. The rest of the lecture will contain a step-by-step presentation of basic axiomatic theories of truth. In particular, the presentation will include:
- Disquotational theories. These are theories whose axioms take the form „The sentence F is true if and only if F”.
- Compositional theories. These are theories whose axioms describe how the truth value of compound sentences depend on its constituents. For example, a compositional axiom for disjunction can take the form „The sentence ‘F or G’ is true if and only if F is true or G is true”.
The lecture will contain also a discussion of the philosophical aspects of formal truth theories. Some meetings will be devoted to practical exercises.
Type of course
general courses
Mode
Prerequisites (description)
Learning outcomes
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
Assessment criteria
Activity during the classes, written final test
Acceptable number of missed classes without formal explanation: 2
Bibliography
Cieśliński, Cezary (2017) „The Epistemic Lightness of Truth. Deflationism and its Logic”, Cambridge University Press.
Halbach, Volker (2013) „Aksjomatyczne teorie prawdy”, PWN, Warszawa, przeł. Cezary Cieśliński i Joanna Golińska-Pilarek.
Horsten, Leon (2011) „The Tarskian Turn: Deflationism and Axiomatic Truth”, MIT Press.
Tarski, Alfred (1933) „Pojęcie prawdy w językach nauk dedukcyjnych”, Prace Towarzystwa Naukowego Warszawskiego. Wydział III .
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: