Models and modality

Synthese 124 (1-2):45-72 (2000)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
161 (#110,107)

6 months
10 (#135,615)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patricia Blanchette
University of Notre Dame

Citations of this work

Reflections on consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 263--299.
To be fair.Benjamin L. Curtis - 2014 - Analysis 74 (1):47-57.
Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.

View all 12 citations / Add more citations

References found in this work

The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.
Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 11 references / Add more references