Skip to main content
SpringerLink
Log in

A definition of truth for theories with intensional definite description operators

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • Davidson, Donald, ‘Theories of Meaning and Learnable Languages’, inLogic, Methodology and Philosophy of Science, (ed. by Yoshua Bar-Hillel), 1965, pp. 383–94.

  • DavidsonDonald, ‘Truth and Meaning’Synthese 17 (1967), 304–23.

    Google Scholar 

  • DavidsonDonald, ‘True to the Facts’,Journal of Philosophy 66 (1969a), 748–64.

    Google Scholar 

  • Davidson Donald, ‘On Saying That’, inWords and Objections (ed. by D. Davidson and J. Hintikka), 1969b, pp. 158–74.

  • Frege, Gottlob,Philosophical Writings of Gottlob Frege (ed. by P. Geach and M. Black), 1966.

  • HintikkaJaakko, 1959a, ‘Existential presuppositions and Existential Commitments’,JP 56 (1966), 125–37.

    Google Scholar 

  • HintikkaJaakko, ‘Towards a Theory of Definite Descriptions’,Analysis 19 (1959b), 79–85.

    Google Scholar 

  • HintikkaJaakko, ‘Definite Descriptions and Self-Identity’,Phil. Studies 15 (1964), 4–7.

    Google Scholar 

  • LambertKarel, ‘Notes on E! III: A Theory of Descriptions’,Phil. Studies 13 (1962), 51–9.

    Google Scholar 

  • LambertKarel, 1964, ‘Notes on E! IV: A Reduction in Free quantification Theory with Identity and Descriptions’,Phil. Studies 15 (1964), 85–8.

    Google Scholar 

  • LeonardHenry, ‘The Logic of Existence’,Phil. Studies 7 (1956), 49–64.

    Google Scholar 

  • Meyer, RobertK., and LambertKarel, 1968 ‘Universally Free Logic and Standard Quantification Theory’,Journal of Symbolic Logic 33 (1968), 8–26.

    Google Scholar 

  • Quine, W. V. O.,Philosophy of Logic, Prentice-Hall, 1970.

  • RescherNicholas, ‘On the Logic of Existence and Denotation’,Phil. Rev. 69 (1959), 157–80.

    Google Scholar 

  • RussellBertrand, ‘On Denoting’,Mind 14 (1905), 479–93.

    Google Scholar 

  • Schock, Rolf, ‘On the Logic of Variable Binders’,Archiv für Mathematische Logik und Grundlagenforschung 6 (1964).

  • SchockRolf,Logics without Existence Assumptions, Almqvist and Wiksell, Stockholm, 1968.

    Google Scholar 

  • Scott, Dana, ‘Existence and Description in Formal Logic’, inBertrand Russell: Philosopher of the Century (ed. by Ralph Schoenman), 1967, 181–200.

  • vanFraassen, BasC. and LambertKarel, ‘On Free Description Theory’,Zeit. für math. Logic u. Grundlagen d. Math. 13 (1967), 225–40.

    Google Scholar 

  • Wallace, John, ‘Equilibrium and Intensionality’, 1970, unpublished.

Download references

Author information

Authors and Affiliations

  1. Princeton University, Princeton, USA

    Richard E. Grandy

Authors
  1. Richard E. Grandy
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grandy, R.E. A definition of truth for theories with intensional definite description operators. J Philos Logic 1, 137–155 (1972). https://doi.org/10.1007/BF00650493

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00650493

Keywords

Search

Navigation