27 found
Order:
See also
  1.  40
    Consciousness, Haecceitism, and Grounding.Hasen Khudairi - manuscript
    This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  46
    Hyperintensional Conceivability, Grounding, and Consciousness.Hasen Khudairi - manuscript
    This paper provides a rebuttal to the argument in Khudairi (2018) in `Synthese'. Khudairi provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. A Two-Dimensionalist Solution to the Access Problem.Hasen Khudairi - manuscript
  4. Epistemicism and Moral Vagueness.Hasen Khudairi - manuscript
    This essay defends an epistemicist response to the phenomenon of vagueness concerning moral terms. I outline a traditional model of -- and then two novel approaches to -- epistemicism about moral predicates, and I demonstrate how the foregoing are able to provide robust explanations of the source of moral, as epistemic, indeterminacy. The first model of epistemic indeterminacy concerns the extensions of moral predicates, as witnessed by the non-transitivity of a value-theoretic sorites paradox. The second model of moral epistemicism is (...)
     
    Export citation  
     
    Bookmark  
  5. 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 (12 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Intention: Hyperintensional Semantics and Decision Theory.Hasen Khudairi - manuscript
    This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the 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 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Modal Ω-Logic.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 categorical 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  8. 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, topic-sensitive epistemic two-dimensional 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 categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Category Theory 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 Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Conceivability, Essence, and Haecceities.Hasen Khudairi - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Topic-sensitive 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  
     
    Export citation  
     
    Bookmark  
  12. 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, (...)
     
    Export citation  
     
    Bookmark  
  13. Modality and Hyperintensionality in Mathematics.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  
     
    Export citation  
     
    Bookmark  
  14. 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  
     
    Export citation  
     
    Bookmark  
  15. 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
     
    Export citation  
     
    Bookmark  
  16. 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  
     
    Export citation  
     
    Bookmark  
  17.  11
    Correction to: Grounding, conceivability, and the mind-body problem.Hasen Khudairi - 2022 - Synthese 200 (2):1-2.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Non-Transitive Self-Knowledge: Luminosity via Modal $\mu$-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 fixed points to entrain a principled means by which to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. 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  
     
    Export citation  
     
    Bookmark  
  20. 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 (...)
     
    Export citation  
     
    Bookmark  
  21. 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
     
    Export citation  
     
    Bookmark  
  22. 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, (...)
     
    Export citation  
     
    Bookmark  
  23. Truth, Modality, and Paradox: Critical Review of Scharp, 'Replacing Truth'.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 proffer four novel extensions of the theory, and detail five issues that the theory faces.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Epistemic Democracy - chapter outline.Hasen Khudairi - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Epistemic Modality and Hyperintensionality in Mathematics.Hasen Khudairi - 2017 - 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  26. 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  
  27.  2
    Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - unknown
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark