Jump to ContentJump to Main Navigation
Modal LogicAn Introduction to its Syntax and Semantics$
Users without a subscription are not able to see the full content.

Nino B. Cocchiarella and Max A. Freund

Print publication date: 2008

Print ISBN-13: 9780195366587

Published to Oxford Scholarship Online: October 2011

DOI: 10.1093/acprof:oso/9780195366587.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2020. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 02 December 2020

The Semantics of Quantified Modal Logic

The Semantics of Quantified Modal Logic

(p.152) (p.153) Chapter 8 The Semantics of Quantified Modal Logic
Modal Logic

Nino B. Cocchiarella

Max A. Freund

Oxford University Press

The authors develop semantics for first-order modal predicate logic in terms of standard model theory, the models of which we take to be set-theoretic counterparts of possible worlds. A primary semantics for logical necessity as based on the notion of “all possible worlds” of a logical space is also described and shown to be essentially incomplete. The thesis that concepts that apply necessarily to some objects necessarily apply to all objects is the modal thesis of anti-essentialism and is valid in this semantics, however, which is as it should be for logical necessity. In other words, logical necessity does not discriminate between objects and the concepts they fall under.

Keywords:   first-order modal predicate logic, standard model theory, possible worlds, anti-essentialism, logical necessity

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .