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