|Kripke, Saul Aaron
Books on Amazon
|Structures||EMD II 357
Structure/Kripke: is not revealed by the truth theory - we must define it in advance - of course, the "true structure" of a quantification over individuals is not the quantification on chains of characters - and that of an all-quantification in reality EQ followed by AQ - e.g. the structure which is revealed by the recursion rules is different for "(x2)(x2 bold)" and "(x1)(x1 bold)" - and that is because of different predicates.
EMD II 358
Definition "trivial truth theory"/DavidsonVs: one with infinitely many axioms: "T(f) ↔ f"" - Kripke: this one really does not uncover any structure - but these are precisely the ones recommended by Tarski.
Name und Notwendigkeit Frankfurt 1981
S. A. Kripke
Outline of a Theory of Truth (1975)
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989