Modal Ω-Logic

In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82 (2019)
  Copy   BIBTEX

Abstract

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-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 $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical. Second, the foregoing provides a modal account of the interpretation of mathematical vocabulary.

Similar books and articles

Models as Universes.Brice Halimi - 2017 - Notre Dame Journal of Formal Logic 58 (1):47-78.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
A conception of Tarskian logic.Gila Sher - 1989 - Pacific Philosophical Quarterly 70 (4):341-368.
De Jure and De Facto Validity in the Logic of Time and Modality.Stephan Leuenberger - 2013 - Thought: A Journal of Philosophy 2 (2):196-205.

Analytics

Added to PP
2017-01-06

Downloads
1,271 (#6,924)

6 months
546 (#1,166)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Attitudes de dicto and de se.David Lewis - 1979 - Philosophical Review 88 (4):513-543.
Warrant for nothing (and foundations for free)?Crispin Wright - 2004 - Aristotelian Society Supplementary Volume 78 (1):167–212.
Frege's conception of numbers as objects.Crispin Wright - 1983 - [Aberdeen]: Aberdeen University Press.

View all 52 references / Add more references