Truth and Meaning: The Dialectics of Theory and Practice

Abstract

Tarski's semantic conception of truth is arguably the most influential - certainly, most discussed - modern conception of truth. It has provoked many different interpretations and reactions, some thinkers celebrating it for successfully explicating the notion of truth, whereas others have argued that it is no good as a philosophical account of truth. The aim of the thesis is to offer a systematic and critical investigation of its nature and significance, based on the thorough explanation of its conceptual, technical as well as historical underpinnings. The methodological strategy adopted in the thesis reflects the author's belief that in order to evaluate the import of Tarski's conception we need to understand what logical, mathematical and philosophical aspects it has, what role they play in his project of theoretical semantics, which of them hang in together, and which should be kept separate. Chapter 2 therefore starts with a detailed exposition of the conceptual and historical background of Tarski's semantic conception of truth and his method of truth definition for formalized languages, situating it within his project of theoretical semantics, and Chapter 3 explains the formal machinery of Tarski's truth definitions for increasingly more complex languages. Chapters 4-7 form the core of the...

Tarského sémantická koncepce pravdy je patrně nevlivnější - určitě nejdiskutovanější - moderní koncepce pravdy, která vzbudila nespočet různých interpretací a reakcí. Zatímco někteří filosofové ji oslavovali jako úspěšnou explikaci pojmu pravdy, jiní argumentovali, že nám neposkytuje adekvátní filosofický výklad tohoto pojmu. Cílem dizertace je podat systematické a kritické prozkoumání povahy a signifikance Tarského koncepce, založené na pečlivé expozici jejich konceptuálních, technických I historických předpokladů. Metodologická strategie aplikována v práci obráží autorovo přesvědčení, že nelze patřičně zhodnotit přínos Tarského koncepce bez pochopení jejich logických, matematických a filosofických aspektů, a toho jakou roli hraji v jeho širším projektu teoretické sémantiky, jak spolu souvisí (případně nesouvisí). Kapitola 2 je detailní expozicí konceptuálního i historického pozadí Tarského koncepce pravdy a metody definovaní pojmu pravdy pro formalizované jazyky, a v kapitole 3 se vysvětluje formální aparát pravdivostních definicí pro 3 typy jazyků různé komplexity. Kapitoly 4-7, které tvoří jádro celé práce, jsou věnovány ústřední otázce signifikance Tarského koncepce. V kapitole 4 se vysvětlují její logicko-matematické aspekty a přínos pro matematickou logiku, v souvislosti s výsledky Kurta...