17 found
Order:
See also
  1. 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 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  
  2.  54
    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.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2017 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), 'Proceedings of the 2016 Meeting of the International Association for Computing and Philosophy'. Springer Verlag.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4. 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 in the category-theoretic setting is identifiable with the Kripke functors of modal coalgebraic automata, where the automata model Grothendieck Universes and the functors are further inter-definable with the elementary embeddings of large cardinal axioms. The Kripke functors definable in Grothendieck universes are argued to account for the ontological expansion effected by the elementary embeddings in the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. 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 intensional, computational properties. The homotopic abstraction principle for intensional mental functions provides an epistemic conduit into our knowledge of cognitive algorithms as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  85
    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 augments GL with the modal μ-calculus. Via correspondence results between modal logic and first-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  80
    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 (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  66
    Conceivability, Plural Quantification, 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. 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  
  10.  55
    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
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  55
    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 μ-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 interpretatation of the Kripke functors of a μ-automaton permits the iterations of the transition functions (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  52
    Absolute Decidability and Mathematical Modality.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 multi-dimensional intensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  45
    Epistemic Democracy - Chapter Outline.Hasen Khudairi - manuscript
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  33
    An Epistemicist Solution to the Alethic Paradoxes.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 of the alethic paradoxes. In response 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. By availing of epistemic modal logic, the epistemicist approach permits, further, of a descriptively adequate explanation (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Forms of Luminosity: Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2017 - Gutenberg.
    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 phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The book 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  16. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  43
    Transcendental Ethics: Hyperintensional Foundations of Value Theory.Hasen Khudairi - 2017 - Gutenberg.
    This book concerns the modal and hyperintensional foundations of ethics. The book provides three metaphysical frameworks in which to examine the nature of ethical value, obligation, cognition, and consciousness. The first framework is an algebraic semantics, and provides support for the claim that truths about modality are metaphysically fundamental. The second framework is a multi-dimensional hyperintensional semantics, and is shown to provide a natural setting in which to address issues both in decision theory and which concern intentional action. The third (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark