Octopuses, squid, and cuttlefish are remarkable creatures, famed for their intelligence. They are invertebrates—animals without a backbone—and are much more distant from us in evolutionary terms than our fellow mammals, far more distant even than birds, reptiles, and fishes. The last common ancestor of humans and octopuses lived over 560 million years ago. These animals have evolved intelligence by a different path, and their ways of perceiving and interacting with the world are very different from our own. This resource aims (...) to take you inside the minds of octopuses, squid, cuttlefish, and their lesser-known relatives, the nautiluses, using the latest scientific evidence to present an accurate, up-to-date picture of what we know about their capabilities. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (shrink)

When is it (epistemically) rational to suspend judgment on a proposition? Before addressing this question, one has to clarify what suspension of judgment (in short: suspension) is and establish rationality standards for the attitudes that constitute suspension. Ideally, suspending can be reduced to attitudes for which one already has established rationality standards. This paper distinguishes two kinds of suspension, weak and strong, and offers a reductionist account of suspension based on credence. However, it does not reduce suspension to credence alone (...) but takes a higher-order perspective on credence into account. Other doxastic attitudes such as belief and doubtful belief are also reexamined and defined in the light of this higher-order perspective. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

This article reconsiders the early hominid ‘‘lithic niche’’ by examining the social implications of stone artifact making. I reject the idea that making tools for use is an adequate explanation of the elaborate artifact forms of the Lower Palaeolithic, or a sufficient cause for long-term trends in hominid technology. I then advance an alternative mechanism founded on the claim that competency in making stone artifacts requires extended learning, and that excellence in artifact making is attained only by highly skilled individuals (...) who have been taught and practiced for extensive periods. Consequently both competency and expertise in knapping comes at a high learning cost for both the individual learner and the social group to which they belong. Those high intrinsic costs of learning created contexts in which groups selected cost-reducing forms of social learning and teaching, and in which specialization could develop. Artifacts and their manufacturing processes probably acquired functions as social signals—as honest signals of valuable capacities. The magnification of these signals, through competition between knappers and through inspiring later craftspeople, may account for a substantial amount of the accumulated elaboration visible in the archaeological record. Consequently lithic artifacts operated as material symbols from an early time in hominid evolution. (shrink)

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

Bayesianism can be characterized as the following twofold position: (i) rational credences obey the probability calculus; (ii) rational learning, i.e., the updating of credences, is regulated by some form of conditionalization. While the formal aspect of various forms of conditionalization has been explored in detail, the philosophical application to learning from experience is still deeply problematic. Some philosophers have proposed to revise the epistemology of perception; others have provided new formal accounts of conditionalization that are more in line with how (...) we learn from perceptual experience. The current investigation argues that Bayesian epistemology is still incomplete; the epistemology of perception and the epistemology of rational reasoning have not been reconciled. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its focus, (...) it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

How should an agent revise her epistemic state in the light of doxastic disagreement? The problems associated with answering this question arise under the assumption that an agent’s epistemic state is best represented by her degree of belief function alone. We argue that for modeling cases of doxastic disagreement an agent’s epistemic state is best represented by her confirmation commitments and the evidence available to her. Finally, we argue that given this position it is possible to provide an adequate answer (...) to the question of how to rationally revise one’s epistemic state in the light of disagreement. (shrink)

Book Symposium on The Territories of Science and Religion (University of Chicago Press, 2015). The author responds to review essays by John Heilbron, Stephen Gaukroger, and Yiftach Fehige.

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

The paper investigates measures of explanatory power and how to define the inference schema “Inference to the Best Explanation”. It argues that these measures can also be used to quantify the systematic power of a hypothesis and the inference schema “Inference to the Best Systematization” is defined. It demonstrates that systematic power is a fruitful criterion for theory choice and IBS is truth-conducive. It also shows that even radical Bayesians must admit that systemic power is an integral component of Bayesian (...) reasoning. Finally, the paper puts the achieved results in perspective with van Fraassen’s famous criticism of IBE. (shrink)

All contributions included in the present issue were originally prepared for an “Author Meets Critics” session organized by Carl Sachs for the Eastern Division Meeting of the American Philosophical Association in Savannah, Georgia, on 5th January, 2018.

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Any theory of confirmation must answer the following question: what is the purpose of its conception of confirmation for scientific inquiry? In this article, we argue that no Bayesian conception of confirmation can be used for its primary intended purpose, which we take to be making a claim about how worthy of belief various hypotheses are. Then we consider a different use to which Bayesian confirmation might be put, namely, determining the epistemic value of experimental outcomes, and thus to decide (...) which experiments to carry out. Interestingly, Bayesian confirmation theorists rule out that confirmation be used for this purpose. We conclude that Bayesian confirmation is a means with no end. 1 Introduction2 Bayesian Confirmation Theory3 Bayesian Confirmation and Belief4 Confirmation and the Value of Experiments5 Conclusion. (shrink)

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

We argue that recent empirical findings and theoretical models shed new light on the nature of attention. According to the resulting amplification view, attentional phenomena can be unified at the neural level as the consequence of the amplification of certain input signals of attention-independent perceptual computations. This way of identifying the core realizer of attention evades standard criticisms often raised against sub-personal accounts of attention. Moreover, this approach also reframes our thinking about the function of attention by shifting the focus (...) from the function of selection to the function of amplification. (shrink)

