When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

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)

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)

A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be pervasively applied (...) in formal and mainstream epistemology; and that it is left unscathed by the objection. (shrink)

This paper develops a question-sensitive theory of intention. We show that this theory explains some puzzling closure properties of intention. In particular, it can be used to explain why one is rationally required to intend the means to one’s ends, even though one is not rationally required to intend all the foreseen consequences of one’s intended actions. It also explains why rational intention is not always closed under logical implication, and why one can only intend outcomes that one believes to (...) be under one’s control. (shrink)

The modality of normality distinguishes states of affairs which are normal from those which are abnormal. Existing work on the modality of normality assumes that it is a restriction of metaphysical modality. In this paper, we argue that this assumption is inappropriate and explore the consequences of abandoning it. -/- After preliminary discussion (§1), we introduce the dominant framework for reasoning about normality (§2) and argue that it ascribes implausibly strong structural properties to the modality. In its place, we propose (...) a new framework, which avoids this commitment (§§3-5). This account has a number of interesting features, which we explore in both an informal and formal setting. If correct, it implies that the modality of normality occupies a distinctive place in the space of modalities. Before concluding, we consider some of the wider implications of our account (§6), focusing on the role normality has played in epistemic theorizing. (shrink)

Many philosophers have recently challenged the monistic idea that knowledge is the sole aim of our inquiries into questions. Specifically, by giving examples, they argue that we can factually and legitimately inquire into questions to achieve states different from the mere knowledge of the correct and complete answer. Given this, they end up with a pluralistic stance about the aim of our inquiries into questions. In this paper, I will show that the pluralists’ cases do not seriously threaten knowledge monism. (...) First, I will describe how a knowledge monist can slightly revise her position and motivate the following claim: The aim of our inquiries into questions is not the mere knowledge but the occurrent knowledge of the correct and complete answer – a type of knowledge that is operative in our actions and cognition. Second, I will show how the monist can defend this position from the cases the pluralists offer by highlighting how our inquiries come in a variety and are bound to contextual aspects. Finally, by analysing the monist’s strategy further, I will end up with a new theory of inquiry: A theory that is contextualist, pluralist about the variety of inquiries, but monistic about their specific aims. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Say that an audience understands a given utterance perfectly only if she correctly identifies which proposition (or propositions) that utterance expresses. In ideal circumstances, the participants in a conversation will understand each other’s utterances perfectly; however, even if they do not, they may still understand each other’s utterances at least in part. Although it is plausible to think that the phenomenon of partial understanding is very common, there is currently no philosophical account of it. This paper offers such an account. (...) Along the way, I argue against two seemingly plausible accounts which use Stalnaker’s notion of common ground and Lewisian subject matters, respectively. (shrink)

Machery et al.’s 2004 x-phi project has been widely criticised for ambiguities contained in the expression ‘talk about’. Interestingly, although ‘about’ plays a prominent part in the debate, aboutness has not been a topic. This paper discusses this aspect. Alas, it must thereby add a further ambiguity to the list, the ambiguity between aboutness and reference, and thus also between subject matter and referent. It explains the distinction between intra-categorical aboutness which makes no ontological demands, and cross-categorical reference which requires (...) the referent to exist. It then analyses the 4-fold embedding contained in Machery et al.’s study and shows how the aboutness-reference distinction bears on it. (shrink)

The notions of subject matter and aboutness have been objects of considerable attention among philosophers over the last few years. Current theories of subject matter take sentences to be the primary bearers of subject matter: “sentences have aboutness properties if anything has” (Yablo, Aboutness, Princeton University Press, 2014). However, some subsentential expressions can also be thought of as being about something. Moreover, it appears that the subject matters of sentences depend in a systematic way on the aboutness properties of their (...) subsentential components. In this paper, we focus on the question of what predicates are about. We provide an account of predicative subject matter in which subject matters are assigned to predicates in a natural way, and which can be smoothly integrated with some existing accounts of sentential subject matter. We also argue that the notion of predicative subject matter is a worthy object of study, both within the current debate on subject matter and in its own right. (shrink)

We know a lot about what the world is like. We know less, it seems, about what we know about what the world is like. According to a common thought, it is easier for us to come to know about the state of the world than to come to know about the state of our own knowledge. What explains this gap? An attractively simple hypothesis is that our ignorance about what we know is explained by our ignorance about the world. (...) There are things we fail to know about what we know about the world because there are things we fail to know about the world. This hypothesis is often motivated by the idea that knowledge requires a margin‐for‐error. In this paper, I'll argue that this simple hypothesis is inadequate. Not all our ignorance of our knowledge can be explained by our ignorance about the world. In this sense, at least some of our ignorance about what we know is brute. (shrink)

Jc Beall’s off-topic interpretation of Weak Kleene logic offers a logic of ‘true-and-topic’ preservation. However, Nissim Francez has recently argued that being ‘off-topic’ is a relational and not an _absolute_ semantic property; as such, it fails to satisfy the conditions of truth-functionality. For Francez, this means that it ‘cannot serve as an interpretation of a truth-value’. In this paper, I propose a two-layered _re_interpretation of Beall’s off-topic semantics. This two-layered framework has two crucial features: a sentential topic-tagging device and a (...) two-layered evaluation tool. I show that this framework results in a logic that preserves Beall’s key insight and addresses Francez’s concerns. (shrink)

