Switch to: References

Add citations

You must login to add citations.
  1. Epistemic Modality and Hyperintensionality in 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • 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, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2021 - Erkenntnis 86 (4):875-903.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.
    A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Modal Meinongianism.Thibaut Giraud - 2016 - Synthese 193 (10).
    Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, as originally formulated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Careful What You Wish.John Beverley - 2018 - Philosophia 46 (1):21-38.
    Dilip Ninan has raised a puzzle for centered world accounts of de re attitude reports extended to accommodate what he calls “counterfactual attitudes.” As a solution, Ninan introduces multiple centers to the standard centered world framework, resulting in a more robust semantics for de re attitude reports. However, while the so-called multi-centered world proposal solves Ninan’s counterfactual puzzle, this additional machinery is not without problems. In Section 1, I present the centered world account of attitude reports, followed by the extension (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Ignorance and Logical Learning.Richard Pettigrew - 2021 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.
    In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Context-Indexed Counterfactuals and Non-Vacuous Counterpossibles.Mariusz Popieluch - 2019 - Dissertation, The University of Queensland
    The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An Analytic Philosophical Approach to Ibn Arabi’s Conception of Ultimate Reality.M. Alsamaani Nader Ahmed - 2017 - Dissertation, University of Birmingham
    In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Thinking Beyond Imagining.Jill Cumby - 2021 - Synthese 199 (3-4):7423-7435.
    This paper defends a rational account of conceivability according to which conceiving is a kind of modal thinking that is distinct from imagining effectively allowing us to think beyond what we can imagine, and that we are subject to rational rather than experiential constraints when we do so. Defending this view involves appealing to the perspective of an idealized agent and I’ll argue that this appeal is not worrisome given an “objective” view of propositional justification.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.
    In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logic of Imaginary Scenarios.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2020 - Logic Journal of the IGPL 28 (3):363-388.
    Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).
    It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...)
    Download  
     
    Export citation  
     
    Bookmark   83 citations