Defining Truth, the Whole Truth and Nothing but the Truth

Wenn das Wenn im Wege nicht ware, what do you hope your favorite truth-definition might accomplish? The following description of what looks like a semanticist’s paradise might fill the bill:

[1]  Jaakko Hintikka,et al.  The Game Of Language , 1983 .

[2]  K. Jon Barwise,et al.  On branching quantifiers in English , 1979, J. Philos. Log..

[3]  R. Carnap.  Logical Syntax of Language , 1937 .

[4]  Wilbur John Walkoe,et al.  Finite Partially-Ordered Quantification , 1970, J. Symb. Log..

[5]  Jens Erik Fenstad,et al.  The axiom of determinateness , 1970 .

[6]  George Boolos,et al.  To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables) , 1984 .

[7]  Alistair H. Lachlan,et al.  On the semantics of the Henkin quantifier , 1979, Journal of Symbolic Logic.

[8]  Kurt Gödel,et al.  On Formally Undecidable Propositions of Principia Mathematica and Related Systems , 1966 .

[9]  Noam Chomsky.  Knowledge of Language , 1986 .

[10]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[11]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[12]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .

[13]  Jean van Heijenoort,et al.  Logic as calculus and logic as language , 1967 .

[14]  Jaakko Hintikka,et al.  On the Methodology of Linguistics: A Case Study , 1991 .

[15]  Robert L. Martin.  Recent essays on truth and the liar paradox , 1984 .

[16]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[17]  Stewart Shapiro,et al.  Second-order languages and mathematical practice , 1985, Journal of Symbolic Logic.

[18]  Jaakko Hintikka,et al.  Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics , 1985 .

[19]  Jaakko Hintikka,et al.  What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic , 1995 .

[20]  Ernest Lepore,et al.  New directions in semantics , 1987, Cognitive science series : Collections.

[21]  Alonzo Church,et al.  Introduction to Mathematical Logic , 1991 .

[22]  J. Hintikka.  Is Truth Ineffable , 1997 .

[23]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[24]  Gabriel Sandu,et al.  Partially Ordered Connectives , 1992, Math. Log. Q..

[25]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[26]  J. Fenstad.  Proceedings of the Second Scandinavian Logic Symposium , 1971 .

[27]  Patrick Suppes,et al.  Logic, Methodology and Philosophy of Science , 1963 .

[28]  M. Dummett.  Truth and other enigmas , 1978 .

[29]  H. Lewis.  Peter Geach: Philosophical Encounters , 1991 .

[30]  H. Enderton.  Finite Partially-Ordered Quantifiers , 1970 .

[31]  Hilary Putnam.  Philosophy of Logic , 1971 .

[32]  Jaakko Hintikka.  Quantifiers in Natural Languages: Some Logical Problems, I , 1979 .

[33]  Willard Van Orman Quine,et al.  Perspectives on Quine , 1990 .

[34]  Alice Ter Meulen,et al.  Informational Independence in Intensional Context , 1979 .

[35]  Jaakko Hintikka,et al.  Quine as a Member of the Tradition of the Universality of Language , 1997 .

[36]  Gabriel Sandu,et al.  On the logic of informational independence and its applications , 1993, J. Philos. Log..

[37]  Hartry Field,et al.  Tarski's Theory of Truth , 1972 .

[38]  Martin Kusch,et al.  Language as Calculus vs. Language as Universal Medium: A Study in Husserl, Heidegger and Gadamer , 1989 .

[39]  Jaakko Hintikka.  Geach and The Methodology of the Logical Study of Natural Language , 1991 .

[40]  R. Carnap,et al.  Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik , 1935 .

[41]  Jaakko Hintikka,et al.  A new approach to infinitary languages , 1976 .

[42]  J. Hintikka.  Game-Theoretical Semantics as a Synthesis of Verificationist and Truth-Conditional Meaning Theories , 1998 .

[43]  J. Dawson,et al.  The Reception of Gödel's Incompleteness Theorems , 1984, PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association.