This paper is an evaluation of John Locke's labour theory of property. Section I sets out Locke's labour view. Section II addresses several possible objections, including against the conceptual coherence of Locke's argument, against the metaphysical implications of his view, as well as foundational criticisms of the moral significance of labour and of my relations with objects that are grounded in labour under certain conditions and circumstances. I attempt to address each of these criticisms in a Lockian spirit, which will (...) require strange metaphysical moves. The final Section raises further objections that are more significant because they cannot be squared with the labour view. (shrink)

Jason Brennan and Peter Jaworski argue in recent work that “semiotic” or “symbolic” objections to markets are unsuccessful. I counter-argue that there are indeed some semiotic limits on markets and that anti-commodification theorists are not merely expressing disgust when they disapprove of markets in certain goods on those grounds. One central argument is that, contrary to what Brennan and Jaworski claim, semiotic arguments against markets do not depend fundamentally on meanings that prevail about markets. Rather, they depend (...) on the meanings that attach to various goods, meanings that give us moral bases on which to make judgments about their prospective commodification. (shrink)

Jason Brennan and Peter Jaworski reject expressive objections to markets on the grounds that market symbolism is culturally contingent, and contingent cultural symbols are less important than the benefits markets offer. I grant and, but I deny that these points suffice as grounds to dismiss expressive critiques of markets. For many plausible expressive critiques of markets are not symbolic critiques at all. Rather, they are critiques grounded in the idea that some market transactions embody morally inappropriate normative stances (...) toward the goods or services on offer. (shrink)

The ‘limits of markets’ debate broadly concerns the question of when it is (im)permissible to have a market in some good. Markets can be of tremendous benefit to society, but many have felt that certain goods should not be for sale (e.g., sex, kidneys, bombs). Their sale is argued to be corrupting, exploitative, or to express a form of disrespect. InMarkets without Limits, Jason Brennan and Peter Jaworski have recently argued to the contrary: For any good, as long (...) as it is permissible to give it for free, then it is permissible to give it for money. Their thesis has led to a number of engaging objections, and I leverage recent work on the nature of feasibility within political philosophy to offer a new challenge.I argue that feasibility offers a constraint on which markets can be permissibly implemented. Though it may be possible to create a morally acceptable version of an otherwise repugnant market, some of these markets may be infeasible, and so we are not permitted to implement them. After laying out this challenge, I consider several replies. They concern the relevance of feasibility, and whether any markets really are infeasible. This provides an opportunity to explore the dangers of pursuing the infeasible and with markets generally. I conclude by considering what might lead us to pursue these markets despite their infeasibility, or how knowledge of infeasibility may prove useful regardless. (shrink)

The hard problem of consciousness has held center stage in the philosophy of mind for the past two decades. It claims that the phenomenal character of conscious experiences—what it’s like to be in them—cannot be explained by appeal to the operation of physiological subsystems. The hard problem arises, however, only given the assumption that hylomorphism is false. Hylomorphism claims that structure is a basic ontological and explanatory principle. A human is not a random collection of physical materials, but an individual (...) composed of physical materials with a structure that accounts for what it is and what it can do—the powers it has. What is true of humans is true of their activities as well. The latter are not random physiological changes, but structured ones: we engage in them by coordinating the ways our parts manifest their powers. Structured activities include perceptual experiences. Consequently, everything about a perceptual experience, including its phenomenal character, can be explained by describing the perceiver’s perceptual subsystems, the powers of those subsystems, and the coordination that unifies their activities into the activity of the perceiver as a whole. Conscious experiences thus fit unproblematically into the natural world—just as unproblematically as the phenomenon of life. Even exponents of the hard problem of consciousness agree that there is no hard problem of life. Consequently, if hylomorphism is true, there can be no hard problem of consciousness. To insist that there is such a problem, then, is implicitly to reject hylomorphism. The concept of consciousness that motivates the hard problem is as much a theoretical construct, therefore, as the concept of life that motivates an obstinate vitalist. (shrink)

Hylomorphism provides an attractive framework for addressing issues in philosophical anthropology. After describing a hylomorphic theory that dovetails with current work in philosophy of mind and in scientific disciplines such as biology and neuroscience, I discuss how this theory meshes with Christian eschatology, the doctrine of resurrection in particular.

Mereonominalism, holonominalism, and part-whole realism represent competing views on the metaphysics of parts and wholes. Mereonominalism claims that what parts exist is a function of the concepts we use in describing composite wholes. Holonominalism claims that what composite wholes exist is a function of the concepts we use in describing things that can qualify as parts. Part-whole realism claims that parts and wholes exist independent of our concepts. I argue that all three views face problems, but that the problem facing (...) part-whole realism can be solved by adopting a version of hylomorphism that takes its cue from Aristotle’s account of form. (shrink)

Mind, Brain, and Free Will, Richard Swinburne’s stimulating new book, covers a great deal of territory. I’ll focus on some of the positions Swinburne defends in the philosophy of mind. Many philosophers are likely to have reservations about the arguments he uses to defend them, and others will think his basic position is unmotivated. My goal in this brief discussion is to articulate some of the reasons why.

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.

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)

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)

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)

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

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

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)

