The identity of individuals in a strict functional calculus of second order

DOI10.2307/2267171MaRDI QIDQ4919634zbMATH OpenOpenAlexWikidataFDO

Authors Ruth C. Barcan

Publication date 15 May 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2267171

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 5722370
• scientific article; zbMATH DE number 77950
• Ontology as a Natural Extension of Predicate Calculus with Identity Equipped with Description
• scientific article; zbMATH DE number 638363
• Identity and indiscernibility

Cited in

(18)

• Pure second-order logic
• The fallacies of the new theory of reference
• A situationalist solution to the Ship of Theseus puzzle
• The principle of the indiscernibility of identicals requires no restrictions
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)
• Quantified temporal alethic-deontic logic
• WEAKLY CLASSICAL THEORIES OF IDENTITY
• scientific article; zbMATH DE number 5722370 (Why is no real title available?)
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• On a derivation of the necessity of identity
• Modal objection to naive Leibnizian identity
• A formalisation of referentially opaque contexts
• Contingent composition as identity
• Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
• Modalising plurals
• Husserl and the reduction of modality to essence
• First-order classical modal logic

This page was built for publication: The identity of individuals in a strict functional calculus of second order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4919634)