This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: How do we recognize distinct types of emotion in music?

This report highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012: 1. How should we demarcate perceptual learning from perceptual development? 2. What are the origins of multimodal associations? 3. Does our representation of time provide an amodal framework for multi-sensory integration? 4. What counts as cognitive penetration? 5. How can philosophers and psychologists most fruitfully collaborate?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: What counts as cognitive penetration?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: Does our representation of time provide and amodal framework for multi-sensory integration?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: How can philosophers and psychologists most fruitfully collaborate?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: What are the origins of multimodal associations?

To the extent that dualism is even taken to be a serious option in contemporary discussions of personal identity and the philosophy of mind, it is almost exclusively either Cartesian dualism or property dualism that is considered. The more traditional dualism defended by Aristotelians and Thomists, what I call hylemorphic dualism, has only received scattered attention. In this essay I set out the main lines of the hylemorphic dualist position, with particular reference to personal identity. First I argue that overemphasis (...) of the problem of consciousness has had an unhealthy effect on recent debate, claiming instead that we should emphasize the concept of form. Then I bring in the concept of identity by means of the notion of substantial form. I continue by analyzing the relation between form and matter, defending the traditional theses of prime matter and of the unicity of substantial form. I then argue for the immateriality of the substantial form of the human person, viz. the soul, from an account of the human intellect. From this follows the soul's essential independence of matter. Finally, although the soul is the immaterial bearer of personal identity, that identity is still the identity of an essentially embodied being. I explain how these ideas are to be reconciled. Footnotesa I am grateful to Stephen Braude, John Cottingham, John Haldane, David Jehle, Joel Katzav, Eduardo Ortiz, and Fred Sommers for helpful comments and discussion of a draft of this essay. I would also like to thank Ellen Paul, whose suggestions have helped greatly to improve the essay's style and content. (shrink)

Utilitarian (U.) theories must be capable of being applied in practical reasoning, or they would have no value as a guide to rational conduct. However, I show that epistemic extensions to U. theories produce logical confusion. Basic questions about what one needs to know in order to apply a U. analysis embroil one in an infinite regress. And attempts to incrementally apply U. either are no help at all (leaving one entirely 'in the dark'), or in general constitute arbitrary gambles (...) which no practical reasoner could defend taking. These problems are serious enough to completely discredit U. theories as having any relevance to practical reasoning. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

I propose a new kind of meta-ethical theory, grounded in a theory of interests and of the modifications required in order to render interests compatible with each other. The theory hence is called "Interest Compatibilism" (IC). A basic account of the nature of interests, and of possible relations between them, is also included. Ethical values turn out to be those involved in optimally desirable forms of harmonization and control of interests and their associated values. The theory is presented and developed (...) with the aid of specific comparisons to more standard deontological and consequentialist ethical theories and views. Utilitarian consequentialist views are particularly criticised, and suggestions for an improved consequentialist view incorporating aspects of the IC approach are developed. Whether or not the IC theory is acceptable as a whole, I argue that some such alternative consequentialist theory is desperately needed. My account of interests should be independently acceptable also. (shrink)

Can robots have significant moral status? This is an emerging topic of debate among roboticists and ethicists. This paper makes three contributions to this debate. First, it presents a theory – ‘ethical behaviourism’ – which holds that robots can have significant moral status if they are roughly performatively equivalent to other entities that have significant moral status. This theory is then defended from seven objections. Second, taking this theoretical position onboard, it is argued that the performative threshold that robots need (...) to cross in order to be afforded significant moral status may not be that high and that they may soon cross it (if they haven’t done so already). Finally, the implications of this for our procreative duties to robots are considered, and it is argued that we may need to take seriously a duty of ‘procreative beneficence’ towards robots. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

Friendship is an important part of the good life. While many roboticists are eager to create friend-like robots, many philosophers and ethicists are concerned. They argue that robots cannot really be our friends. Robots can only fake the emotional and behavioural cues we associate with friendship. Consequently, we should resist the drive to create robot friends. In this article, I argue that the philosophical critics are wrong. Using the classic virtue-ideal of friendship, I argue that robots can plausibly be considered (...) our virtue friends - that to do so is philosophically reasonable. Furthermore, I argue that even if you do not think that robots can be our virtue friends, they can fulfil other important friendship roles, and can complement and enhance the virtue friendships between human beings. (shrink)

