We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap arises (...) from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a significant threat (...) to the legitimacy of such processes. Modelling my argument on Estlund’s threat of epistocracy, I call this the ‘threat of algocracy’. The article clarifies the nature of this threat and addresses two possible solutions. It is argued that neither solution is likely to be successful, at least not without risking many other things we value about social decision-making. The result is a somewhat pessimistic conclusion in which we confront the possibility that we are creating decision-making processes that constrain and limit opportunities for human participation. (shrink)

Suppose we are about to enter an era of increasing technological unemployment. What implications does this have for society? Two distinct ethical/social issues would seem to arise. The first is one of distributive justice: how will the efficiency gains from automated labour be distributed through society? The second is one of personal fulfillment and meaning: if people no longer have to work, what will they do with their lives? In this article, I set aside the first issue and focus on (...) the second. In doing so, I make three arguments. First, I argue that there are good reasons to embrace non-work and that these reasons become more compelling in an era of technological unemployment. Second, I argue that the technological advances that make widespread technological unemployment possible could still threaten or undermine human flourishing and meaning, especially if they do not remain confined to the economic sphere. And third, I argue that this threat could be contained if we adopt an integrative approach to our relationship with technology. In advancing these arguments, I draw on three distinct literatures: the literature on technological unemployment and workplace automation; the antiwork critique—which I argue gives reasons to embrace technological unemployment; and the philosophical debate about the conditions for meaning in life—which I argue gives reasons for concern. (shrink)

Centuries ago, Descartes and Locke initiated a foundational debate in epistemology over the relationship between knowledge, on the one hand, and practical factors, on the other. Descartes claimed that knowledge and practice are fundamentally separate. Locke claimed that knowledge and practice are fundamentally united. After a period of dormancy, their disagreement has reignited on the contemporary scene. Latter-day Lockeans claim that knowledge itself is essentially connected to, and perhaps even constituted by, practical factors such as how much is at stake, (...) how important the situation is, or how one should act. Latter-day Cartesians claim, by contrast, that knowledge is entirely constituted by truth-related factors such as truth, belief, and evidence. Each side has supported its case with claims about patterns in ordinary behavior and knowledge judgments. Lockeans argue that these patterns are best explained by positing a fundamental and direct link between knowledge and practical factors. Cartesians argue that the patterns can be equally well explained by positing an indirect link, entirely mediated by the traditional factors of truth, belief, and evidence, thereby rendering the Lockean hypothesis unnecessary. We argue that Cartesians are right about some practical factors, in particular stakes and how important a situation is, which have, at best, a modest indirect relationship to knowledge. However, Lockeans are right about actionability: whether a person should pursue a course of action is unquestionably very powerfully and directly connected to knowledge. (shrink)

From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. My (...) evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

Perceptual Confidence is the view that perceptual experiences assign degrees of confidence. After introducing, clarifying, and motivating Perceptual Confidence, I catalogue some of its more interesting consequences, such as the way it blurs the distinction between veridical and illusory experiences, a distinction that is sometimes said to carry a lot of metaphysical weight. I also explain how Perceptual Confidence fills a hole in our best scientific theories of perception and why it implies that experiences don't have objective accuracy conditions.

Researchers recently demonstrated a strong direct relationship between judgments about what a person knows and judgments about how a person should act. But it remains unknown whether actionability judgments cause knowledge judgments, or knowledge judgments cause actionability judgments. This paper uses causal modeling to help answer this question. Across two experiments, we found evidence that actionability judgments cause knowledge judgments.

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Contemporary philosophers nearly unanimously endorse knowledge reliabilism, the view that knowledge must be reliably produced. Leading reliabilists have suggested that reliabilism draws support from patterns in ordinary judgments and intuitions about knowledge, luck, reliability, and counterfactuals. That is, they have suggested a proto-reliabilist hypothesis about “commonsense” or “folk” epistemology. This paper reports nine experimental studies (N = 1262) that test the proto-reliabilist hypothesis by testing four of its principal implications. The main findings are that (a) commonsense fully embraces the possibility (...) of unreliable knowledge, (b) knowledge judgments are surprisingly insensitive to information about reliability, (c) “anti-luck” intuitions about knowledge have nothing to do with reliability specifically, and (d) reliabilists have mischaracterized the intuitive counterfactual properties of knowledge and their relation to reliability. When combined with the weakness of existing arguments for reliabilism and the recent emergence of well supported alternative views that predict the widespread existence of unreliable knowledge, the present findings are the final exhibit in a conclusive case for abandoning reliabilism in epistemology. I introduce an alternative theory of knowledge, abilism, which out-performs reliabilism and well explains all the available evidence. (shrink)

Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it's true? Or should you make an assertion only if you're certain it's true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant behavioral consequences. The results support the view that assertability is more closely linked to knowledge than to (...) certainty. In multiple scenarios, people were much more willing to allow assertability and certainty to come apart than to allow assertability and knowledge to come apart. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. By asserting we share knowledge, coordinate behavior, and advance collective inquiry. Accordingly, assertion is of considerable interest to cognitive scientists, social scientists, and philosophers. This paper advances our understanding of the norm of assertion. Prior evidence suggests that knowledge is the norm of assertion, a view known as “the knowledge account.” In its strongest form, the knowledge account says that knowledge is both necessary and sufficient for assertability: you should (...) make an assertion if and only if you know that it is true. The knowledge account has been rejected on the grounds that it conflicts with our ordinary practice of evaluating assertions. This paper reports four experiments that address an important objection of this sort, which focuses on a class of examples known as “Gettier cases.” The results undermine the objection and, in the process, provide further evidence for the knowledge account. The findings also teach some important general lessons about intuitional methodology and the curation of genres of thought experiment. (shrink)

Compatibilism is the view that determinism is compatible with acting freely and being morally responsible. Incompatibilism is the opposite view. It is often claimed that compatibilism or incompatibilism is a natural part of ordinary social cognition. That is, it is often claimed that patterns in our everyday social judgments reveal an implicit commitment to either compatibilism or incompatibilism. This paper reports five experiments designed to identify such patterns. The results support a nuanced hybrid account: The central tendencies in ordinary social (...) cognition are compatibilism about moral responsibility, compatibilism about positive moral accountability, neither compatibilism nor incompatibilism about negative moral accountability, compatibilism about choice for actions with positive outcomes, and incompatibilism about choice for actions with negative or neutral outcomes. (shrink)

I report two experiments studying the relationship among explicit judgments about what people see, know, and should assert. When an object of interest was surrounded by visibly similar items, it diminished people’s willingness to judge that an agent sees, knows, and should tell others that it is present. This supports the claim, made by many philosophers, that inhabiting a misleading environment intuitively decreases our willingness to attribute perception and knowledge. However, contrary to stronger claims made by some philosophers, inhabiting a (...) misleading environment does not lead to the opposite pattern whereby people deny perception and knowledge. Causal modeling suggests a specific psychological model of how explicit judgments about perception, knowledge, and assertability are made: knowledge attributions cause perception attributions, which in turn cause assertability attributions. These findings advance understanding of how these three important judgments are made, provide new evidence that knowledge is the norm of assertion, and highlight some important subtleties in folk epistemology. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)

Through a selective historical, theoretical, and critical survey of the uses of the concept of scaffolding over the past 30 years, this chapter traces the development of the concept across developmental psychology, educational theory, and cognitive anthropology, and its place in the interdisciplinary field of distributed cognition from the 1990s. Offering a big-picture overview of the uses of the notion of scaffolding, it suggests three ways to taxonomise forms of scaffolding, and addresses the possible criticism that the metaphor of scaffolding (...) retains an overly individualist vision of cognition. The chapter is aimed at a broad interdisciplinary audience interested in processes of learning, teaching, and apprenticeship as they apply to the study of memory. (shrink)

I propose and defend the hypothesis that understanding is the norm of explanation. On this proposal, an explanation should express understanding. I call this the understanding account of explanation. The understanding account is supported by social and introspective observations. It is also supported by the relationship between knowledge and understanding, on the one hand, and assertion and explanation, on the other.

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

Mitochondrial DNA (mtDNA) diseases are a group of neuromuscular diseases that often cause suffering and premature death. New mitochondrial replacement techniques (MRTs) may offer women with mtDNA diseases the opportunity to have healthy offspring to whom they are genetically related. MRTs will likely be ready to license for clinical use in the near future and a discussion of the ethics of the clinical introduction ofMRTs is needed. This paper begins by evaluating three concerns about the safety of MRTs for clinical (...) use on humans: (1) Is it ethical to use MRTs if safe alternatives exist? (2) Would persons with three genetic contributors be at risk of suffering? and (3) Can society trust that MRTs will be made available for humans only once adequate safety testing has taken place, and that MRTs will only be licensed for clinical use in a way that minimises risks? It is then argued that the ethics debate about MRTs should be reoriented towards recommendingways to reduce the possible risks of MRT use on humans. Two recommendations are made: (1) licensed clinical access to MRTs should only be granted to prospective parents if they intend to tell their children about their MRT conception by adulthood; and (2) sex selection should be used in conjunction with the clinical use ofMRTs, in order to reduce transgenerational health risks. (shrink)

In the exploratory study reported here, we tested the efficacy of an intervention designed to train teenagers with Möbius syndrome (MS) to increase the use of alternative communication strategies (e.g., gestures) to compensate for their lack of facial expressivity. Specifically, we expected the intervention to increase the level of rapport experienced in social interactions by our participants. In addition, we aimed to identify the mechanisms responsible for any such increase in rapport. In the study, five teenagers with MS interacted with (...) three naïve participants without MS before the intervention, and with three different naïve participants without MS after the intervention. Rapport was assessed by self-report and by behavioral coders who rated videos of the interactions. Individual non-verbal behavior was assessed via behavioral coders, whereas verbal behavior was automatically extracted from the sound files. Alignment was assessed using cross recurrence quantification analysis and mixed-effects models. The results showed that observer-coded rapport was greater after the intervention, whereas self-reported rapport did not change significantly. Observer-coded gesture and expressivity increased in participants with and without MS, whereas overall linguistic alignment decreased. Fidgeting and repetitiveness of verbal behavior also decreased in both groups. In sum, the intervention may impact non-verbal and verbal behavior in participants with and without MS, increasing rapport as well as overall gesturing, while decreasing alignment. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

Technology could be used to improve morality but it could do so in different ways. Some technologies could augment and enhance moral behaviour externally by using external cues and signals to push and pull us towards morally appropriate behaviours. Other technologies could enhance moral behaviour internally by directly altering the way in which the brain captures and processes morally salient information or initiates moral action. The question is whether there is any reason to prefer one method over the other? In (...) this article, I argue that there is. Specifically, I argue that internal moral enhancement is likely to be preferable to external moral enhancement, when it comes to the legitimacy of political decision-making processes. In fact, I go further than this and argue that the increasingly dominant forms of external moral enhancement may already be posing a significant threat to political legitimacy, one that we should try to address. Consequently, research and development of internal moral enhancements should be prioritised as a political project. (shrink)

Six hundred three people completed a survey measuring perceptions of traditional areas of philosophical inquiry and their relationship to empirical science. The ten areas studied were: aesthetics, epistemology, ethics, history of philosophy, logic, metaphysics, philosophy of language, philosophy of mind, philosophy of science, and political philosophy. For each area, participants rated whether it is currently central to philosophy, whether its centrality depends on integration with science, and whether work in the area is sufficiently integrated with science. Centrality judgments tended to (...) be high. Participants viewed nine of the ten areas as central to philosophy, although they made this judgment more confidently for some areas. Dependence judgments were more varied, ranging from clear disagreement to clear agreement. Integration judgments were also varied but exhibited more uncertainty. Some areas whose centrality depended on integration were judged to be well integrated, but a central tendency for all other areas was ambivalence. Demographic factors had small but statistically significant effects on all three sorts of judgment. Higher age predicted higher centrality judgments and higher integration judgments. Higher socioeconomic status predicted lower dependence judgments and higher integration judgments. Men recorded higher integration judgments. (shrink)

In this paper I refute the chief arguments for cultural relativism, meaning the moral (not the descriptive) theory that goes by that name. In doing this I walk some oft-trodden paths, but I also break new ones. For instance, I take unusual pains to produce an adequate formulation of cultural relativism, and I distinguish that thesis from the relativism of present-day anthropologists, with which it is often conflated. In addition, I address not one or two, but eleven arguments for cultural (...) relativism, many of which contribute to its popularity but receive scant attention from its critics. To elicit the failings of these arguments I deploy a host of pertinent but often neglected distinctions. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Frege’s claim that proper names have senses has come to seem untenable following Kripke’s argument that names are rigid designators. It is commonly thought that if names had senses, their referents would vary with circumstances of evaluation. The article defends Frege’s claim by arguing that names have word-reflexive senses. This analysis of names’ senses does not violate Kripke’s noncircularity condition, and it differs crucially from related views of Bach and Katz. That names have reflexive senses confirms Frege’s own solution to (...) his puzzle about the content of identity sentences, solves Kripke’s Pierre and Peter puzzles about belief ascription, and entails that bearerless names have meanings. Furthermore, names’ having reflexive senses explains why they designate rigidly. (shrink)

Questions about knowledge in expert sport are not only of applied significance: they also take us to the heart of foundational and heavily-disputed issues in the cognitive sciences. To a first (rough and far from uncontroversial) approximation, we can think of expert ‘knowledge’ as whatever it is that grounds or is applied in (more or less) effective decision-making, especially when in a competitive situation a performer follows one course of action out of a range of possibilities. In these research areas, (...) studies of motor expertise have for many years actively contributed to broader debates in philosophy and psychology (Abernethy, Burgess-Limerick, & Parks, 1994; Williams, Davids, & Williams, 1999). When we navigate the world flexibly and more or less successfully, how much is this due to a capacity to represent it? In considering alternative options, or planning future actions, we seem to transcend our present environment in some way: what is the balance or relation here between highly-tuned bodily dispositions and background knowledge of the world and its patterns? What changes in these regards as we gain experience and adapt to more complex and challenging environments? Is know-how fundamentally different in kind from ordinary factual knowledge of the world, or knowledge-that? And if expertise in a domain does involve or depend on a knowledge base that is somehow more organized or deeper than that of novices, how is this knowledge selectively and appropriately deployed, often under severe time constraints? (shrink)

This article argues that the word ψυχαγωγία and its cognates which are found in the writings of Philodemus retain a semantic connection to the domain of magic and are best translated in terms of ‘enchantment’ rather than the more generic sense of ‘entertainment’.

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

Do biological relations ground responsibilities between biological fathers and their offspring? Few think biological relations ground either necessary or sufficient conditions for responsibility. Nevertheless, many think biological relations ground responsibility at least partially. Various scenarios, such as cases concerning the responsibilities of sperm donors, have been used to argue in favor of biological relations as partially grounding responsibilities. In this article, I seek to undermine the temptation to explain sperm donor scenarios via biological relations by appealing to an overlooked feature (...) of such scenarios. More specifically, I argue that sperm donor scenarios may be better explained by considering the unique abilities of agents involved. Appealing to unique ability does not eliminate the possibility of biological relations providing some explanation for perceived responsibilities on the part of biological fathers. However, since it is unclear exactly why biological relations are supposed to ground responsibility in the first place, and rather clear why unique ability grounds responsibility in those scenarios where it is exhibited, the burden of proof seems shifted to those advocating biological relations as grounds of responsibility to provide an explanation. Since this seems unlikely, I conclude it is best to avoid appealing to biological relations as providing grounds for responsibility. (shrink)

I show that Kavka's toxin puzzle raises a problem for the “Responsibility Theodicy,” which holds that the reason God typically does not intervene to stop the evil effects of our actions is that such intervention would undermine the possibility of our being significantly responsible for overcoming and averting evil. This prominent theodicy seems to require that God be able to do what the agent in Kavka's toxin story cannot do: stick by a plan to do some action at a future (...) time even though when that time comes, there will be no good reason for performing that action. I assess various approaches to solving this problem. Along the way, I develop an iterated variant of Kavka's toxin case and argue that the case is not adequately handled by standard causal decision theory. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

Estimates of the burden of disease assess the mortality and morbidity that affect a population by producing summary measures of health such as quality-adjusted life years and disability-adjusted life years. These measures typically do not include stillbirths among the negative health outcomes they count. Priority-setting decisions that rely on these measures are therefore likely to place little value on preventing the more than three million stillbirths that occur annually worldwide. In contrast, neonatal deaths, which occur in comparable numbers, have a (...) substantial impact on burden of disease estimates and are commonly seen as a pressing health concern. In this article we argue in favor of incorporating unintended fetal deaths that occur late in pregnancy into estimates of the burden of disease. Our argument is based on the similarity between late-term fetuses and newborn infants and the assumption that protecting newborns is important. We respond to four objections to counting stillbirths: that fetuses are not yet part of the population and so their deaths should not be included in measures of population health; that valuing the prevention of stillbirths will undermine women's reproductive rights; that including stillbirths implies that miscarriages should also be included; and that birth itself is in fact ethically significant. We conclude that our proposal is ethically preferable to current practice and, if adopted, is likely to lead to improved decisions about health spending. (shrink)

In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...) which is its characterization of transitions from first potentiality to first actuality, e.g., learning, not as `ordinary', but rather as acquisitions of natural dispositions or faculties. (shrink)

The “shrinking” of the globe in the last few centuries has made explicit that the world is a tense unity of many: the many worlds are forced to contend with one another. Nishida Kitarō, the founder of the Kyoto school, once stated that to be is to be implaced. We exist by partaking in “the socio-historical world.” More recently, Jean-luc Nancy has conceived of the world in terms of sense. What is striking in both is that the world emerges out (...) of a nothing, created ex nihilo—the phrase stripped of its theistic connotations. While for Nishida the world is ultimately implaced in the “place of absolute nothing,” Nancy speaks of the nothing that is the basis of the world’s self-creation. I will explore a possible convergence between these and any light it may shed upon our contemporary situation of globalization and its implications for praxis. I look to a sense of the nothing as a chōratic spatiality, an opening that provides space for co-being and serves as the source of creativity. In face of globalization, the project for meaning through mondialisation (in Nancy) and within a multi-cultural world (in Nishida) would imply the appropriation of such an originary spatiality. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

While there has been much work on cosmological arguments, novel objections will be presented against the modern day rendition of the Kalām cosmological argument as standardly articulated by William Lane Craig. The conclusion is reached that this cosmological argument and several of its variants do not lead us to believe that there is inevitably a supernatural cause to the universe. Moreover, a conditional argument for atheism will be presented in light of the Big Bang Theory.

Thomas Reid distinguished between natural and artificial language and argued that natural language has a very specific sort of priority over artificial language. This paper critically interprets Reid's discussion, extracts a Reidian explanatory argument for the priority of natural language, and places Reid's thought in the broad tradition of Cartesian linguistics.