Hyperintensional Ω-Logic

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


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 hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary.


Added to PP

66 (#252,445)

6 months
66 (#78,930)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Frege's conception of numbers as objects.Crispin Wright - 1983 - [Aberdeen]: Aberdeen University Press.
Warrant for nothing (and foundations for free)?Crispin Wright - 2004 - Aristotelian Society Supplementary Volume 78 (1):167–212.
Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.

View all 33 references / Add more references