This paper adds another argument to the rising tide of panic about robots and AI. The argument is intended to have broad civilization-level significance, but to involve less fanciful speculation about the likely future intelligence of machines than is common among many AI-doomsayers. The argument claims that the rise of the robots will create a crisis of moral patiency. That is to say, it will reduce the ability and willingness of humans to act in the world as responsible moral agents, (...) and thereby reduce them to moral patients. Since that ability and willingness is central to the value system in modern liberal democratic states, the crisis of moral patiency has a broad civilization-level significance: it threatens something that is foundational to and presupposed in much contemporary moral and political discourse. I defend this argument in three parts. I start with a brief analysis of an analogous argument made in pop culture. Though those arguments turn out to be hyperbolic and satirical, they do prove instructive as they illustrates a way in which the rise of robots could impact upon civilization, even when the robots themselves are neither malicious nor powerful enough to bring about our doom. I then introduce the argument from the crisis of moral patiency, defend its main premises and address objections. (shrink)

Personal AI assistants are now nearly ubiquitous. Every leading smartphone operating system comes with a personal AI assistant that promises to help you with basic cognitive tasks: searching, planning, messaging, scheduling and so on. Usage of such devices is effectively a form of algorithmic outsourcing: getting a smart algorithm to do something on your behalf. Many have expressed concerns about this algorithmic outsourcing. They claim that it is dehumanising, leads to cognitive degeneration, and robs us of our freedom and autonomy. (...) Some people have a more subtle view, arguing that it is problematic in those cases where its use may degrade important interpersonal virtues. In this article, I assess these objections to the use of AI assistants. I will argue that the ethics of their use is complex. There are no quick fixes or knockdown objections to the practice, but there are some legitimate concerns. By carefully analysing and evaluating the objections that have been lodged to date, we can begin to articulate an ethics of personal AI use that navigates those concerns. In the process, we can locate some paradoxes in our thinking about outsourcing and technological dependence, and we can think more clearly about what it means to live a good life in the age of smart machines. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

If a robot sends a deceptive signal to a human user, is this always and everywhere an unethical act, or might it sometimes be ethically desirable? Building upon previous work in robot ethics, this article tries to clarify and refine our understanding of the ethics of robotic deception. It does so by making three arguments. First, it argues that we need to distinguish between three main forms of robotic deception (external state deception; superficial state deception; and hidden state deception) in (...) order to think clearly about its ethics. Second, it argues that the second type of deception – superficial state deception – is not best thought of as a form of deception, even though it is frequently criticised as such. And third, it argues that the third type of deception is best understood as a form of betrayal because doing so captures the unique ethical harm to which it gives rise, and justifies special ethical protections against its use. (shrink)

Under what conditions are two utterances utterances of the same word? What are words? That these questions have not received much attention is rather surprising: after all, philosophers and linguists frequently appeal to considerations about word and sentence identity in connection with a variety of puzzles and problems that are foundational to the very subject matter of philosophy of language and linguistics.1 Kaplan’s attention to words is thus to be applauded. And there is no doubt that his discussion contains many (...) useful insights. Nevertheless, we find his picture deeply flawed for a variety of crosscutting reasons. Our aim in this paper is to further advance an understanding of the nature of words, both by remedying the problems with Kaplan’s account, and also by achieving a suitable perspective on what the metaphysical investigation of word identity can hope to achieve. Our discussion divides into four parts. In Part One, we examine and critique Kaplan’s discussion of a contrast integral to his own account: that between the type-token and the stage-continuant conceptions of words. In Part Two, we present three constraints on any account of words and two further themes in Kaplan’s discussion central to his conception of words – the role of repetition and the constitutive authority of intentions. While these ideas have laudable motivations, we argue they are far from the best way of making good on the insights that drive them. The final two sections take a skeptical turn. In Part Three, we express doubt about Kaplan’s presumption of the importance of what he calls ‘common currency names’, thus raising a suspicion that he may be in pursuit of chimera. Finally, in Part Four, we express pessimism about whether interesting answers to question above will be forthcoming, and suggest that the legitimacy of our word ontology need not depend on the availability of such answers. Along the way, we tease apart a number of metaphysical questions in the vicinity of the topic of word individuation – questions that are often not disentangled – and consider how the discussion of the previous parts bears on them.. (shrink)

There is a concern that the widespread deployment of autonomous machines will open up a number of ‘responsibility gaps’ throughout society. Various articulations of such techno-responsibility gaps have been proposed over the years, along with several potential solutions. Most of these solutions focus on ‘plugging’ or ‘dissolving’ the gaps. This paper offers an alternative perspective. It argues that techno-responsibility gaps are, sometimes, to be welcomed and that one of the advantages of autonomous machines is that they enable us to embrace (...) certain kinds of responsibility gap. The argument is based on the idea that human morality is often tragic. We frequently confront situations in which competing moral considerations pull in different directions and it is impossible to perfectly balance these considerations. This heightens the burden of responsibility associated with our choices. We cope with the tragedy of moral choice in different ways. Sometimes we delude ourselves into thinking the choices we make were not tragic ; sometimes we delegate the tragic choice to others ; sometimes we make the choice ourselves and bear the psychological consequences. Each of these strategies has its benefits and costs. One potential advantage of autonomous machines is that they enable a reduced cost form of delegation. However, we only gain the advantage of this reduced cost if we accept that some techno-responsibility gaps are virtuous. (shrink)

The idea that technologies can change moral beliefs and practices is an old one. But how, exactly, does this happen? This paper builds on an emerging field of inquiry by developing a synoptic taxonomy of the mechanisms of techno-moral change. It argues that technology affects moral beliefs and practices in three main domains: decisional (how we make morally loaded decisions), relational (how we relate to others) and perceptual (how we perceive situations). It argues that across these three domains there are (...) six primary mechanisms of techno-moral change: (i) adding options; (ii) changing decision-making costs; (iii) enabling new relationships; (iv) changing the burdens and expectations within relationships; (v) changing the balance of power in relationships; and (vi) changing perception (information, mental models and metaphors). The paper also discusses the layered, interactive and second-order effects of these mechanisms. (shrink)

This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex robots could (...) symbolically represent a troubling attitude toward women (and maybe children) and the norms of interpersonal sexual relationships, the troubling symbolism is going to be removable in many instances and reformable in others. What will ultimately matter are the consequences of the symbolism but these consequences are likely to be difficult to ascertain. This may warrant an explicitly experimental approach to the development of this technology. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

Does Anne Conway (1631–79) hold that the created world consists of a single underlying substance? Some have argued that she does; others have argued that she is a priority monist and so holds that there are many created substances, but the whole created world is ontologically prior to each particular creature. Against both of these proposals, this article makes the case for a substance pluralist interpretation of Conway: individual creatures are distinct substances, and the whole created world is not ontologically (...) prior to the individual creatures that compose it. The basic argument for such a view draws on Conway's claims about the freedom and moral responsibility of individual creatures. The pluralist reading is straightforwardly compatible with these claims, while the monistic readings are not. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Almost everyone believes that testimony can transmit knowledge from speaker to hearer. What some philosophers mean by this is ordinary and pedestrian-- they mean only that, in at least some cases, a speaker S knows that p, S testifies that p to a hearer H, and H comes to know that p as a result of believing S's testimony. There is disagreement about how this occurs, but that it does occur is sufficient for the transmission of knowledge in the intended (...) sense. On this understanding of transmission, the natural questions are these: (1) What conditions, in addition to speaker knowledge and speaker testimony, are sufficient for the hearer to gain testimonial knowledge?; and (2) Is speaker knowledge always necessary for testimonial knowledge? That is: Is all testimonial knowledge transmitted knowledge? (shrink)

An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. (...) The knowledge account passes with flying colors. (shrink)

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

Loneliness in medicine is a serious problem not just for patients, for whom illness is intrinsically isolating, but also for physicians in the contemporary condition of medicine. We explore this problem by investigating the ideal physician-patient relationship, whose analogy with friendship has held enduring normative appeal. Drawing from Talbot Brewer and Nir Ben-Moshe, we argue that this appeal lies in a dynamic form of companionship incompatible with static models of friendship-like physician-patient relationships: a mutual refinement of embodied virtue that draws (...) both persons together. The ideal physician-patient relationship has a dialectical character that fosters each member's improvement of phenomenologically recognizing and embodying moral virtues. A key component of this dynamic is a commitment to the common goal of the patient's health, realized through joint interactivities and conversations over time. The physician's presence to the patient's suffering—understood best as an alienating phenomenological condition for the patient—orients and discloses possibilities for virtuous caregiving by structuring the meanings of the goals, conversations, and joint narrative constitutive of their relationship. Presence to suffering, paradoxically, is perhaps an important prerequisite for this dynamic partnership. These activities dialectically build an interpretive horizon of understanding through which moral goods and character refinement—in and for the other—may become revealed for both persons in their shared being-in-the-world. This analysis of suffering, mood, and revealing of (possible) moral goods has implications for addressing the modern problem of loneliness for patients and physicians, who are increasingly inhibited from building flourishing relationships with each other. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are viewed (...) as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

This chapter reviews some faults of the theoretical literature and findings from the experimental literature on “Gettier” cases. Some “Gettier” cases are so poorly constructed that they are unsuitable for serious study. Some longstanding assumptions about how people tend to judge “Gettier” cases are false. Some “Gettier” cases are judged similarly to paradigmatic ignorance, whereas others are judged similarly to paradigmatic knowledge, rendering it a theoretically useless category. Experimental procedures can affect how people judge “Gettier” cases. Some important central tendencies (...) in judging “Gettier” cases appear to be robust against demographic variation in biological sex, age, language, and culture, although there could be some interesting differences related to culture and personality traits. Some remaining questions regarding Gettier’s cases, “Gettier” cases, and “the Gettier problem” concern the psychology and sociology of contemporary anglophone theoretical epistemology. Some remaining questions regarding the empirical study of knowledge judgments concern mechanisms underlying observed behavioral patterns. (shrink)

What is techno-optimism and how can it be defended? Although techno-optimist views are widely espoused and critiqued, there have been few attempts to systematically analyse what it means to be a techno-optimist and how one might defend this view. This paper attempts to address this oversight by providing a comprehensive analysis and evaluation of techno-optimism. It is argued that techno-optimism is a pluralistic stance that comes in weak and strong forms. These vary along a number of key dimensions but each (...) shares the view that technology plays a key role in ensuring that the good prevails over the bad. Whatever its strength, to defend this stance, one must flesh out an argument with four key premises. Each of these premises is highly controversial and can be subjected to a number of critiques. The paper discusses five such critiques in detail. The paper also considers possible responses from the techno-optimist. Finally, it is concluded that although strong forms of techno-optimism are not intellectually defensible, a modest, agency-based version of techno-optimism may be defensible. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper addresses a fundamental question in folk metaphysics: how do we ordinarily view human agency? According to the transcendence account, we view human agency as standing outside of the causal order and imbued with exceptional powers. According to a naturalistic account, we view human agency as subject to the same physical laws as other objects and completely open to scientific investigation. According to exceptionalist naturalism, the truth lies somewhere in between: we view human agency as fitting broadly within the (...) causal order while still being exceptional in important respects. In this paper, I report seven experiments designed to decide between these three competing theories. Across a variety of contexts and types of action, participants agreed that human agents can resist outcomes described as inevitable, guaranteed, and causally determined. Participants viewed non-human animal agents similarly, whereas they viewed computers, robots, and simple inanimate objects differently. At the same time, participants judged that human actions are caused by many things, including psychological, neurological, and social events. Overall, in folk metaphysics, human and non-human animals are viewed as exceptional parts of the natural world. (shrink)

Henry Shevlin’s paper—“How could we know when a robot was a moral patient?” – argues that we should recognize robots and artificial intelligence (AI) as psychological moral patients if they are cognitively equivalent to other beings that we already recognize as psychological moral patients (i.e., humans and, at least some, animals). In defending this cognitive equivalence strategy, Shevlin draws inspiration from the “behavioral equivalence” strategy that I have defended in previous work but argues that it is flawed in crucial respects. (...) Unfortunately—and I guess this is hardly surprising—I cannot bring myself to agree that the cognitive equivalence strategy is the superior one. In this article, I try to explain why in three steps. First, I clarify the nature of the question that I take both myself and Shevlin to be answering. Second, I clear up some potential confusions about the behavioral equivalence strategy, addressing some other recent criticisms of it. Third, I will explain why I still favor the behavioral equivalence strategy over the cognitive equivalence one. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

In July 2014, the roboticist Ronald Arkin suggested that child sex robots could be used to treat those with paedophilic predilections in the same way that methadone is used to treat heroin addicts. Taking this onboard, it would seem that there is reason to experiment with the regulation of this technology. But most people seem to disagree with this idea, with legal authorities in both the UK and US taking steps to outlaw such devices. In this paper, I subject these (...) different regulatory attitudes to critical scrutiny. In doing so, I make three main contributions to the debate. First, I present a framework for thinking about the regulatory options that we confront when dealing with child sex robots. Second, I argue that there is a prima facie case for restrictive regulation, but that this is contingent on whether Arkin’s hypothesis has a reasonable prospect of being successfully tested. Third, I argue that Arkin’s hypothesis probably does not have a reasonable prospect of being successfully tested. Consequently, we should proceed with utmost caution when it comes to this technology. (shrink)

According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner’s conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner’s original thought experiment was central to the development of QBist thinking. The (...) focus of this paper concerns two very instructive modifications to Wigner’s puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner’s action on his friend then becomes, from the friend’s perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner’s original paper, neither agent should be considered as in “suspended animation.” In this light, QBism brings an entirely new perspective to understanding Wigner’s friend thought experiments. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...) facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

An encyclopedic article on epistemic supervenience in Blackwell companion to epistemology, 2 ed.

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)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

If someone unintentionally breaks the rules, do they break the rules? In the abstract, the answer is obviously “yes.” But, surprisingly, when considering specific examples of unintentional, blameless rule-breaking, approximately half of people judge that no rule was broken. This effect, known as excuse validation, has previously been observed in American adults. Outstanding questions concern what causes excuse validation, and whether it is peculiar to American moral psychology or cross-culturally robust. The present paper studies the phenomenon cross-culturally, focusing on Korean (...) and American adults, and proposes a new explanation of why people engage in excuse validation, in terms of competing forces in human norm-psychology. The principal findings are that Americans and Koreans engaged in excuse validation at similar levels, and older adults were more likely to engage in excuse validation. (shrink)

The beginning of Plato's Philebus contains a puzzling argument: Socrates says that pleasures are different, and that this somehow supports the contention that not all pleasures are good (contrary to what the hedonist interlocutor, Protarchus, maintains). His argument has a bad reputation in the literature, and more to the point it is confusing. This paper sheds light on Socrates' argument by making use of principles from contemporary metaphysics. I argue that Socrates thinks of pleasure as exhibiting the structure that metaphysicians (...) today associate with determinables and determinates. Specifically, he thinks that what makes each pleasure a pleasure is a unique profile, which simultaneously differentiates it from other pleasures. As a result, the kind, 'pleasure', is really a relational principle of coherence between the different kinds of pleasure. I argue that, based on this metaphysical picture, we can see why Socrates thinks that it is possible that some pleasures are bad, contrary to hedonism. Beyond making sense of the dialectic in the Philebus, my paper advances a growing literature on the interesting metaphysical views developed in this section of Plato's dialogue. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

Part One of the paper argues against evidentialism and individualism in religiousepistemology, and in favor of a “social turn” in the field. The idea here is that humanbelief in general, and religious belief in particular, is largely characterized by epistemicdependence on other persons. An adequate epistemology, it is agued, ought to recognizeand account for social epistemic dependence.Part Two considers a problem that becomes salient when we make such a turn. Inshort, how are we to understand the transmission of knowledge and (...) rational faith in areligious tradition? The problem arises because, by all accounts, even the best traditionstransmit superstitions, self-serving prejudices, and other things that are down right falseon any reasonable view. So how is it that these same traditions can also transmit rationalfaith and even knowledge by means of the very same channels, for example channels ofreligious authority and religious teaching?Part Three offers a tentative solution to this problem. (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)