The metalinguistic approach to conceptual engineering construes disputes between linguistic reformers and linguistic conservatives as metalinguistic disagreements on how best to use particular expressions. As the present paper argues, this approach has various merits. However, it was recently criticised in Cappelen’s seminal Fixing Language. Cappelen raises an important objection against the metalinguistic picture. According to this objection – the Babel objection, as I shall call it – the metalinguistic account cannot accommodate the intuition of disagreement between linguistic conservatives and reformers (...) who are speaking different languages. The objection generalises to metalinguistic approaches to e.g. moral disagreements. This paper discusses the Babel objection and shows how to dispel it. (shrink)

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 (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

The paper surveys recent appraisals of David Lewis’s seminal paper on truth in fiction. It examines variations on standard criticisms of Lewis’s account, aiming to show that, if developed as Lewis suggests in his 1983 Postscript A, his proposals on the topic are—as Hanley puts it—‘as good as it gets’. Thus elaborated, Lewis’s account can resist the objections, and it offers a better picture of fictional discourse than recent resurrections of other classic works of the 1970s by Kripke, van Inwagen (...) and Searle. The turn that Lewis suggests and the paper recommends draws on the remaining outstanding contribution from that time: Walton’s. (shrink)

Carnap's Logical Syntax of Language (1937) contains an unfortunate passage, the ‘Babylon passage’, explaining what it is for a linguistic expression to be about a subject matter. Past criticism has only addressed Carnap's mistaken claim that the occurrence of a denoting term is necessary and sufficient for a linguistic expression to be about the denotatum. But the passage contains further problems: a form‐object confusion due to the ambiguity of ‘lecture’; a use‐mention problem with the word ‘Babylon’; and finally, the fact (...) that its key sentence ????1 is a counterexample to Carnap's own definition of aboutness. These flaws notwithstanding, the passage's ‘non‐formal consideration’ that a statement's truth or falsity should matter to our knowledge about the subject matter's properties, is an important contribution to aboutness theory. This paper discusses all these pros and cons of the passage in depth with a view to their consequences for current work on subject matter. (shrink)

In this paper, I raise the problem of dealing with counterpossible conditionals for theories of subject matter. I argue that existing accounts of subject matter need to be revised and extended to be able to a) provide reasonable (potentially non-degenerate) verdicts about what counterpossibles are about, b) explain the intuition that counterpossibles are in some sense about what would happen if the antecedent were true, and c) explain in what sense counterpossibles can be about individuals. I sketch how one could (...) extend atom-based and way-based theories of subject matters to handle the problem. Then, I raise the problem that it might be desirable for a theory of subject matter to prevent the inference that certain counterpossibles are about the kinds of things that they seem to mention. (shrink)

Philosophische Diskurse können auf verschiedene Arten und aus verschiedenen Gründen missglücken. Sind Streitende in einen bloßen Streit um Worte verstrickt, so liegt ihrem Streit keine Uneinigkeit zugrunde. Aufgrund eines sprachlichen Missverständnisses reden sie bloß aneinander vorbei. Das vorliegende Buch entwirft in seinem ersten Teil erstmalig eine detaillierte Theorie bloßer Streite um Worte. Was zeichnet solch missglückte Streite aus? Und welche Indizien können den Verdacht eines bloßen Streits um Worte in der Philosophie stützen? Im zweiten Teil des Buches wendet die Autorin (...) die erarbeiteten Resultate dann in einer Fallstudie auf die Debatte um personale Identität an. Reden die beiden großen Streitlager der Debatte womöglich nur aneinander vorbei, weil sie Wörtchen wie „ich“, „wir“ oder „Person“ bloß unterschiedlich verwenden? Und besteht zwischen den Streitlagern also vielleicht gar keine Uneinigkeit darüber, welchen Persistenzbedingungen ‚wir‘ unterliegen? Die vorliegende Studie etabliert diese Interpretation der Debatte als einen zumindest ernstzunehmenden Vorschlag. Sie möchte jedoch auch verdeutlichen, wie schwer sich der Verdacht eines bloßen Streits um Worte in der Philosophie wirklich redlich belegen lässt. (shrink)

This book argues for the importance and commonness of reasonings concerning impossibilities. Its aim is twofold – descriptive and constructive. Since hypothetical reasoning about impossibilities calls for explanation, the book provides a comprehensive guide through popular semantic theories of conditionals. Each is examined from the perspective of the question of impossibilities and the logic and metaphysics surrounding them. This provides the ground for a further aim. In the final chapter, I endeavor to combine the best features of the existing theories (...) and explore the possibility of a novel hybrid account. (shrink)

It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) antecedents at some world, the same worlds are deemed as relevant for all occasions of utterance. But surely this is inadequate, if shifts of contexts between occasions are to be accounted for. Both the linguistic and logical implications of this defect are discussed, and in order to overcome it a modification of David Lewis’ ordering semantics for counterfactuals is developed for a modified language. I follow Lewis by letting contexts determine comparative similarity assignments, and show that the addition of syntactic context parameters (context indices) to the language gives the freedom required to switch between sets of relevant antecedent worlds from occasion to occasion by choosing the corresponding similarity assignment accordingly. Thus an account that extends Lewis’ analysis of a language containing a single counterfactual connective > to a language containing infinitely many counterfactual connectives >_c, each indexed by a different context name c, overcomes the limitations of traditional analyses. Finally it is also shown that these traditional accounts can be recovered from the modified account if certain contextual restrictions are in place. -/- . (shrink)

Understanding the logical behavior of propositional attitudes, i.e. the mental states that we entertain with propositions (such as knowledge, belief, supposition, imagination, etc.), requires careful consideration of what such attitudes are about: their topic. This is the core intuition of Francesco Berto’s work, a book that fits into one of the most interesting and rich debates of recent decades, ranging over a wide variety of disciplines: from formal semantics to epistemology and even cognitive psychology. But above all, Berto’s book makes (...) a substantial contribution to what Daniel Nolan calls the hyperintensional revolution. In addition to being an original and ambitious proposal in the area of epistemic logic, the book can also be considered an excellent and in-depth introduction to many of the most interesting problems in the contemporary debate. (shrink)