The identity of individuals in a strict functional calculus of second order
From MaRDI portal
Publication:4919634
DOI10.2307/2267171zbMath1263.03012OpenAlexW2065559740WikidataQ56227312 ScholiaQ56227312MaRDI QIDQ4919634
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
Related Items
First-order classical modal logic, A formalisation of referentially opaque contexts, WEAKLY CLASSICAL THEORIES OF IDENTITY, Contingent composition as identity, A situationalist solution to the Ship of Theseus puzzle, The principle of the indiscernibility of identicals requires no restrictions, Quantified temporal alethic-deontic logic, 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, Modalising plurals, Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\), A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, The fallacies of the new theory of reference