Modal Logic as Metaphysics
From MaRDI portal
Publication:5495322
DOI10.1093/acprof:oso/9780199552078.001.0001zbMath1294.03008OpenAlexW1526348167MaRDI QIDQ5495322
Publication date: 31 July 2014
Full work available at URL: https://doi.org/10.1093/acprof:oso/9780199552078.001.0001
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY ⋮ Logical predictivism ⋮ AGAINST CUMULATIVE TYPE THEORY ⋮ A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ The broadest necessity ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Emptying a paradox of ground ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ Higher-order contingentism. I: Closure and generation ⋮ Relative necessity reformulated ⋮ In defence of a logic for ‘because’ ⋮ A note on Barcan formula ⋮ Proof vs Provability: On Brouwer’s Time Problem ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Logics and Their Galaxies ⋮ Single-domain free logic and the problem of compositionality ⋮ Philosophical Logic = Philosophy + Logic? ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Two morals about a modal paradox ⋮ Relative necessity and propositional quantification ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ COUNTERFACTUALS AND PROPOSITIONAL CONTINGENTISM ⋮ New powers for dispositionalism ⋮ Causation and fact granularity ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ Grounding generalizations ⋮ Bicontextualism ⋮ A STRONG REFLECTION PRINCIPLE ⋮ Intuitions, theory choice and the ameliorative character of logical theories ⋮ Logic talk ⋮ Symmetric and asymmetric theories of time ⋮ Should a higher-order metaphysician believe in properties? ⋮ Mathematical modality: an investigation in higher-order logic ⋮ An elegant universe ⋮ Continuants, identity and essentialism ⋮ Structure by proxy, with an application to grounding ⋮ A logic for epistemic two-dimensional semantics ⋮ Qualifying Quantifying-in ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Modal metatheory for quantified modal logic, with and without the Barcan formulas ⋮ Actualism, serious actualism, and quantified modal logic ⋮ Prior, translational semantics, and the Barcan formula ⋮ Prior, Berkeley, and the Barcan formula ⋮ Serious actualism and higher-order predication ⋮ Notational variance and its variants ⋮ Analysis as translation ⋮ Introduction ⋮ Modal expansionism ⋮ Putnam on Mathematics as Modal Logic ⋮ Is objectual identity really dispensable? ⋮ The logic of ground ⋮ The triviality argument against presentism ⋮ Propositional quantification in bimodal S5 ⋮ Agglomerative algebras ⋮ Reasoning about arbitrary natural numbers from a Carnapian perspective ⋮ Deflationism about logic ⋮ The formalities of temporaryism without presentness ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM
