On a derivation of the necessity of identity

DOI10.1007/s11229-013-0351-8zbMath1310.03005OpenAlexW2025702338MaRDI QIDQ484964

John P. Burgess

Publication date: 8 January 2015

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0351-8

zbMATH Keywords

quantified modal logicidentitynecessityindiscernibility of identicalslogically proper namesmetaphysical modalityrigid designators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• The permutation principle in quantificational logic
• Modalities and intensional languages
• Reply to Professor Marcus
• Modality and quantification in S5
• A completeness theorem in modal logic
• The identity of individuals in a strict functional calculus of second order
• Basic modal logic
• The problem of interpreting modal logic
• Modality and description
• A Functional calculus of first order based on strict implication
• The deduction theorem in a functional calculus of first order based on strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item