Aristotle begins "On Interpretation" with an analysis of the existence of linguistic entities as both physical and meaningful. Two things have been lacking for a full appreciation of this analysis: a more literal translation of the passage and an ample understanding of the distinction between symbols and signs. In this article, therefore, I first offer a translation of this opening passage (16a1-9) that allows the import of Aristotle's thinking to strike the reader. Then I articulate the distinction between symbol and (...) sign so crucial to understanding this passage. Aristotle employs this distinction, I argue, in order to show how the linguistic entities he defines later in "On Interpretation" (that is, name, verb, denial, affirmation, declaration, and articulation) are both conventional and natural, owing to their being both symbols and signs, respectively. Finally, I suggest why Aristotle's analysis of how linguistic entities exist as both physical and meaningful is fitting, since man himself, "the animal that has speech," lives at the boundary between nature and intelligence. (shrink)

In this article, I first show in what way Augustine's 'De doctrina Christiana' actually concerns liberal education, or at least includes it within its scope. Second, I articulate the new 'modus' of education, its new “mode” or “measure,” presented in 'De doctrina'. Third, I exemplify the modification of education by briefly considering Augustine’s treatment of rhetoric in Book IV of 'De doctrina'. Fourth and finally, I conclude with general remarks that attempt to situate the sort of education of which Augustine (...) speaks in 'De doctrina' among some current alternatives with which we are familiar. (shrink)

Does the soul have powers? If so, what general account can philosophy give of powers of the soul? One can broach some of Thomas Aquinas’s more obscure teachings concerning the soul and its powers, such as that the soul alone is the subject of some powers and that powers flow from the soul, by asking these broad questions. Many commentators have preferred, however, to focus on specific powers of the soul, which has resulted in detailed studies of, for example, the (...) intellect and the will. Here, however, I take up powers of the soul in general and, through a causal analysis of their being, articulate what they are. (shrink)

In the Preface of his 'Proslogion', Anselm narrates its origin in a particular event in his life and delineates the argument of the work as a whole. In chapter 1, Anselm enacts a meditation that attempts to resolve the puzzle of his fallen-but-striving human existence. This paper argues that these opening sections of the 'Proslogion' are an indispensable preparation for understanding Anselm’s famous argument in chapters 2-4 as well as the remainder of the work, especially insofar as these sections establish (...) the crucial pattern of thinking—the “logic” of faith seeking understanding—that Anselm employs in his treatment of God. (shrink)

Boethius first identifies Philosophy in the 'Consolation' as his 'medica', his “healer” or “physician.” Over the course of the dialogue Philosophy exercises her medical art systematically. In the second book Philosophy first gives Boethius “gentler remedies” that are preparatory for the “sharper medicines” that she administers later. This article shows that, philosophically speaking, Philosophy’s “gentler remedies” amount to persuading Boethius toward Stoicism, which functions as an anesthetic for the more invasive philosophical surgery that she performs afterwards. Seeing this, however, requires (...) understanding how Philosophy draws out Boethius’s spiritedness in the first book and how in the second book she sublimates it into an intellectual and volitional apathy toward the things of fortune, i.e., into a Stoic attitude toward that which is other. Significantly, though, the Stoicism to which Philosophy leads Boethius is of a mitigated sort, inasmuch as friendship is not included among the things of fortune to which Boethius is anesthesized, an exception that opens up Boethius to genuine wonder and, consequently, to genuine philosophizing. (shrink)

In this chapter from a collection on the Stoici tradition, I explore Boethius’s works chronologically in order to elucidate his overall evaluation of Stoicism as a philosophy. It turns out that Boethius offers a "mixed review"' of Stoicism. Beginning with references to the Stoics in his logical works and then turning to the 'Consolation', I delineate the intelligible contours of Stoicism as Boethius sees it, including the positive impetus Stoicism provides toward a philosophical apprehension of reality as well as its (...) innate inadequacy for attaining the full measure of wisdom available to us through philosophical inquiry. (shrink)

Anselm’s 'Proslogion' is, as he says in its Preface, 'unum argumentum', a single line of reasoning, that builds toward the following: “that God is truly,” “that he is the highest good who needs no other,” and that he is the one “whom all things need so that they may be and may be well.” This paper attempts to shed light on how Anselm carries out the threefold task that he sets for himself and way in which his procedure brings unity (...) to the work. Although I do not provide a full account of the unity of the 'Proslogion', I lay the groundwork for such an account by reflecting on the 'Proslogion' in light of the 'Symposium', with a view to bringing a pattern of thinking present in Plato’s work to bear on the 'Proslogion'—an intertextual approach that illuminates aspects of Anselm’s thinking and reveal the rich Platonic and Neoplatonic tradition within which he was working. In the 'Symposium', one discerns a pattern of thinking that consists of three “moments”: a comic moment, a tragic moment, and a philosophic moment. To follow this pattern in one’s inquiry is, as Socrates suggests, to practice 'ta erôtica', “erotics,” the art of erotic thinking. Familiarity with this pattern of erotic thinking helps make sense of Anselm’s thinking in the 'Proslogion', and in this paper I reveal how this is so. (shrink)

In this paper, the author spells out St. Bonaventure's magisterial teaching on the possibility of an eternal world, found in his 'Commentaria in II Sententiarum', d. 1, p. 1, a. 1, q. 2. The entirety of this 'quaestio' is treated at length in order to delineate its structure and indicate its reliance on both theological and philosophical premises. Hence, the twofold dependency of St. Bonaventure's position on Scripture and on arguments against an actual infinity is made clear. The author concludes (...) with a Thomistic response to the Seraphic Doctor's position, based solely on the Angelic Doctor's late treatise 'De aeternitate mundi', in which St. Thomas endeavors to place the eternal world question on purely philosophical grounds and also doubts the plausibility of arguments against the possiblity of an actual infinity. (shrink)

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)

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.

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

Why do we do what we do? Alfred Mele attempts to answer this question and related ones by drawing from the fields of action theory, philosophy of mind, moral philosophy, and even empirical psychology. The result is a book that is clearly written, shows a command of the contemporary literature in a number of fields, and attempts to offer rigorous solutions that nonetheless take into account commonsense opinions about these topics. Moreover, Mele organizes the book well and helps the reader (...) to keep in mind the whole project by recapitulating his arguments and drawing connections between discussions in various chapters. (shrink)

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)

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)

This paper argues that early modern experimental philosophy emerged as the dominant member of a pair of methods in natural philosophy, the speculative versus the experimental, and that this pairing derives from an overarching distinction between speculative and operative philosophy that can be ultimately traced back to Aristotle. The paper examines the traditional classification of natural philosophy as a speculative discipline from the Stagirite to the seventeenth century; medieval and early modern attempts to articulate a scientia experimentalis; and the tensions (...) in the classification of natural magic and mechanics that led to the introduction of an operative part of natural philosophy in the writings of Francis Bacon and John Johnston. The paper concludes with a summary of the salient discontinuities between the experimental/speculative distinction of the mid-seventeenth century and its predecessors and a statement of the developments that led to the ascendance of experimental philosophy from the 1660s. (shrink)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

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)

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)

When is a testimony-based belief justified? According to so-called "Anti-Reductionism," the principle that a hearer is prima facie justified to take what another tells them at face value is true. I call this position "Liberal Foundationalism." I call it "liberal" for it is more liberal than "Moderate Foundationalism" that holds that perception-based beliefs are prima facie justified but testimony-based beliefs are not. Liberal Foundationalism has two interpretations: the principle is a contingent empirical truth, or an a priori necessary truth. I (...) call the view that the principle is a priori necessary "Liberal Fundamentalism." This chapter defends Liberal Fundamentalism against objections in the first half, and then in the second half it introduces "Weak Liberal Fundamentalism," the view that it is a priori necessary that testimony provides some epistemic support, but perhaps not enough, absent defeat, for knowledge. In later work I abandon the view that the principle is a priori necessary, but I still maintain the distinction between Strong and Weak variants of the principle, and the replies to many of the objections to the principle. (shrink)

A conception of legitimacy is at the core of normative theories of democracy. Many different conceptions of legitimacy have been put forward, either explicitly or implicitly. In this article, I shall first provide a taxonomy of conceptions of legitimacy that can be identified in contemporary democratic theory. The taxonomy covers both aggregative and deliberative democracy. I then argue for a conception of democratic legitimacy that takes the epistemic dimension of public deliberation seriously. In contrast to standard interpretations of epistemic democracy, (...) however, the conception I put forward avoids procedure-independent standards of correctness. Instead, it relies on a procedural social epistemology and defines legitimacy entirely in terms of the fairness of procedures. I call this conception of democratic legitimacy `Pure Epistemic Proceduralism'. I shall argue that it should be preferred over `Rational Epistemic Proceduralism', the conception of legitimacy that underlies the standard interpretation of epistemic democracy. Key Words: legitimacy • deliberative democracy • epistemic democracy • social epistemology. (shrink)

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

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

The concept of agent-responsibility for an outcome (that is, of the outcome reflecting the autonomous choice of the agent) is central to both ethics and political philosophy. The concept, however, remains radically under-explored. In particular, the issue of partial responsibility for an outcome needs further development. I propose an account of partial responsibility based on partial causal contribution. Agents who choose autonomously in full knowledge of the consequences are agent-responsible, I claim, for the shift in the objective probability of the (...) outcome in question that her choice induces. Thus, agents will typically be only partially agent-responsible (that is, for a shift of less than 100 percent) for any given outcome. The model has an implication that is generally rejected: that agents who purchase lottery tickets and win are agent-responsible for only part of the winnings. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

If we take the indexical, “I”, to be epistemologically identical across different contexts, as in, for example, it is the same “I” that at one moment observes, “I see a puddle of water on the floor”, and then, subsequently, exclaims, “I detect a leaking tap”, and, furthermore, we attribute not only self reference but self awareness in the use of the indexical, “I”, then a question arises as to how the “I” finds itself to be in reference to the speaker (...) in one context and not another. We cannot look to the ingredients of the context that the “I” inhabits for the answer because, based upon the above assumptions, the identity, or character, of the “I” stands independently of the context of the speaker. The answer, I argue, requires both the admission of the unreality of space and time, as well as an explanation as to why we have a sense of the here and now despite space and time being unreal. To this end, I turn to the juxtaposition of Kant’s a priori forms of inner sense and outer sense to explain how the cognitive faculty arrives at a sense of time and place despite the declared unreality of time and space. To sustain this explanation in the face of the problem of localisation, I draw on the full implications of Kant’s transcendental idealism in which the properties of time and space are not only withdrawn from things as they exist externally to the mind but also from mental representations insofar as mental representations can be said to exist in themselves. (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)

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)

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].

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (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)

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and Ira (...) Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

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)

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)

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)

A novel argument is offered against the following popular condition on inferential knowledge: a person inferentially knows a conclusion only if they know each of the claims from which they essentially inferred that conclusion. The epistemology of conditional proof reveals that we sometimes come to know conditionals by inferring them from assumptions rather than beliefs. Since knowledge requires belief, cases of knowing via conditional proof refute the popular knowledge from knowledge condition. It also suggests more radical cases against the condition (...) and it brings to light the under-recognized category of inferential basic knowledge. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (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)