Search results
Results From The WOW.Com Content Network
The semantic conception of truth, which is related in different ways to both the correspondence and deflationary conceptions, is due to work by Polish logician Alfred Tarski. Tarski, in "On the Concept of Truth in Formal Languages" (1935), attempted to formulate a new theory of truth in order to resolve the liar paradox.
Translated as "The Concept of Truth in Formalized Languages", in Tarski (1983), pp. 152–278. Tarski, Alfred (1944), "The Semantic Conception of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4 (3), 341–376.
Truth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. This approach to semantics is principally associated with Donald Davidson , and attempts to carry out for the semantics of natural language what ...
The truth conditions for quantified formulas are given purely in terms of truth with no appeal to domains whatsoever (and hence its name truth-value semantics). Game semantics or game-theoretical semantics made a resurgence mainly due to Jaakko Hintikka for logics of (finite) partially ordered quantification , which were originally investigated ...
The three most influential forms of the pragmatic theory of truth and meaning were introduced around the turn of the 20th century by Charles Sanders Peirce, William James, and John Dewey. Although there are wide differences in viewpoint among these and other proponents of pragmatic theory, they hold in common that meaning and truth are verified ...
The semantic view of theories is a position in the philosophy of science that holds that a scientific theory can be identified with a collection of models.The semantic view of theories was originally proposed by Patrick Suppes in “A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences” [1] as a reaction against the received view of theories popular among ...
The book later influenced A. J. Ayer's Language, Truth, and Logic, an introduction to logical positivism, and both the Richards–Ogden book and the Ayer book in turn influenced Alec King and Martin Ketley in the writing of their book The Control of Language, which appeared in 1939, and which influenced C. S. Lewis in the writing of his defence ...
Tarski had obtained almost all results of his 1933 monograph "The Concept of Truth in the Languages of the Deductive Sciences" between 1929 and 1931, and spoke about them to Polish audiences. However, as he emphasized in the paper, the undefinability theorem was the only result he did not obtain earlier.