Skip to main content
SpringerLink
Log in

Defining Truth, the Whole Truth and Nothing but the Truth

  • Chapter
Lingua Universalis vs. Calculus Ratiocinator

Part of the book series: Jaakko Hintikka Selected Papers ((HISP,volume 2))

Abstract

Wenn das Wenn im Wege nicht wäre, 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:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Barwise, J., “On Branching Quantifiers in English”, Journal of Philosophical Logic, vol. 8 (1979), pp. 47 - 80.

    Article  Google Scholar 

  • Barwise, J. and S. Feferman, (eds.), Model-Theoretic Logics, Springer-Verlag, Berlin, 1985.

    Google Scholar 

  • Boolos, George, `1’o Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables)”, Journal of Philosophy, vol. 81 (1984), pp. 430 - 49.

    Article  Google Scholar 

  • Carlson, L. and A. ter Meulen, “Informational Independence in Intensional Context”, in Esa Saarinn et al. (eds.), Essays in Honour of Jaakko Hintikka, D. Reidel, Dordrecht, 1979, pp. 61 - 72.

    Chapter  Google Scholar 

  • Carnap, Rudolf, “Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik”, Monatshefte für Mathematik und Physik, vol. 42 (1935), pp. 163 - 90.

    Article  Google Scholar 

  • Carnap, Rudolf, The Logical Syntax of Language, Routledge Kegan Paul, London, 1937.

    Google Scholar 

  • Chomsky, N., Knowledge of Language, Praeger, New York, 1986.

    Google Scholar 

  • Church, Alonzo, Introduction to Mathematical Logic, Princeton U.P., Princeton, 1958. Dawson, John W. Jr., ’The Reception of Gödel’s Incompleteness Theorems”, in Peter D.

    Google Scholar 

  • Asquith and Philip Kitcher, editors, PSA 1984, vol. 2, Philosophy of Science Association, East Lansing, MI, 1985, pp. 253 - 71.

    Google Scholar 

  • Dununett, Michael, Truth and Other Enigmas, Harvard University Press, Cambridge, MA, 1978.

    Google Scholar 

  • Enderton, H.B., “Finite Partially Ordered Quantifiers”, in Zeitschrift far Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393 - 7.

    Article  Google Scholar 

  • Field, Hartry, “Tarski’s Theory of Truth”, The Journal of Philosophy, vol. 69 (1972), pp. 347 - 75.

    Article  Google Scholar 

  • Fenstad, Jens Erik, ’The Axiom of Determinateness”, in Jens Erik Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 41 - 61.

    Chapter  Google Scholar 

  • Gödel, Kurt. “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I”, in Kurt Gödel, Collected Works, vol. 1, Oxford University Press, 1986, pp. 144 - 95.

    Google Scholar 

  • Gödel, Kurt, “On a Hitherto Unutilized Extension of the Finitary Viewpoint”, in Kurt Gödel, Collected Works,vol. 2, Oxford University Press, Oxford, 1990, p. 251. (Cf also pp. 217-41.)

    Google Scholar 

  • Henkin, L., “Some Remarks on Infinitely Long Formulas”, in Infinitistic Methods: Proceedings of the Symposium on the Foundations of Mathematics (Warsaw, 2-9 September 1959), Pergamon Press, New York, 1961, pp. 167 - 83.

    Google Scholar 

  • Hintikka, Jaakko, “Reductions in the Theory of Types”, Acta Philosophica Fennica, vol. 8 (1955), pp. 61 - 115.

    Google Scholar 

  • Hintikka, Jaakko, “Quantifiers vs. Quantification Theory”, Linguistic Inquiry, vol. 5 (1974), pp. 153 - 77.

    Google Scholar 

  • Hintikka, Jaakko, The Semantics of Questions and the Questions of Semantics, (Acta Philosophica Fennica, vol. 28, no. 4 ), Societas Scientiarum Fennica, Helsinki, 1976.

    Google Scholar 

  • Hintikka, Jaakko, “Quantifiers in Natural Languages: Some Logical Problems I”, in Ilkka Niiniluoto and Esa Saarinen (eds.) Essays on Mathematical and PhilosophicalLogic,D. Reidel, Dordrecht, 1979, pp. 295-314. (Also in Saarinen 1970.)

    Google Scholar 

  • Hintikka, Jaakko, “Questions with Outside Quantifiers”, in R. Schneider, K. Tuite and R. Chametzky (eds.), Papers from the Parasession on Nondeclaratives, Chicago Linguistics Society, Chicago, 1982a, pp. 83 - 92.

    Google Scholar 

  • Hintikka, Jaakko, “On Games, Questions, and Strange Quantifiers”, in Tom Pauli (ed.), Philosophical Essays Dedicated to Lennart Aqvist, Philosophical Society and the Department of Philosophy, University of Uppsala, 1982b, pp. 159 - 69.

    Google Scholar 

  • Hintikka, Jaakko, The Game of Language, D. Reidel, Dordrecht, 1983.

    Google Scholar 

  • Hintikka, Jaakko, “Game-Theoretical Semantics as a Synthesis of Verificationist and Truth-Conditional Meaning Theories”, in Ernest LePore (ed.), New Directions in Semantics, Academic Press, New York and London, 1987a, pp. 235 - 58.

    Google Scholar 

  • Hintikka, Jaakko, “Is Scope a Viable Concept in Semantics?’, in ESCOL `86:: Proceedings of the Third Eastern States Conference on Linguistics,ESCOL, Columbus, OH, 198Th, pp. 259-70.

    Google Scholar 

  • Hintikka, Jaakko, “On the Development of the Model-Theoretical Tradition in Logical Theory”, Synthese, vol. 77 (1988), pp. 1 - 36.

    Article  Google Scholar 

  • Hintikka, Jaakko, “Is Truth Ineffable?’, in (no editor given), Les Formes Actuelles du Vrai: Entretiens de Palermo 1985, Enchiridion, Palermo, 1989, pp. 89 - 120.

    Google Scholar 

  • Hintikka, Jaakko, “Quine as a Member of the Tradition of the Universality of Language”, in R.B. Barrett and R. Gibson (eds.), Perspectives on Quine, Basil Blackwell, Oxford, 1990, pp. 159 - 75.

    Google Scholar 

  • Hintikka, Jaakko, “Geach and the Methodology of the Logical Study of Natural Languages”, in Harry A. Lewis (ed.), Peter Geach: Philosophical Encounters, Kluwer, Dordrecht, 1991, pp. 137 - 49.

    Google Scholar 

  • Hintikka, Jaakko, “Independence-friendly Logic as a Medium of Information `Representation and Reasoning about Knowledge”, 1992, in Setsuo Ohsuga et al., editors, Information, Modelling and Knowledge Bases III, IOS Press, Amsterdam, pp. 258 - 265.

    Google Scholar 

  • Hintikka, Jaakko, “What is Elementary Logic? Independence-friendly Logic as the True

    Google Scholar 

  • Core Area of Logic”, in Kostas Gavroglu et al., editors, Physics, Philosophy and the Scientific Community, Kluwer Academic Publishers, Dordrecht, 1995, pp. 301 - 326.

    Google Scholar 

  • Hintikka, Jaakko and Jack Kulas, Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics, D. Reidel, Dordrecht, 1985.

    Google Scholar 

  • Hintikka, Jaakko and Veikko Rantala, “A New Approach to Infinitary Languages”, Annals of Mathematical Logic, vol. 10 (1976), pp. 95 - 115.

    Article  Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu, “Informational Independence as a Semantical Phenomenon”, in J.E. Fenstad et al. (eds.), Logic, Methodology and Philosophy of Science VIII, Elsevier Science Publishers, Amsterdam, 1989, pp. 571 - 89.

    Chapter  Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu, On the Methodology of Linguistics: A Case Study, Basil Blackwell, 1991.

    Google Scholar 

  • Hintikka, Merrill B., and Jaakko Hintikka, Investigating Wittgenstein, Basil Blackwell, Oxford, 1986.

    Google Scholar 

  • Horwich, Paul, Truth, Basil Blackwell, Oxford, 1990.

    Book  Google Scholar 

  • Jones, A.J., Game Theory, John Wiley, New York, 1980.

    Google Scholar 

  • Klima, Edward S., “Negation in Eng]ish”, in J.A. Fodor and J.J. Katz, (eds.), The Structure of Language,Prentice Hall, Englewood Cliffs, NJ, 1964, pp. 246-323.

    Google Scholar 

  • Kolaitis, G., “Game Quantification”, in J. Barwise and S. Feferman (eds.), Model-Theoretical Logics,Springer-Verlag, Berlin, 1985.

    Google Scholar 

  • Kripke, Saul, “Outline of a Theory of Truth”, The Journal of Philosophy, vol. 72 (1975), pp. 690 - 716. Reprinted in Martin (1984).

    Google Scholar 

  • Krynicki, M. and A. Lachan, “On the Semantics of the Henkin Quantifier”, Journal of Symbolic Logic, vol. 44 (1979), pp. 184 - 200.

    Article  Google Scholar 

  • Kusch, Martin, Language as the Universal Medium vs. Logic as Calculus: A study of Husserl, Heidegger and Gadamer, Kluwer, Dordrecht, 1989.

    Google Scholar 

  • Martin, Robert L. (ed.), The Paradox of the Liar, Ridgeview, 1978.

    Google Scholar 

  • Martin, Robert L. (ed.), Recent Essays on Truth and the Liar Paradox, Clarendon Press, Oxford, 1984.

    Google Scholar 

  • McGee, Vann, Truth, Vagueness, and Paradox, Hackett, Indianapolis, IN, 1991. Mendelson, Everett, Introduction to Mathematical Logic, third ed., Wadsworth Brooks/Cole, Monterey, CA, 1987.

    Google Scholar 

  • Montague, Richard, “Syntactical Treatments of Modality”, Acta Philosophica Fennica, vol. 16 (1963), pp. 153 - 167.

    Google Scholar 

  • Owen, G., Game Theory, Academic Press, New York and London, 1980.

    Google Scholar 

  • Putnam, H., Philosophy of Logic, Harper Row, New York, 1971.

    Google Scholar 

  • Quine, W.V., Philosophy of Logic, Prentice Hall, Englewood Cliffs, NJ, 1970.

    Google Scholar 

  • Rogers, Hartley Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.

    Google Scholar 

  • Saarinen, E. (ed.), Game-Theoretical Semantics, D. Reidel, Dordrecht, 1979.

    Google Scholar 

  • Sandu, Gabriel, “On the Logic of Informational Independence and Its Applications”, Journal of Philosophical Logic, vol. 22 (1993), pp. 29 - 60.

    Article  Google Scholar 

  • Sandu, Gabriel, “Some Aspects of Negation in English”, Synthese,vol. 99 (1994), pp. 345360.

    Google Scholar 

  • Sandu, Gabriel and Jouko Väänänen, “Partially Ordered Connectives”, Zeitschrift far mathematische Logik und Grundlagen der Mathematik, vol. 38 (1992), pp. 361372. 1992.

    Google Scholar 

  • Scott, Dana, “Game-Theoretic Interpretation of Logical Formulae”, McCarthy Seminar, Stanford University, July 1968, published in the Yearbook 1991 of the Kurt Gödel Society, Vienna 1993, pp. 47 - 48.

    Google Scholar 

  • Shapiro, Stewart, “Second-Order Languages and Mathematical Practice”, Journal of Symbolic Logic, vol. 50 (1985), pp. 714 - 42.

    Article  Google Scholar 

  • Shoenfield, Joseph R., Mathematical Logic, Addison-Wesley, Reading, MA, 1967. Stockwell, R.P., P. Schachter and B.H. Partee, The Major Syntactic Structures of English, Holt, Rinehart and Winston, New York, 1973.

    Google Scholar 

  • Tarski, Alfred, `The Concept of Truth in Formalized Languages” in Tarski (1956), pp. 152-278.

    Google Scholar 

  • Tarski, Alfred, Semantics, Metamathematics: Papers from 1923 to 1938, Clarendon Press, Oxford, 1956.

    Google Scholar 

  • Van Heijenoort, Jean, “Logic as Calculus and Logic as Language”, Synthese, vol. 17 (1967), pp. 324 - 30.

    Article  Google Scholar 

  • Von Neumann, J., and O. Morgenstern, Theory of Games and Economic Behavior, Princeton University Press, Princeton, 1944.

    Google Scholar 

  • Walkoe, W. Jr., “Finite Partially Ordered Quantifiers”, Journal of Symbolic Logic, vol. 35 (1970), pp. 535 - 55.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Boston University, USA

    Jaakko Hintikka

Authors
  1. Jaakko Hintikka
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Hintikka, J. (1997). Defining Truth, the Whole Truth and Nothing but the Truth. In: Lingua Universalis vs. Calculus Ratiocinator. Jaakko Hintikka Selected Papers, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8601-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-94-015-8601-6_3

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4754-0

  • Online ISBN: 978-94-015-8601-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation