Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
 Responsibility
 Robert Goldblatt.
 Language
 English.
 Imprint
 Cambridge ; New York : Cambridge University Press, 2011.
 Physical description
 xiii, 268 p. ; 24 cm.
 Series
 Lecture notes in logic ; 38.
Access
Available online
 dx.doi.org Cambridge Books Online
Math & Statistics Library
Stacks
Call number  Status 

QA9.46 .G664 2011  Unknown 
More options
Creators/Contributors
 Author/Creator
 Goldblatt, Robert.
Contents/Summary
 Bibliography
 Includes bibliographical references (p. 251260) and index.
 Contents

 Introduction and overview 1. Logics with actualist quantifiers 2. The Barcan formulas 3. The existence predicate 4. Propositional functions and predicate substitution 5. Identity 6. Cover semantics for relevant logic References Index.
 (source: Nielsen Book Data)9781107010529 20160605
 Publisher's Summary
 Many systems of quantified modal logic cannot be characterised by Kripke's wellknown possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the KripkeJoyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.
(source: Nielsen Book Data)9781107010529 20160605
Subjects
Bibliographic information
 Publication date
 2011
 Series
 Lecture notes in logic ; 38
 ISBN
 9781107010529 (hardback)
 1107010527 (hardback)