- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Semantics and Truth
Cham, Switzerland: Springer Verlag (2019)
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.Author's Profile
Reprint years
2020
ISBN(s)
3030245357 978-3-030-24535-1 978-3-030-24536-8 3030245381 3030245373 9783030245351
DOI
10.1007/978-3-030-24536-8
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Chapters
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
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
2020-04-10
Downloads
27 (#447,718)
6 months
7 (#128,962)
2020-04-10
Downloads
27 (#447,718)
6 months
7 (#128,962)
Historical graph of downloads
Author's Profile
Citations of this work
Limitations of Formal (Logical) Semantics.Jan Woleński - 2020 - Studia Semiotyczne—English Supplement 31:73-90.
La teoría correspondentista de la verdad y la confirmación científica.Damián Islas Mondragón - 2021 - Sophia. Colección de Filosofía de la Educación 31:65-87.
References found in this work
Inquiries Into Truth And Interpretation.Donald Davidson - 1984 - Oxford, GB: Oxford University Press.
Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago, IL, USA: Chicago University of Chicago Press.
Philosophy of logic.Willard Van Orman Quine - 1986 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b5888c749-fsgz8 N