Semantics and Truth

Authors	Woleński, Jan
Series	Logic, Epistemology, and the Unity of Science [45.0]
Tags	Semantic Theory of Truth, Semantics and Logic, Modern Mathematical Logic, Concept of Satisfaction, Carnap’s Idea of Explication, Explicandum, Explicans, Transforming Philosophy into Science, Mathematical Axiomatic Theory of Probability, Truth in Ancient Philosophy, German Philosophers on the Correspondence Formula, Truth in 19th and 20th Century, Tasks of Truth-Theories, Propositional calculus: semantics, How to Define Logic?, Semantic Terminology, Antinomies, Logical Types and Syntactic Categories, Semantic Theory of Truth – Informal Aspects, Formal Aspects of STT, Tarski on Truth
Publisher	Springer International Publishing
Published	29 dic 2019
Date	29 mar 2022
Languages	eng
Identifiers	oclc: 1227087249, uri: https://link.springer.com/book/10.1007/978-3-030-24536-8, doi: 10.1007/978-3-030-24536-8, isbn: 9783030245368

Description

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) 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 (pro and contra) as well as points out various applications of the semantic theory of truth to philosophical problems (truth-criteria, realism and anti-realism, future contingents or the concept of correspondence between language and reality).

chapters 1-4 are an updated/expanded version of:

Jan Woleński, “Contributions to the History of the Classical Truth-Definition,” in Studies in Logic and the Foundations of Mathematics , ed. Dag Prawitz, Brian Skyrms, and Dag Westerståhl, vol. 134, Logic, Methodology and Philosophy of Science IX (Elsevier, 1995), 481–95.

cf. "Who first defined truth as 'adæquatio rei et intellectus '?"