PhilSci Archive

Epistemic Modality and Hyperintensionality in Mathematics

Khudairi, Hasen (2017) Epistemic Modality and Hyperintensionality in Mathematics. UNSPECIFIED.

WarningThere is a more recent version of this item available.
[img]
Preview
 Text
E.pdf
Download (1MB) | Preview
[img]
Preview
 Text
E.pdf
Download (1MB) | Preview

Abstract

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4 (i.e. the KK principle). Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapter \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{8} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |
Item Type: Open Access Book
Creators:
CreatorsEmailORCID
Khudairi, Hasenhasen.khudairi@gmail.com
Subjects: Specific Sciences > Mathematics > Epistemology
Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Ontology
Specific Sciences > Cognitive Science > Concepts and Representations
Specific Sciences > Cognitive Science > Consciousness
Depositing User: Timothy (Hasen) Bowen (Khudairi)
Date Deposited: 24 Dec 2022 16:06
Last Modified: 24 Dec 2022 16:06
Item ID: 21574
Official URL: http://www.self.gutenberg.org/eBooks/WPLBN01003042...
Subjects: Specific Sciences > Mathematics > Epistemology
Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Ontology
Specific Sciences > Cognitive Science > Concepts and Representations
Specific Sciences > Cognitive Science > Consciousness
Date: 2017
URI: http://philsci-archive.pitt.edu/id/eprint/21574

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item