Skip to main content
SpringerLink
Log in

Models and Modality

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably ''necessary'' (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.

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

Similar content being viewed by others

References

  • Blanchette, P.: 1996, 'Frege and Hilbert on Consistency', Journal of Philosophy XCIII, 317–36.

    Google Scholar 

  • Boolos, G.: 1975, 'On Second-Order Logic', Journal of Philosophy LXXII, 509–27

    Google Scholar 

  • Boolos, G.: 1984, 'To Be is to Be a Value of a Variable (Or to be Some Values of Some Variables)', The Journal of Philosophy LXXXI, 430–49.

    Google Scholar 

  • Boolos, G.: 1985, 'Nominalist Platonism', The Philosophical Review XCIV(3), 327–44

    Google Scholar 

  • Cantor: 1899, 'Letter to Dedekind, trans by S. Bauer-Mengelberg', in J. van Heijenoort (ed.), From Frege to Gödel, Havard University Press, Cambridge, MA (1967), pp. 113–17.

    Google Scholar 

  • Cartwright, R.: 1987, 'Implications and Entailments', in R. Cartwright (ed.), Philosophical Essays, MIT Press, Cambridge.

    Google Scholar 

  • Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge.

    Google Scholar 

  • Henkin, L.: 1950, 'Completeness in the Theory of Types', Journal of Symbolic Logic 15, 81–91.

    Google Scholar 

  • Kreisel, G.: 1967, 'Informal Rigour and Completeness Proofs', in Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, pp. 138–71.

    Google Scholar 

  • McGee, V.: 1992a, 'Two Problems with Tarski's Theory of Consequence', Proceedings of the Aristotelian Society 92, 273–92.

    Google Scholar 

  • McGee, V.: 1992b, 'Review of Etchemendy (1990)', The Journal of Symbolic Logic 57, 254–55.

    Google Scholar 

  • Shapiro, S.: 1991, Foundations without Foundationalism, Clarendon Press, Oxford.

    Google Scholar 

  • Shapiro, S.: 1998, 'Logical Consequence: Models and Modality', in M. Schirn (ed.), The Philosophy of Mathematics Today, Clarendon Press, Oxford.

    Google Scholar 

  • Sher, G.: 1991, The Bounds of Logic, MIT Press, Cambridge.

    Google Scholar 

  • Sher, G.: 1996, “Did Tarski Commit 'Tarski's Fallacy?'”, Journal of Symbolic Logic 61, 653–686.

    Google Scholar 

Download references

Authors
  1. Patricia A. Blanchette
    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

Blanchette, P.A. Models and Modality. Synthese 124, 45–72 (2000). https://doi.org/10.1023/A:1005261524323

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005261524323

Keywords

Search

Navigation