Tarski’s Truth Definitions




[Revised entry by Wilfrid Hodges on September 21, 2022.
Changes to: Bibliography]
In 1933 the Polish logician Alfred Tarski published a paper in which he discussed the criteria that a definition of ‘true sentence’ should meet, and gave examples of several such definitions for particular formal languages. In 1956 he and his colleague Robert Vaught published a revision of one of the 1933 truth definitions, to serve as a truth definition for model-theoretic languages. This entry will simply review the definitions and make no attempt to explore the implications of Tarski’s work for…

Originally appeared on Stanford Encyclopedia of Philosophy Read More



The importance of doubting

by Massimo Pigliucci There is freedom of thought, and each one can sustain what he wants, as for me, I...

The danger of ethics without empathy

The relationship between morality and emotion has divided thinkers for centuries. Most contemporary ethical systems demand impartiality; that we should...