Khudairi, Hasen (2017) Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. [Preprint]

Preview

Text Modal Ω-Logic.pdf Download (227kB) | Preview

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Khudairi, Hasen hasen.khudairi@gmail.com 0000-0003-1726-6123
Keywords:	Ω-Logic; Modal Logic; Logical Consequence; Large Cardinals; Coalgebra; Automata; Neo-Logicism; Set-theoretic Realism
Subjects:	Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information
Depositing User:	Hasen Khudairi
Date Deposited:	17 May 2021 16:43
Last Modified:	17 May 2021 16:43
Item ID:	19047
Subjects:	Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information
Date:	2017
URI:	http://philsci-archive.pitt.edu/id/eprint/19047

Available Versions of this Item

• Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 09 Aug 2018 22:54)
  • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 17 May 2021 16:43) [Currently Displayed]
    • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 21 May 2021 01:36)
      • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 03 Jun 2021 18:41)
        • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 23 Jun 2021 19:04)
          • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 29 Jun 2021 19:34)
            • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 09 May 2022 22:47)
            • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 22 Jul 2021 16:35)
              • Modal Ω-Logic. (deposited 25 Nov 2022 17:02)
              • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 22 Nov 2022 16:03)
                • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. (deposited 20 Dec 2022 18:42)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item