Axiomatic Theories of Truth
is an exceptionally useful contribution to the philosophy of mathematics, containing many excellent insights.
Williams says little about substantive theories of truth
(aside from a polemic against the correspondence theory, described below in section V); and his chapter on the morality of lying and deception is not an exercise in applied ethics or casuistry.
He shows that, although early analytic philosophy seemed to venture towards the acceptance of conventionalist theories of truth
, in fact it has steadily veered away from such positions.
Alan White, in his book, Truth, considers the three traditional theories of truth
, correspondence, coherence and pragmatic, and argues that they can be construed not as three separate theories, but rather as a definition of truth (correspondence) and two tests of whether or not a proposition fits the definition of truth (coherence and pragmatic).
Both the realist and the constructivist theories of truth
Amongst the many subjects discussed are: the revision theory of truth and applications of revision rules, partiality and fixed point constructions, substitutional quantification, fuzzy logic, negation, belief revision, context dependence, hierarchies, Tarski on truth, deflationism, correspondence theories of truth
, and normative aspects of truth.
Is literary studies really dominated by professors who, brandishing conventionalist theories of truth
, value, and meaning, insist that literary and cultural texts are and mean no more than what we decide?
Philosophers proposed and debated theories of truth
, knowledge, and morality; pragmatists pared them down to their practical consequences.
Assessing the strengths and weakness of "correspondence" and "coherence" theories of truth
, Dupre ultimately stresses the power of truth understood in terms of ontological disclosure.
2) This includes the theories of truth
described by Kripke (1976) and Davies (1981), in which the quantifiers of the object-language are interpreted substitutionally, unlike in Tarski's original theory.
A describes generally Patterson's rejection of traditional semantics and general theories of truth
as applied to law.
All of Sleinis' arguments about theories of truth
are good and serve Nietzsche's cause well.