Switch to: References

Add citations

You must login to add citations.
  1. Subject-Matter and Intensional Operators III: State-Sensitive Subject-Matter and Topic Sufficiency.Thomas Macaulay Ferguson - forthcoming - Review of Symbolic Logic:1-27.
    Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an implicit assumption that the subject-matter (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.
    The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 52 (3):939-962.
    _Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Productive Anarchy of Scientific Imagination.Michael T. Stuart - 2020 - Philosophy of Science 87 (5):968-978.
    Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.
    We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Voluntary Imagination: A Fine-Grained Analysis.Ilaria Canavotto, Francesco Berto & Alessandro Giordani - 2020 - Review of Symbolic Logic:1-26.
    We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 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  
     
    Export citation  
     
    Bookmark   3 citations  
  • Topic-Theoretic Extensions of Analytic Implication.Thomas Macaulay Ferguson - 2023 - Notre Dame Journal of Formal Logic 64 (4):471-493.
    Like many intensional logics, William Parry’s logic of analytic implication PAI admits extensions determined by imposing semantic conditions on its account of modality. PAI is unique, however, in its allowing a second dimension—a topic-theoretic dimension—along which extensions can be defined. The recent introduction by Francesco Berto of topic-sensitive intentional modals (TSIMs)—which disagree with PAI on this type of condition—provide further motivations to examine such topic-theoretic extensions. In this paper, we introduce, motivate, and characterize a number of such extensions of PAI, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Stit -logic for imagination episodes with voluntary input.Christopher Badura & Heinrich Wansing - 2023 - Review of Symbolic Logic 16 (3):813-861.
    Francesco Berto proposed a logic for imaginative episodes. The logic establishes certain (in)validities concerning episodic imagination. They are not all equally plausible as principles of episodic imagination. The logic also does not model that the initial input of an imaginative episode is deliberately chosen.Stit-imagination logic models the imagining agent’s deliberate choice of the content of their imagining. However, the logic does not model the episodic nature of imagination. The present paper combines the two logics, thereby modelling imaginative episodes with deliberately (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • More Aboutness in Imagination.Christopher Badura - 2020 - Journal of Philosophical Logic 50 (3):523-547.
    In Berto’s logic for aboutness in imagination, the output content of an imaginative episode must be part of the initial content of the episode. This condition predicts expressions of perfectly legitimate imaginative episodes to be false. Thus, this condition is too strict. Relaxing the condition to correctly model these cases requires to consider a language with predicates and constants. The paper extends Berto’s semantics for aboutness in imagination to a semantics for such a language. The new semantics models contents of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 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  
     
    Export citation  
     
    Bookmark   2 citations