This paper argues for the general proper functionalist view that epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Such a process is reliable in normal conditions when functioning normally. This paper applies this view to so-called testimony-based beliefs. It argues that when a hearer forms a comprehension-based belief that P (a belief based on taking another to have asserted that P) through the exercise of a (...) reliable competence to comprehend and filter assertive speech acts, then the hearer's belief is prima facie warranted. The paper discusses the psychology of comprehension, the function of assertion, and the evolution of filtering mechanisms, especially coherence checking. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “Gettier case” in (...) a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

This entry provides an opinionated overview of central debates surrounding doxastic disagreement, focusing on doxastic states or attitudes such as beliefs and credences. It differentiates between various types of epistemologically significant disagreement based on the agents involved and the source of the disagreement. It also examines and evaluates current accounts of how peers should (rationally) address disagreement and highlights the fundamental principles that support these accounts.

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

This paper argues that the relevant unit of analysis for assessing the justice of an immigration policy is the socially-situated individual (as opposed to the individual simpliciter or the nation-state, for example). This methodological principle is demonstrated indirectly by showing how some liberal, cosmopolitan defenses of "open borders" and the alleged right of immigration fail by their own standards, owing to the implicit adoption of an inappropriate unit of analysis.

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (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)

AI companies are racing to create artificial general intelligence, or “AGI.” If they succeed, the result will be human-level AI systems that can independently pursue high-level goals by formulating and executing long-term plans in the real world. Leading AI researchers agree that some of these systems will likely be “misaligned”–pursuing goals that humans do not desire. This goal mismatch will put misaligned AIs and humans into strategic competition with one another. As with present-day strategic competition between nations with incompatible goals, (...) the result could be violent and catastrophic conflict. Existing legal institutions are unprepared for the AGI world. New foundations for AGI governance are needed, and the time to begin laying them is now, before the critical moment arrives. -/- This Article begins to lay those new legal foundations. It is the first to think systematically about the dynamics of strategic competition between humans and misaligned AGI. The Article begins by showing, using formal game-theoretic models, that, by default, humans and AIs will be trapped in a prisoner’s dilemma. Both parties’ dominant strategy will be to permanently disempower or destroy the other, even though the costs of such conflict would be high. -/- The Article then argues that a surprising legal intervention could transform the game theoretic equilibrium and avoid conflict: AI rights. Not just any AI rights would promote human safety. Granting AIs the right not to be needlessly harmed–as humans have granted to certain non-human animals–would, for example, have little effect. Instead, to promote human safety, AIs should be given those basic private law rights–to make contracts, hold property, and bring tort claims–that law already extends to non-human corporations. Granting AIs these economic rights would enable long-run, small-scale, mutually-beneficial transactions between humans and AIs. This would, we show, facilitate a peaceful strategic equilibrium between humans and AIs for the same reasons economic interdependence tends to promote peace in international relations. Namely, the gains from trade far exceed those from war. Throughout, we argue that human safety, rather than AI welfare, provides the right framework for developing AI rights. This Article explores both the promise and the limits of AI rights as a legal tool for promoting human safety in an AGI world. (shrink)

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. However, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this article, I focus on Macdonald’s provocative 1953 paper, “Linguistic Philosophy and Perception,” in which she argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. First, it reveals (...) just how far Macdonald’s metaphilosophical views diverged from those of many of her contemporaries. Second, the discussion in her article preempts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

For synergistic interactions between humans and artificial intelligence (AI) systems, AI outputs often need to be explainable to people. Explainable AI (XAI) systems are commonly tested in human user studies. However, whether XAI researchers consider potential cultural differences in human explanatory needs remains unexplored. We highlight psychological research that found significant differences in human explanations between many people from Western, commonly individualist countries and people from non-Western, often collectivist countries. We argue that XAI research currently overlooks these variations and that (...) many popular XAI designs implicitly and problematically assume that Western explanatory needs are shared cross-culturally. Additionally, we systematically reviewed over 200 XAI user studies and found that most studies did not consider relevant cultural variations, sampled only Western populations, but drew conclusions about human-XAI interactions more generally. We also analyzed over 30 literature reviews of XAI studies. Most reviews did not mention cultural differences in explanatory needs or flag overly broad cross-cultural extrapolations of XAI user study results. Combined, our analyses provide evidence of a cultural bias toward Western populations in XAI research, highlighting an important knowledge gap regarding how culturally diverse users may respond to widely used XAI systems that future work can and should address. (shrink)

In this paper we show that the coherence measures of Olsson (J Philos 94:246–272, 2002), Shogenji (Log Anal 59:338–345, 1999), and Fitelson (Log Anal 63:194–199, 2003) satisfy the two most important adequacy requirements for the purpose of assessing theories. Following Hempel (Synthese 12:439–469, 1960), Levi (Gambling with truth, New York, A. A. Knopf, 1967), and recently Huber (Synthese 161:89–118, 2008) we require, as minimal or necessary conditions, that adequate assessment functions favor true theories over false theories and true and informative (...) theories over true but uninformative theories. We then demonstrate that the coherence measures of Olsson, Shogenji, and Fitelson satisfy these minimal conditions if we confront the hypotheses with a separating sequence of observational statements. In the concluding remarks we set out the philosophical relevance, and limitations, of the formal results. Inter alia, we discuss the problematic implications of our precondition that competing hypotheses must be confronted with a separating sequence of observational statements, which also leads us to discuss theory assessment in the context of scientific antirealism. (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.

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)