What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

_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 (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

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 (...) exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

How does rationality bind the agnostic, that is, the one who suspends judgment about whether a given proposition is true? In this paper I explore two alternative ways of establishing what the rational requirements of agnosticism are: the Lockean–Bayesian framework and the doxastic logic framework. Each of these proposals faces strong objections. Fortunately, however, there is a rich kernel of requirements of agnosticism that are vindicated by both of them. One can then endorse the requirements that belong to that kernel (...) without thereby committing oneself to the problematic implications that stem from either of the aforementioned proposals. (shrink)

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 (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.

The aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a semantic framework based on $$\varvec{W}$$ W -models extended with a partial function, which selects the body of knowledge of the agents, namely the set of verifiers of the agent’s total knowledge. The semantic clause for knowledge follows the intuition that an agent knows some information $$\varvec{\phi }$$ ϕ, when the propositional content that $$\varvec{\phi }$$ ϕ (...) is contained in her total knowledge. We will argue that this idea mirrors the philosophical conception of immanent closure by Yablo (2014), giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization. (shrink)

Rosenkranz (2021) offered a logic and a detailed account of justification, according to which justification that p can be analyzed as a form of second-level ignorance: ¬K¬Kp. An intuition behind the analysis is that the justified subject has the potential, at least in a nearby world, to either come to know p or come to know ¬Kp. However, given Rosenkranz’s hyperintensional semantics for modeling knowledge states, we can always construct, out of an ¬K¬K-agent’s knowledge state, epistemic possibilities that prohibit the (...) agent from having that potential. This shows that Rosenkranz’s analysis is still insufficient for carrying all the epistemic weight underlying the notion of justification. A better analysis would require a deeper look into an agent’s knowledge structure and its involved modalities, which could be a lot more complex than what the ¬K¬K rule tells us. (shrink)

The concept of being in a position to know is an increasingly popular member of the epistemologist’s toolkit. Some have used it as a basis for an account of propositional justification. Others, following Timothy Williamson, have used it as a vehicle for articulating interesting luminosity and anti-luminosity theses. It is tempting to think that while knowledge itself does not obey any closure principles, being in a position to know does. For example, if one knows both p and ‘If p then (...) q’, but one dies or gets distracted before being able to perform a modus ponens on these items of knowledge and for that reason one does not know q, one is still plausibly in a position to know q. It is also tempting to suppose that, while one does not know all logical truths, one is nevertheless in a position to know every logical truth. Putting these temptations together, we get the view that being in a position to know has a normal modal logic. A recent literature has begun to investigate whether it is a good idea to give in to these twin temptations—in particular the first one. That literature assumes very naturally that one is in a position to know everything one knows and that one is not in a position to know things that one cannot know. It has succeeded in showing that, given the modest closure condition that knowledge is closed under conjunction elimination, being a position to know cannot satisfy the so-called K axiom of normal modal logics. In this paper, we explore the question of the normality of the logic of being in a position to know in a more far-reaching and systematic way. Assuming that being in a position to know entails the possibility of knowing and that knowing entails being in a position to know, we can demonstrate radical failures of normality without assuming any closure principles at all for knowledge. Moreover, the failure of normality cannot be laid at the door of the K axiom for knowledge, since the standard principle NEC of necessitation also fails for being in a position to know. After laying out and explaining our results, we briefly survey the coherent options that remain. (shrink)

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, (...) paying special attention to applications to Berto’s framework and to ways in which the modal and topic-theoretic dimensions influence one another. (shrink)

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” (...) Gettier examples, misleading defeaters, undefeated justification versus undefeated belief, as well as the defeasibility theories of knowledge. (shrink)

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...) formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

The final chapter of Elgin’s defends the claim that some mistakes mark significant epistemic achievements. Here, I extend Elgin’s analysis of the informativeness of mistakes for epistemic policing. I also examine the type of theory of competence that Elgin’s view requires, and suggest some directions in which this can be taken.

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 (...) to the framework of _topic-sensitive intentional modals_ (TSIMs) championed by Francesco Berto and his collaborators. As illustrations, we introduce variations on Berto and Peter Hawke’s logic of knowability relative to information ( \(\pmb {\textsf{KRI}}\) ), including a refinement sensitive to topic-theoretic distinctions between knowledge and belief and a refinement capable of internalizing its own properties. Finally, subsystems of Aybüke Ozgun and Berto’s logic of plain hyperintensional belief ( \(\pmb {\textsf{PHB}}\) ) are introduced in which fine-grained distinctions in subject-matter are possible. (shrink)

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 (...) agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (shrink)

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 (...) formulas along the lines of Hawke’s issue-based theory of topics, while remaining faithful to the validities discussed by Berto. Several relations between issues and topics are defined, which allow to overcome shortcomings of Hawke’s initial framework. These relations are then discussed with respect to their usefulness in the truth condition for the imagination operator. (shrink)

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 (1) 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 (2) the goal-orientedness of imagination, by allowing the context to determine, what (...) we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016]. (shrink)

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 (...) of an intensional conditional is a function of the subject-matters of its subformulae. This assumption—which I will call a principle of topic sufficiency—runs counter to some natural intuitions concerning topic. In this paper, we will investigate topic sufficiency and offer a semantic account that is state-sensitive, providing an implementation through the introduction of topic-sensitive logics related to William Parry’s prototypical $\mathsf {PAI}$. (shrink)