Throughout her philosophical writing, Margaret Cavendish is clear in stating that colours are real; they are not mere mind-dependent qualities that exist only in the mind of perceivers. This puts her at odds with other seventeenthcentury thinkers such as Galileo and Descartes who endorsed what would come to be known as the ‘primary-secondary quality distinction’. Cavendish’s argument for this view is premised on two claims. First, that colourless objects are inconceivable. Second, that if an object is inconceivable then it could (...) not possibly exist in nature. My aim in this paper is to explain why Cavendish accepts both premises of this argument. However, the repercussions of this paper go much further than just explaining why she thinks colourless objects cannot exist in nature and the upshots are twofold. First, it provides new insights into the fundamental role that perception plays in Cavendish’s metaphysics. While Cavendish’s view that all of nature perceives is well-established, I show that Cavendish is also committed to the view that all of nature is perceivable. Second, it provides the first in-depth discussion of Cavendish’s modal epistemology and her reasons for thinking that inconceivability entails impossibility (in nature). (shrink)

In her last known piece of work Lady Mary Shepherd’s Metaphysics (1832), Mary Shepherd writes that “mind, may inhere in definite portions of matter […] or of infinite space” (LMSM 699). Shepherd thus suggests that a mind – a “capacity for sensation in general” (e.g., EPEU 16) – may have a spatial location. This is prima facie surprising given that she is committed to the view that the mind is unextended. In this paper, we argue that Shepherd can consistently honor (...) both of these commitments. We argue, first, that even though finite minds, due to their unextendedness cannot, to use Shepherd’s term, ‘occupy’ space as material bodies do, such minds can nonetheless be said to have a spatial location in virtue of what we call their presence, or what Shepherd calls ‘inherence’, in a material body. Second, we argue that, in a similar way, the divine mind is present throughout the whole of space and is thus omnipresent. We then argue that, in contrast to finite minds, the divine mind does not require a body to be present in space. Rather, we contend, God’s omnipresence might be best understood in a ‘holenmerist’ sense, where the divine mind is wholly present in every part of creation. (shrink)

In this paper, I provide the first in-depth discussion of Susan Stebbing’s views concerning our experience of the passage of time – a key issue for many metaphysicians writing in the first half of the twentieth century. I focus on Stebbing’s claims about the passage of time in Philosophy and the Physicists and her disagreement with Arthur Eddington over how best to account for that experience. I show that Stebbing’s concern is that any attempt to provide a scientific account of (...) the passage of time will face problems, since the events described by physics are necessarily measured against the passage of time. I then identify views elsewhere in her philosophical corpus that can help shed light on this claim. Ultimately, I argue, Stebbing’s views on time should be construed as part of her wider commitment to ‘realism’. To be a realist, for Stebbing, is to accept a set of propositions which are a pre-requisite for even beginning to analyse the world around us. For Stebbing, I argue, part of what it means to be a realist is to accept our experience of the passage of time as something fundamental that cannot itself be subject to analysis. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

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)

In this paper, we focus on Berkeley's reasons for accepting the ‘resemblance thesis’ which entails that for one thing to represent another those two things must resemble one another. The resemblance thesis is a crucial premise in Berkeley's argument from the ‘likeness principle’ in §8 of the Principles. Yet, like the ‘likeness principle’, the resemblance thesis remains unargued for and is never explicitly defended. This has led several commentators to provide explanations as to why Berkeley accepts the resemblance thesis and (...) why he also takes his opponents to do so too. We provide a contextual answer to this question, focusing on epistemological discussions concerning resemblance and representation in Early Modern Irish Philosophy. We argue that the resemblance thesis is implicit in early responses to William Molyneux's famous example of the ‘man born blind made to see’ and trace the ‘Molyneux man’ thought experiment as it is employed by Irish thinkers such as William King and Berkeley himself. Ultimately, we conclude that Berkeley's acceptance of the resemblance thesis can be explained by the Irish intellectual climate in which he was writing. (shrink)

Berkeley’s likeness principle is the claim that “an idea can be like nothing but an idea”. The likeness principle is intended to undermine representationalism: the view (that Berkeley attributes to thinkers like Descartes and Locke) that all human knowledge is mediated by ideas in the mind which represent material objects. Yet, Berkeley appears to leave the likeness principle unargued for. This has led to several attempts to explain why Berkeley accepts it. In contrast to ‘metaphysical’ and ‘epistemological’ interpretations available in (...) the literature, in this paper I defend a ‘conceptual’ interpretation. I argue that Berkeley accepts the likeness principle on the basis of (i) his commitment to the transparency of ideas, and (ii) his account of resemblance which he sets out in his works on vision. Thus, I provide an explanation for Berkeley’s reasons for accepting the likeness principle which, appropriately, focuses on his views concerning ideas and likeness. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (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)

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)

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)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

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 Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (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)

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)

Recent discussions in the history of analytic philosophy have targeted questions about the concept of ‘Analytic Philosophy’ itself. Scholars, such as Glock (2008) and Preston (2004), have argued that ‘Analytic Philosophy’ cannot plausibly be characterised in terms of necessary and sufficient conditions and that other, more pragmatic, approaches must be taken instead. In this paper, we argue that similar questions that have recently emerged about the status of ‘Western Philosophy’ can be informed by these debates in the history of analytic (...) philosophy. Some recent scholars, most notably Platzky Miller (2023) and Cantor (2022), have argued that the concept of ‘Western philosophy’ should be abandoned altogether, due to its incoherence and the role it plays in upholding and perpetuating various exclusionary mechanisms and politically dubious aims. The aim of this paper is to apply the lessons learnt from similar discussions about ‘Analytic Philosophy’ and to build on Platzky Miller’s and Cantor’s innovative proposals. We argue that the term should not be abandoned altogether and that continuing to use it is required for combating exclusions in the history of philosophy. (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)

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)

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)

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.

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)

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)

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (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)

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)

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)

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)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (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.