Filters

Topics (hold ctrl / ⌘ to select more or unselect)

Languages (hold ctrl / ⌘ to select more or unselect)

Traditions (hold ctrl / ⌘ to select more or unselect)

Times

-

Medium:

Recommended use:

Difficulty:


Full textRead free
Blanchette, Patricia. Models and Modality
2000, Synthese 124(1): 45-72.
Topics: Logic and Mathematics
Keywords: consequence; models; necessity; possible worlds
Traditions: Analytic; Formal; North American
Languages: English

Expand entry

Added by: Berta Grimau, Contributed by: Patricia Blanchette

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.

Comment: This text would be best used as secondary reading in an intermediate or an advanced philosophy of logic course. For example, it can be used as a secondary reading in a section on the connection between model-theoretic truth and necessary truth.

Difficulty: Advanced
Recommended use: Specialised reading

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format

Share on Facebook Share on LinkedIn Share by Email
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!