(in Polish) Introduction to formal theories of truth

General data

Course ID:	3800-IFTT22-M-OG
Erasmus code / ISCED:	08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0223) Philosophy and ethics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	(unknown)
Name in Polish:	Introduction to formal theories of truth
Organizational unit:	Faculty of Philosophy
Course groups:	(in Polish) Przedmioty ogólnouniwersyteckie Wydziału Filozofii General university courses General university courses in the humanities
ECTS credit allocation (and other scores):	(not available) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	English
Type of course:	elective monographs general courses
Prerequisites (description):	credit for an equivalent course in Logic II
Mode:	Classroom
Short description:	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. Some meetings will be devoted to practical exercises.
Full description:	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.
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: Deﬂationism and Axiomatic Truth”, MIT Press. Tarski, Alfred (1933) „Pojęcie prawdy w językach nauk dedukcyjnych”, Prace Towarzystwa Naukowego Warszawskiego. Wydział III .
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 methods and assessment criteria:	Activity during the classes, written final test Acceptable number of missed classes without formal explanation: 2

This course is not currently offered.

Course descriptions are protected by copyright.
Copyright by University of Warsaw.