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: 74,213

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
140 (#88,022)

6 months
1 (#414,449)

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.
Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.
To Be Fair.Benjamin L. Curtis - 2014 - Analysis 74 (1):47-57.

View all 12 citations / Add more citations

References found in this work

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.
The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.

View all 9 references / Add more references