Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82 (2019)
Download Edit this record How to cite View on PhilPapers
Abstract
This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω-logical validity can then be countenanced within a coalgebraic logic, and Ω-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω-logical validity correspond to those of second-order logical consequence, Ω-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets.
Keywords
No keywords specified (fix it)
Reprint years
2017, 2019
PhilPapers/Archive ID
KHUMLA
Upload history
First archival date: 2017-01-06
Latest version: 3 (2018-10-16)
View other versions
Added to PP index
2017-01-06

Total views
421 ( #12,236 of 55,913 )

Recent downloads (6 months)
58 ( #12,539 of 55,913 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.