, Volume 124, Issue 1–2, pp 45–72 | Cite as

Models and Modality

  • Patricia A. Blanchette


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.


Standard Language Precise Sense Widespread View General Guarantee 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Blanchette, P.: 1996, 'Frege and Hilbert on Consistency', Journal of Philosophy XCIII, 317–36.Google Scholar
  2. Boolos, G.: 1975, 'On Second-Order Logic', Journal of Philosophy LXXII, 509–27Google Scholar
  3. 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
  4. Boolos, G.: 1985, 'Nominalist Platonism', The Philosophical Review XCIV(3), 327–44Google Scholar
  5. 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
  6. Cartwright, R.: 1987, 'Implications and Entailments', in R. Cartwright (ed.), Philosophical Essays, MIT Press, Cambridge.Google Scholar
  7. Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge.Google Scholar
  8. Henkin, L.: 1950, 'Completeness in the Theory of Types', Journal of Symbolic Logic 15, 81–91.Google Scholar
  9. 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
  10. McGee, V.: 1992a, 'Two Problems with Tarski's Theory of Consequence', Proceedings of the Aristotelian Society 92, 273–92.Google Scholar
  11. McGee, V.: 1992b, 'Review of Etchemendy (1990)', The Journal of Symbolic Logic 57, 254–55.Google Scholar
  12. Shapiro, S.: 1991, Foundations without Foundationalism, Clarendon Press, Oxford.Google Scholar
  13. Shapiro, S.: 1998, 'Logical Consequence: Models and Modality', in M. Schirn (ed.), The Philosophy of Mathematics Today, Clarendon Press, Oxford.Google Scholar
  14. Sher, G.: 1991, The Bounds of Logic, MIT Press, Cambridge.Google Scholar
  15. Sher, G.: 1996, “Did Tarski Commit 'Tarski's Fallacy?'”, Journal of Symbolic Logic 61, 653–686.Google Scholar

Copyright information

© Kluwer Academic Publishers 2000

Authors and Affiliations

  • Patricia A. Blanchette

There are no affiliations available

Personalised recommendations