Cham, Switzerland: Springer Verlag (2019)

Authors
Jan Wolenski
Jagiellonian University
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
External links

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
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.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Philosophy of Logic.W. V. Quine - 1970 - Harvard University Press.

View all 397 references / Add more references

Citations of this work BETA

Lvov-Warsaw School.Jan Woleński - 2008 - Stanford Encyclopedia of Philosophy.
Limitations of Formal (Logical) Semantics.Jan Woleński - 2020 - Studia Semiotyczne—English Supplement 31:73-90.

Add more citations

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.
Generalized Update Semantics.Simon Goldstein - 2019 - Mind 128 (511):795-835.
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.
Truth and Collective Truth.Gilbert Plumer - 1996 - Dialectica 50 (1):3-24.
Modeling Truth for Semantics.Ori Simchen - 2020 - Analytic Philosophy 61 (1):28-36.
What is a Non-Truth-Functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
Truth and Meaning Redux.Ernie Lepore & Kirk Ludwig - 2011 - Philosophical Studies 154 (2):251-77.
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.
Sea Battle Semantics.Berit Brogaard - 2008 - Philosophical Quarterly 58 (231):326–335.
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,492 of 2,508,104 )

Recent downloads (6 months)
8 ( #89,100 of 2,508,104 )

How can I increase my downloads?

Downloads

My notes