22 found
Order:
See also
  1.  40
    Intention, Modality, & Decision Theory.Hasen Khudairi - manuscript
    This paper argues that the types of intention can be modeled as modal operators. I delineate the intensional-semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic modal space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states of belief and desire, where (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  76
    Conceivability, Haecceities, and Essence.Hasen Khudairi - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the two-dimensional intensional framework and the mereological parthood relation enables epistemic possibilities to target the haecceitistic properties of individuals. I specify, then, a two-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I examine the Julius Caesar problem as a test case. I then generalize the approach (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  5. Two-Dimensional Truthmaker Semantics.Hasen Khudairi - manuscript
    This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Grounding, Conceivability, and the Mind-Body Problem.Hasen Khudairi - 2018 - Synthese 195 (2):919-926.
    This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  8. Algebraic Metaphysical Semantics.Hasen Khudairi - manuscript
    This paper argues that metaphysically fundamental truths ought to be defined within an algebraic language. In the first part of the paper, I provide examples of the algebraic structures used to define models of physical ontology (namely, quantum mechanics and field theory); the mathematical universe (set-theory); modal logic; and the metaphysics of consciousness. I outline, then, some explanatory desiderata concerning the relation between fundamental and derivative truths. I argue that a relation of apriori material implication, i.e. 'scrutability', cannot satisfy the (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Grothendieck Universes and Indefinite Extensibility.Hasen Khudairi - manuscript
    This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in the category of sets is identifiable with the elementary embeddings of large cardinal axioms. A modal coalgebraic automata's mappings are further argued to account for both reinterpretations of quantifier domains as well as the ontological expansion effected by the elementary embeddings in the category of sets. The interaction between the interpretational and (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  64
    Physical Necessitism.Hasen Khudairi - manuscript
    This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Cognitivism About Epistemic Modality.Hasen Khudairi - manuscript
    This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for epistemic intensions. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Abstracta and Possibilia: Modal Foundations of Mathematical Platonism.Hasen Khudairi - manuscript
    This paper aims to provide modal foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. A Modal Logic for Gödelian Intuition.Hasen Khudairi - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and the bisimulation-invariant fragment of second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Epistemic Modality and Absolute Decidability.Hasen Khudairi - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality, and to the applications of the latter to unrestricted quantification and absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Non-Transitive Self-Knowledge: Luminosity Via Modal Μ-Automata.Hasen Khudairi - manuscript
    This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing self-knowledge on the model of fixed points in monadic second-order modal logic, i.e. the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- an epistemic interpretation of a $\mu$-automaton permits the iterations of the transition functions to entrain a principled (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Conceivability and Haecceitism.Hasen Khudairi - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the multi-dimensional intensional framework and intensional plural quantification enables epistemic possibilities to target the haecceitistic properties of individuals. I outline the elements of plural logic, and I specify, then, a multi-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I conclude by addressing objections from the indeterminacy (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought, and endeavor to show how such algebras provide the resources necessary to resolve Russell's paradox of propositions. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dually isomorphic. I examine, in particular, the virtues (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Logical and Epistemic Modality.Hasen Khudairi - manuscript
    This paper examines the interaction between the philosophy and psychology of concepts and the modal characterization of the deductive concept of logical validity. The concept of logical consequence on which I focus is model-theoretic, where the concept records the property of necessary truth-preservation from the premise of an argument to its conclusion, as well as the condition that, in the class of all possible worlds in which a premise is true, a consequent formula or succedent class of formulas is true, (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Epistemic Democracy - Chapter Outline.Hasen Khudairi - manuscript
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. An Epistemicist Solution to Curry's Paradox.Hasen Khudairi - manuscript
    This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I aim, then, to provide a novel, epistemicist treatment to Curry's Paradox. The epistemicist solution that I advance enables the retention of both classical logic and the traditional rules for the alethic predicate: truth-elimination and truth-introduction.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2021 - Dissertation, University of St Andrews
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. Forms of Luminosity.Hasen Khudairi - 2017
    This dissertation 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark