This is, to the best of my knowledge, the first published attempt at a rigorous logical formalization of a passage in Leibniz's Monadology. The method we followed was suggested by Johannes Czermak.

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 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)

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

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)

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)

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)

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)

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

I argue that ductal carcinoma in situ (DCIS), the tumor most commonly diagnosed by breast mammography, cannot be confidently classified as cancer, that is, as pathological. This is because there may not be dysfunction present in DCIS—as I argue based on its high prevalence and the small amount of risk it conveys—and thus DCIS may not count as a disease by dysfunction-requiring approaches, such as Boorse’s biostatistical theory and Wakefield’s harmful dysfunction account. Patients should decide about treatment for DCIS based (...) on the risks it poses and the risks and benefits of treatment, not on its disease status. (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)

This Handbook contains forty essays by an international team of experts on the antecedents, the content, and the reception of the Dionysian corpus, a body of writings falsely ascribed to Dionysius the Areopagite, a convert of St Paul, but actually written about 500 AD. The first section contains discussions of the genesis of the corpus, its Christian antecedents, and its Neoplatonic influences. In the second section, studies on the Syriac reception, the relation of the Syriac to the original Greek, and (...) the editing of the Greek by John of Scythopolis are followed by contributions on the use of the corpus in such Byzantine authors as Maximus the Confessor, John of Damascus, Theodore the Studite, Niketas Stethatos, Gregory Palamas, and Gemistus Pletho. In the third section attention turns to the Western tradition, represented first by the translators John Scotus Eriugena, John Sarracenus, and Robert Grosseteste and then by such readers as the Victorines, the early Franciscans, Albert the Great, Aquinas, Bonaventure, Dante, the English mystics, Nicholas of Cusa, and Marsilio Ficino. The contributors to the final section survey the effect on Western readers of Lorenzo Valla's proof of the inauthenticity of the corpus and the subsequent exposure of its dependence on Proclus by Koch and Stiglmayr. The authors studied in this section include Erasmus, Luther and his followers, Vladimir Lossky, Hans Urs von Balthasar, and Jacques Derrida, as well as modern thinkers of the Greek Church. Essays on Dionysius as a mystic and a political theologian conclude the volume. (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 ...

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument. A key premise has it that, necessarily, for items (...) with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible. However, Schellenberg rejects the etiological theory of functions and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception. But then what supports the key premise? Schellenberg argues that accurate perception is a part of the nature of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately. We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any actual good cases—just possible ones. This reading, we argue, is too weak to support the key premise. Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection. (shrink)

The systems studied in the special sciences are often said to be causally autonomous, in the sense that their higher-level properties have causal powers that are independent of the causal powers of their more basic physical properties. This view was espoused by the British emergentists, who claimed that systems achieving a certain level of organizational complexity have distinctive causal powers that emerge from their constituent elements but do not derive from them. More recently, non-reductive physicalists have espoused a similar view (...) about the causal autonomy of special-science properties. They argue that since these properties can typically have multiple physical realizations, they are not identical to physical properties, and further they possess causal powers that differ from those of their physical realisers. Despite the orthodoxy of this view, it is hard to find a clear exposition of its meaning or a defence of it in terms of a well-motivated account of causation. In this paper, we aim to address this gap in the literature by clarifying what is implied by the doctrine of the causal autonomy of special-science properties and by defending the doctrine using a prominent theory of causation from the philosophy of science. (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)

We examine Margaret Cavendish’s ecological views and argue that, in the Appendix to her final published work, Grounds of Natural Philosophy (1668), Cavendish is defending a normative account of the way that humans ought to interact with their environment. On this basis, we argue that Cavendish is committed to a form of what, for the purposes of this paper, we call ‘deep ecology,’ where that is understood as the view that humans ought to treat the rest of nature as something (...) of intrinsic value. The reading of Cavendish we defend in this paper also commits her to a naturalistic account of ‘moral facts’ about how humans ought to interact with their environment. That is, on our reading of Cavendish, ‘moral facts’ (i.e., facts about how we ought and ought not to behave, and what it is right or wrong for us to do) are grounded in facts about nature—and, in Cavendish’s case, its (ir)regularity. Such facts are hypothetical, rather than categorical: they are facts about how we ought to act if we wish to attain happiness or flourishing. We thus contend that Cavendish anticipates, at least loosely speaking, movements in both deep ecology and in naturalistic meta-ethics that came to prominence well after the time in which she was writing. (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)

This paper examines a promising probabilistic theory of singular causation developed by David Lewis. I argue that Lewis' theory must be made more sophisticated to deal with certain counterexamples involving pre-emption. These counterexamples appear to show that in the usual case singular causation requires an unbroken causal process to link cause with effect. I propose a new probabilistic account of singular causation, within the framework developed by Lewis, which captures this intuition.

In response to widespread doubts among professional philosophers (Russell, Horwich, Dietrich, McGinn, Chalmers), Stoljar argues for a ‘reasonable optimism’ about progress in philosophy. He defends the large and surprising claim that ‘there is progress on all or reasonably many of the big questions.’ However, Stoljar’s caveats and admitted avoidance of historical evidence permits overlooking persistent controversies in philosophy of mind and cognitive science that are essentially unchanged since the 17th Century. Stoljar suggests that his claims are commonplace in philosophy departments (...) and, indeed, the evidence I adduce constitutes an indictment of the widely shared view among professional analytic philosophers. (shrink)

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

For decades scholars thought they knew Hume's position on the existence of causes and objects he was a sceptic. However, this received view has been thrown into question by the `new readings of Hume as a sceptical realist. For philosophers, students of philosophy and others interested in theories of causation and their history, The New Hume Debate is the first book to fully document the most influential contemporary readings of Hume's work. Throughout, the volume brings the debate beyond textual issues (...) in Hume to contemporary philosophical issues concerning causation and knowledge of the external world and issues in the history of philosophy, offering the reader a model for scholarly debate. This revised paperback edition includes three new chapters by Janet Broughton, Peter Kail and Peter Millican. Contributors: Kenneth A. Richman, Barry Stroud, Galen Strawson, Kenneth P. Winkler, John P. Wright, Simon Blackburn, Edward Craig, Martin Bell, Daniel Flage, Anne Jaap Jacobson, Rupert Read, Janet Broughton, Peter Millican, Peter Kail. (shrink)

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a response-dependent (...) account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

Although Robert Nozick has argued that libertarianism is compatible with the justice of a minimal state—even if does not arise from mutual consent—few have been persuaded. I will outline a different way of establishing that a non-consensual libertarian state can be just. I will show that a state can—with a few important qualifications—justly enforce the rights of citizens, extract payments to cover the costs of such enforcement, redistribute resources to the poor, and invest in infrastructure to overcome market failures. Footnotesa (...) For very helpful comments, I am indebted to Dani Attas, Ellen Frankel Paul, Robert Johnson, Brian Kierland, Mike Otsuka, Eric Roark, and the other contributors to this volume. (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)

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)

According to an often repeated definition, economics is the science of individual choices and their consequences. The emphasis on choice is often used – implicitly or explicitly – to mark a contrast between markets and the state: While the price mechanism in well-functioning markets preserves freedom of choice and still efficiently coordinates individual actions, the state has to rely to some degree on coercion to coordinate individual actions. Since coercion should not be used arbitrarily, coordination by the state needs to (...) be legitimized by the consent of its citizens. The emphasis in economic theory on freedom of choice in the market sphere suggests that legitimization in the market sphere is “automatic” and that markets can thus avoid the typical legitimization problem of the state. In this paper, I shall question the alleged dichotomy between legitimization in the market and in the state. I shall argue that it is the result of a conflation of choice and consent in economics and show how an independent concept of consent makes the need for legitimization of market transactions visible. Footnotes1 For helpful comments and suggestions I am most grateful to Marc Fleurbaey, Alain Marciano, Herlinde Pauer-Studer, Thomas Pogge, Hans Bernhard Schmid, to seminar or conference participants in Aix-Marseille, Tutzing, Paris, and Amsterdam, and to two anonymous referees. (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)

