Cham, Switzerland: Springer Verlag (2019)
| Authors |
|
| Abstract |
The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical problems.
|
| Keywords | ancient philosophy |
| Categories |
No categories specified (categorize this paper) |
| Reprint years | 2020 |
| Buy this book | $37.99 new Amazon page |
| ISBN(s) | 3030245357 978-3-030-24535-1 978-3-030-24536-8 3030245381 3030245373 9783030245351 |
| DOI | 10.1007/978-3-030-24536-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,265
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
Chapters BETA
Interpretations, Comparisons and Philosophical Issues
The last chapter mostly discusses philosophical aspects. According to my general view on STT, I elaborate its various aspects and defend this theory against some philosophical objections. The list of the discussed problems is as follows: STT as a correspondence theory of truth, the status of T-equiv... see more
Semantic Theory of Truth—Formal Aspects
This chapter contains a detailed account of STT as a formal theory. The exposition considers truth as truth in a model. Firstly, truth-definition as satisfaction by all sequences of objects is explained. Arithmetic of natural numbers and its models play the crucial role in presenting various results... see more
Semantic Theory of Truth—Informal Aspects
This chapter outlines an intuitive approach to STT, very closely related to Tarski’s original approach. The essential role of the Liar antinomy and its solution by introducing the language/metalanguage distinction is stressed as well as the role of interpreted languages is pointed out. Finally, heur... see more
Matters of Semantics
As STT is a semantical theory, its presentation requires explaining what semantics is. This chapter contains a couple of historical and substantive information related to semantics, semantic antinomies, and formal languages.
Matters of Logic
Since STT is a logical theory, its relation to logic are very close. The task of this chapter consists in presenting logical concepts and theories relevant for the further discussion of STT. Particular sections are devoted to propositional calculus, first-order logic, metalogic, definitions of logic... see more
Tasks of Truth-Theories
This chapter concentrates on problems discussed in truth theories, namely truth-bearers, the question whether the concept of truth belongs to ontology, epistemology or axiology, the definability of truth, truth-criteria, formal properties of the division of truth-bearers into truths and falsehoods, ... see more
Truth in the 19th and 20th Centuries
Views on truth of German and Austrian philosophers as well as British philosophers are presented in this chapter. As Tarski as a mathematician and philosopher grew up in Poland, the special section is devoted to truth-definitions put forward by some Polish philosophers and logicians of the 20th cent... see more
Truth from Anselm of Canterbury to Kant
This chapter continues historical investigations covering the period from Anselm of Canterbury to Kant, including Abelard, St. Tomas Aquinas, Gassendi, Descartes, Spinoza, Locke, Leibniz, and Hume. The special attention is paid to the history of the formula veritas est adequatio intellectus et rei.
Truth in Ancient Philosophy
This chapter opens the historical part of the book. I focus on Greek philosophy , some facts from other philosophical cultures are mentioned. The historical report in this and next chapters tries to show that the understanding of truth as saying how things are, is present in all cases taken into acc... see more
References found in this work BETA
Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago, IL, USA: Chicago University of Chicago Press.
View all 397 references / Add more references
Citations of this work BETA
Limitations of Formal (Logical) Semantics.Jan Woleński - 2020 - Studia Semiotyczne—English Supplement 31:73-90.
Similar books and articles
The Expressive Role of Truth in Truth‐Conditional Semantics.Claire Horisk - 2007 - Philosophical Quarterly 57 (229):535-557.
The Expressive Role of Truth in Truth-Conditional Semantics.Claire Horisk - 2007 - Philosophical Quarterly 57 (229):535–557.
Idealisation in Natural Language Semantics: Truth-Conditions for Radical Contextualists.Gabe Dupre - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Outline for a Truth-Conditional Semantics for Tense.Ernest Lepore & Kirk Ludwig - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT Press. pp. 49-105.
Problem of Determining the Truth in the Teachings of J. Hintikka.G. Ilchenko - 2012 - Epistemological studies in Philosophy, Social and Political Sciences 2 (22):236-241.
A Propositional Semantics for Substitutional Quantification.Geoff Georgi - 2015 - Philosophical Studies 172 (5):1183-1200.
Analytics
Added to PP index
2020-04-10
Total views
14 ( #732,249 of 2,507,683 )
Recent downloads (6 months)
8 ( #90,473 of 2,507,683 )
2020-04-10
Total views
14 ( #732,249 of 2,507,683 )
Recent downloads (6 months)
8 ( #90,473 of 2,507,683 )
How can I increase my downloads?
Downloads
