Switch to: References

Add citations

You must login to add citations.
  1. The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Simple Semantics for Logics of Indeterminate Epistemic Closure.Colin R. Caret - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 37-56.
    According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not require (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited.Chen Bo - forthcoming - History and Philosophy of Logic:1-17.
    In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epistemic logic and the KK principle are grounded upon his strong notion of knowledge, which requires that knowledge is infallible, that is, it makes further inquiry pointless, and becomes ‘discussion-stopper’; knowledge implies truth, to wit, cognitive agents will not be mistaken in their knowledge; cognitive agents will be ‘perfect logicians’, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   2 citations  
  • Question-relative knowledge for minimally rational agents.Francisca Silva - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy:1-31.
    Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Hyperintensional Logic of Non-prime Evidence.Pietro Vigiani - forthcoming - Journal of Philosophical Logic:1-28.
    We present a logic of evidence that reduces agents’ epistemic idealisations by combining classical propositional logic with substructural modal logic for formulas in the scope of epistemic modalities. To this aim, we provide a neighborhood semantics of evidence, which provides a modal extension of Fine’s semantics for relevant propositional logic. Possible worlds semantics for classical propositional logic is then obtained by defining the set of possible worlds as a special subset of information states in Fine’s semantics. Finally, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Logical Development of Pretense Imagination.Aybüke Özgün & Tom Schoonen - forthcoming - Erkenntnis:1-27.
    We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as the goal-orientedness of imagination, by allowing the context to determine, what we call, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Justified belief, knowledge, and the topology of evidence.Sonja Smets, Aybüke Özgün, Nick Bezhanishvili & Alexandru Baltag - 2022 - Synthese 200 (6):1-51.
    We propose a new topological semantics for evidence, evidence-based justifications, belief, and knowledge. Resting on the assumption that an agent’s rational belief is based on the available evidence, we try to unveil the concrete relationship between an agent’s evidence, belief, and knowledge via a rich formal framework afforded by topologically interpreted modal logics. We prove soundness, completeness, decidability, and the finite model property for the associated logics, and apply this setting to analyze key epistemological issues such as “no false lemma” (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   4 citations  
  • A Modal View on Resource-Bounded Propositional Logics.Pere Pardo - 2022 - Studia Logica 110 (4):1035-1080.
    Classical propositional logic plays a prominent role in industrial applications, and yet the complexity of this logic is presumed to be non-feasible. Tractable systems such as depth-bounded boolean logics approximate classical logic and can be seen as a model for resource-bounded agents whose reasoning style is nonetheless classical. In this paper we first study a hierarchy of tractable logics that is not defined by depth. Then we extend it into a modal logic where modalities make explicit the assumptions discharged in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Getting some (non-classical) closure with justification logic.Shawn Standefer, Ted Shear & Rohan French - 2023 - Asian Journal of Philosophy 2 (2):1-25.
    Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals.Thomas Macaulay Ferguson - 2023 - Journal of Philosophical Logic 52 (6):1673-1701.
    In frameworks in which _topic-__theoretic_ considerations—_e.g._, tracking _subject-matter_ or _topic_—are given equal importance with _veridical_ considerations, assigning topics to formulae in a satisfactory way is of critical importance. While intuitions are more-or-less solid for _extensional_ formulae in a propositional language, arriving at a compelling account of the subject-matter of _intensional_ formulae, _i.e._, formulae including intensional operators, is more challenging. This paper continues previous work on modeling topics of intensional formulae in William Parry’s logic of analytic implication, adapting the general techniques (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations