Mathematical modality: an investigation in higher-order logic

DOI10.1007/s10992-023-09728-1OpenAlexW4389094105MaRDI QIDQ6191140

Andrew Bacon

Publication date: 9 February 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-023-09728-1

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The iterative conception of set. A (bi-)modal axiomatisation
• Structural connections between a forcing class and its modal logic
• Higher-order contingentism. II: Patterns of indistinguishability
• Intensional mathematics
• What's so logical about the logical axioms?
• From worlds to possibilities
• Properties, propositions and sets
• The broadest necessity
• Higher-order contingentism. III: Expressive limitations
• A revenge-immune solution to the semantic paradoxes
• A metasemantic challenge for mathematical determinacy
• Arithmetic is determinate
• A theory of necessities
• Can all things be counted?
• Varieties of indefinite extensibility
• Naive infinitism: the case for an inconsistency approach to infinite collections
• Higher-order contingentism. I: Closure and generation
• THE SET-THEORETIC MULTIVERSE
• A simple maximality principle
• Modality and quantification in S5
• An ascending chain of S4 logics
• Vagueness and Thought
• THE POTENTIAL HIERARCHY OF SETS
• The Bounds of Possibility
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• Possible Worlds
• Modal Logic as Metaphysics
• Propositions and counterpart theory
• Extensions of the Lewis system S5

This page was built for publication: Mathematical modality: an investigation in higher-order logic