Epistemic Modality and Hyperintensionality in Mathematics
Dissertation, University of St Andrews (2017)
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}.Author's Profile
Reprint years
2020, 2021
My notes
Similar books and articles
Biased modality and epistemic weakness with the future and MUST: non- veridicality, partial knowledge.Anastasia Giannakidou & Alda Mari - forthcoming - In J. Et al Blaszack (ed.), ense, Mood, and Modality : New Perspectives on Old Questions. Chicago University Press.
An invariantist theory of 'might' might be right.David Braun - 2012 - Linguistics and Philosophy 35 (6):461-489.
Descriptive Indexicals and Epistemic Modality.Katarzyna Kijania-Placek - 2017 - Topoi 36 (1):161-170.
On truth unpersistence: At the crossroads of epistemic modality and discourse.Patrícia Amaral & Fabio Del Prete - 2016 - Natural Language and Linguistic Theory 34.
Issues in Epistemic and Modal Logics and Their Applications.Cezar A. Mortari - 1991 - Dissertation, University of Tübingen
Analytics
Added to PP
2017-02-16
Downloads
1,503 (#3,936)
6 months
160 (#3,998)
2017-02-16
Downloads
1,503 (#3,936)
6 months
160 (#3,998)
Historical graph of downloads
Author's Profile
References found in this work
The Conscious Mind: In Search of a Fundamental Theory.David J. Chalmers - 1996 - Oxford University Press.