This paper initiates a dialogue between classical Islamic philosophy and late modern European thought, by focusing on two peripheral, ‘heretical’ figures within these traditions: Abū Bakr Muḥammad ibn Zakariyāʾ al-Rāzī and Friedrich Nietzsche. What affiliates these thinkers across the cultural and historical chasm that separates them is their mutual fascination with, and profound indebtedness to, ancient Greek and Hellenistic philosophy. Given the specific themes, concerns and doctrines that they appropriate from this common source, I argue that al-Rāzī and Nietzsche should (...) be read as Epicureans and seen in relation to their predecessor as part of the subterranean tradition of philosophical naturalism. However, while each figure appropriates the philosophy of Epicurus, they ultimately transform it in important ways: al-Rāzī offers us a qualified “Platonic” Epicureanism, while Nietzsche forges a radicalized “Dionysian” Epicureanism. The point of such a comparative examination is twofold. First, analyzing the divergent paths of these “wayward” Epicureans sheds new light on the historical trajectory of naturalism as a philosophical stance (as well as its current prospects and limitations). Second, by initiating a dialogue between the classical Islamic and modern European philosophical traditions, we can better understand the antagonisms and shared concerns between these two horizons, as well as the ambiguities and self-questioning that occur within them. (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)

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account of the epistemology of (...) hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

What rights and duties do adults have with respect to raising children? Who, for example, has the right to decide how and where a particular child will live, be educated, receive health care, and spend recreational time? I argue that neither biological (gene-provider) nor..

It is widely held that there are important differences between indicative conditionals (e.g. “If the authors are linguists, they have written a linguistics paper”) and subjunctive conditionals (e.g. “If the authors had been linguists, they would have written a linguistics paper”). A central difference is that indicatives and subjunctives convey different stances towards the truth of their antecedents. Indicatives (often) convey neutrality: for example, about whether the authors in question are linguists. Subjunctives (often) convey the falsity of the antecedent: for (...) example, that the authors in question are not linguists. This paper tests prominent accounts of how these different stances are conveyed: whether by presupposition or conversational implicature. Experiment 1 tests the presupposition account by investigating whether the stances project – remain constant – when embedded under operators like negations, possibility modals, and interrogatives, a key characteristic of presuppositions. Experiment 2 tests the conversational-implicature account by investigating whether the stances can be cancelled without producing a contradiction, a key characteristic of implicatures. The results provide evidence that both stances – neutrality about the antecedent in indicatives and the falsity of the antecedent in subjunctives – are conveyed by conversational implicatures. (shrink)

Epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Evolution by natural selection is the most familiar source of etiological functions. . What then of learning? What then of Swampman? Though functions require history, natural selection is not the only source. Self-repair and trial-and-error learning are both sources. Warrant requires history, but not necessarily that much.

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)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

Maximizing act consequentialism holds that actions are morally permissible if and only if they maximize the value of consequences—if and only if, that is, no alternative action in the given choice situation has more valuable consequences.[i] It is subject to two main objections. One is that it fails to recognize that morality imposes certain constraints on how we may promote value. Maximizing act consequentialism fails to recognize, I shall argue, that the ends do not always justify the means. Actions with (...) maximally valuable consequences are not always permissible. The second main objection to maximizing act consequentialism is that it mistakenly holds that morality requires us to maximize value. Morality, I shall argue, only requires that we satisfice (promote sufficiently) value, and thus leaves us a greater range of options than maximizing act consequentialism recognizes. (shrink)

Collective deliberation is fuelled by disagreements and its epistemic value depends, inter alia, on how the participants respond to each other in disagreements. I use this accountability thesis to argue that deliberation may be valued not just instrumentally but also for its procedural features. The instrumental epistemic value of deliberation depends on whether it leads to more or less accurate beliefs among the participants. The procedural epistemic value of deliberation hinges on the relationships of mutual accountability that characterize appropriately conducted (...) deliberation. I will argue that it only comes into view from the second-person standpoint. I shall explain what the second-person standpoint in the epistemic context entails and how it compares to Stephen Darwall’s interpretation of the second-person standpoint in ethics. (shrink)

"Modern History" versions of the etiological theory claim that in order for a trait X to have the proper function F, individuals with X must have been recently favored by natural selection for doing F (Godfrey-Smith 1994; Griffiths 1992, 1993). For many traits with prototypical proper functions, however, such recent selection may not have occurred: traits may have been maintained due to lack of variation or due to selection for other effects. I examine this flaw in Modern History accounts and (...) offer an alternative etiological theory, the Continuing Usefulness account, which appears to avoid such problems. (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)

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)

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 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)