Essentialism is widely regarded as a mistaken view of biological kinds, such as species. After recounting why (sections 2-3), we provide a brief survey of the chief responses to the “death of essentialism” in the philosophy of biology (section 4). We then develop one of these responses, the claim that biological kinds are homeostatic property clusters (sections 5-6) illustrating this view with several novel examples (section 7). Although this view was first expressed 20 years ago, and has received recent discussion (...) and critique, it remains underdeveloped and is often misrepresented by its critics (section 8). (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by (...) forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define four (...) criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Jim Joyce argues for two amendments to probabilism. The first is the doctrine that credences are rational, or not, in virtue of their accuracy or “closeness to the truth” (1998). The second is a shift from a numerically precise model of belief to an imprecise model represented by a set of probability functions (2010). We argue that both amendments cannot be satisfied simultaneously. To do so, we employ a (slightly-generalized) impossibility theorem of Seidenfeld, Schervish, and Kadane (2012), who show that (...) there is no strictly proper scoring rule for imprecise probabilities. -/- The question then is what should give way. Joyce, who is well aware of this no-go result, thinks that a quantifiability constraint on epistemic accuracy should be relaxed to accommodate imprecision. We argue instead that another Joycean assumption — called strict immodesty— should be rejected, and we prove a representation theorem that characterizes all “mildly” immodest measures of inaccuracy. (shrink)

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

Christian B. Miller has noted a “realism challenge” for virtue ethicists to provide an account of how the character gap between virtuous agents and non-virtuous agents can be bridged. This is precisely one of Han Feizi’s key criticisms against Confucian virtue ethics, as Eric L. Hutton argues, which also cuts across the Aristotelian one: appealing to virtuous agents as ethical models provides the wrong kind of guidance for the development of virtues. Hutton, however, without going into detail, notes that the (...) notion of rituals in the Confucian tradition may be able to sidestep Han Feizi’s criticism. In this essay, I wish to explore not only how the notion of rituals, alongside its corollaries in Xunzi’s Confucian program for ethical cultivation, indeed addresses Han Feizi’s criticism, but also observe that Aristotle’s tragic poetry plays functionally equivalent roles in his own understanding of ethical upbringing. I will begin by considering Han Feizi’s critique of ethical cultivation in virtue ethics as such and how it poses a specific problem for the acquisition of the ‘constitutive reasoning’ shared by Aristotle and Xunzi. I will then briefly note that this problem trades on the synthetic structure of human nature found in both Aristotle and Xunzi (the rational/irrational parts of the soul and the heartmind/five faculties), which grounds the way they understand ethical action and agency. Finally, I will suggest how both Aristotle and Xunzi understand the role of the arts in their extensive programme of ethical cultivation, allowing them to respond to Han Feizi’s attack as too narrow a construal of their respective ethical projects. It is hoped that, through this, we may gain a better sense of how more recent virtue ethicists may similarly draw on aesthetic resources for ethical development. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

We evaluate the asymptotic performance of boundedly-rational strategies in multi-armed bandit problems, where performance is measured in terms of the tendency (in the limit) to play optimal actions in either (i) isolation or (ii) networks of other learners. We show that, for many strategies commonly employed in economics, psychology, and machine learning, performance in isolation and performance in networks are essentially unrelated. Our results suggest that the appropriateness of various, common boundedly-rational strategies depends crucially upon the social context (if any) (...) in which such strategies are to be employed. (shrink)

Epistemic decision theory (EDT) employs the mathematical tools of rational choice theory to justify epistemic norms, including probabilism, conditionalization, and the Principal Principle, among others. Practitioners of EDT endorse two theses: (1) epistemic value is distinct from subjective preference, and (2) belief and epistemic value can be numerically quantified. We argue the first thesis, which we call epistemic puritanism, undermines the second.

A dynamical system is called chaotic if small changes to its initial conditions can create large changes in its behavior. By analogy, we call a dynamical system structurally chaotic if small changes to the equations describing the evolution of the system produce large changes in its behavior. Although there are many definitions of “chaos,” there are few mathematically precise candidate definitions of “structural chaos.” I propose a definition, and I explain two new theorems that show that a set of models (...) is structurally chaotic if it contains a chaotic function. I conclude by discussing the relationship between structural chaos and structural stability. (shrink)

This is the first complete English translation and publication of Donoso’s carta de 24 de octubre, 1851, a letter encapsulating many of his views on revolution and decision. This remarkable letter, sent as a diplomatic missive while he was serving the Spanish crown in Paris, describes how Napoleon III––stuck between the 1848 constitution’s prohibition against his election and his impending coup that will crown him emperor––must gain the support of the liberal bourgeoise middle class if he is to maintain his (...) rule over France. The letter is also of great importance to Donoso and Schmitt scholars because it contains the first and only time Donoso uses the complete term “las clases discutidoras,” which, through Schmitt’s injudicious and repeated misspellings as “una clasa discutidora” has become famous for its characterization of the liberal bourgeoisie as the “discussing” or “disputing” class that is incapable of action at the precise historical moment when a decision is most direly needed to save the constitution from inner or outer existential threats. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Introduction in chapter viii of book ii of An Essay Concerning Human Understanding, John Locke provides various putative lists of primary qualities. Insofar as they have considered the variation across Locke's lists at all, commentators have usually been content simply either to consider a self-consciously abbreviated list (e.g., "Size, Shape, etc.") or a composite list as the list of Lockean primary qualities, truncating such a composite list only by omitting supposedly co-referential terms. Doing the latter with minimal judgment about what (...) terms are co-referential gives us the following list of eleven qualities (in the order in which they appear in this chapter of the Essay): solidity, extension, figure, mobility, motion or rest, number, bulk, texture, motion, size, and situation. Perhaps surprisingly given the attention to the primary/secondary distinction since Locke, Locke's primary qualities themselves have received little more than passing mention in the bulk of the subsequent literature. In particular, no discussion both offers an interpretation of Locke's conception of primary qualities and makes sense of Locke's various lists as lists of primary qualities. A central motivation for this paper is the idea that these two tasks are not independent. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

The phenomenology of a priori intuition is explored at length (where a priori intuition is taken to be not a form of belief but rather a form of seeming, specifically intellectual as opposed to sensory seeming). Various reductive accounts of intuition are criticized, and Humean empiricism (which, unlike radical empiricism, does admit analyticity intuitions as evidence) is shown to be epistemically self-defeating. This paper also recapitulates the defense of the thesis of the Autonomy and Authority of Philosophy given in the (...) author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1996). (shrink)

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the (...) case for there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

It is common to assume that the problem of induction arises only because of small sample sizes or unreliable data. In this paper, I argue that the piecemeal collection of data can also lead to underdetermination of theories by evidence, even if arbitrarily large amounts of completely reliable experimental and observational data are collected. Specifically, I focus on the construction of causal theories from the results of many studies (perhaps hundreds), including randomized controlled trials and observational studies, where the studies (...) focus on overlapping, but not identical, sets of variables. Two theorems reveal that, for any collection of variables V, there exist fundamentally different causal theories over V that cannot be distinguished unless all variables are simultaneously measured. Underdetermination can result from piecemeal measurement, regardless of the quantity and quality of the data. Moreover, I generalize these results to show that, a priori, it is impossible to choose a series of small (in terms of number of variables) observational studies that will be most informative with respect to the causal theory describing the variables under investigation. This final result suggests that scientific institutions may need to play a larger role in coordinating differing research programs during inquiry. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

Modal intuitions are not only the primary source of modal knowledge but also the primary source of modal error. An explanation of how modal error arises — and, in particular, how erroneous modal intuitions arise — is an essential part of a comprehensive theory of knowledge and evidence. This chapter begins with a summary of certain preliminaries: the phenomenology of intuitions, their fallibility, the nature of concept-understanding and its relationship to the reliability of intuitions, and so forth. It then identifies (...) two sources of modal error: the first has to do with the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility; the second, with the local misunderstanding of one's concepts. The first source of error is widely misunderstood; the second source has not been discussed in philosophical literature. This source of modal error, and the potential to overcome it, has wide-ranging implications for philosophical method. The failure to understand these sources of modal error has recently led to sceptical accounts of intuition and modal error, which are, ultimately self-defeating. (shrink)

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of (...) the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge. (shrink)

Abstract:According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as aprioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell’s explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent work (...) by Andrew Irvine and Martin Godwyn, I argue that Russell thought a systematic reduction of mathematics increases the certainty of known mathematical theorems (even basic arithmetical facts) by showing mathematical knowledge to be coherently organized. The paper outlines Russell’s theory of coherence, and discusses its relevance to logicism and the certainty attributed to mathematics. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

The idea that there are five senses dates back to Aristotle, who was one of the first philosophers to examine them systematically. Though it has become conventional wisdom, many scientists and philosophers would argue that this idea is outdated and inaccurate. Indeed, they have given many different answers to this question, ranging from just three (the number of different kinds of physical energy we can detect) to 33 or more senses. Perhaps surprisingly, the issue remains controversial, partly because it is (...) not clear exactly what should count as a ‘sense’. Should proprioception, balance and kinaesthesis, amongst others, be considered additional senses? And if so, how do we figure out how many senses we really have? -/- (Published in Turkish under the title ‘Çok Duyumlu Algi’). (shrink)

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

A far-reaching and influential view in evolutionary biology claims that species are cohesive units held together by gene flow. Biologists have recognized empirical problems facing this view; after sharpening the expression of the view, we present novel conceptual problems for it. At the heart of these problems is a distinction between two importantly different concepts of cohesion, what we call integrative and response cohesion. Acknowledging the distinction problematizes both the explanandum of species cohesion and the explanans of gene flow that (...) are central to the view we discuss. We conclude by tracing four broader implications for the study and conceptualization of species. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological. (shrink)

In the good old days, when general philosophy of science ruled the Earth, a simple division was often invoked to talk about philosophical issues specific to particular kinds of science: that between the natural sciences and the social sciences. Over the last 20 years, philosophical studies shaped around this dichotomy have given way to those organized by more fine-grained categories, corresponding to specific disciplines, as the literatures on the philosophy of physics, biology, economics and psychology--to take the most prominent four (...) examples--have blossomed. In general terms, work in each of these areas has become increasingly enmeshed with that in the corresponding science itself, increasingly naturalistic (in at least one sense of that term), and in my view, increasingly interesting. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Our interpretive resources enable us to make sense of, navigate, and communicate about our shared world. These resources not only carve the world up into categories, but also guide how we, individually and collectively, are oriented towards it. In this thesis, I examine how these resources, and the dispositions they guide, may be harmful. A vital kind of interpretive resources are frames, which equip us with unified perspectives on the world. Perspectives are suites of open-ended interpretive (inquisitive, attentional, inferential, evaluative, (...) and affective) dispositions. Frames thereby guide how we interpret, respond to, and navigate the world. I show that these perspectives are epistemically powerful and indispensable. I argue that flawed perspectives, and the distorting frames that produce them, are deeply pernicious and I examine their relationship to oppression. (shrink)

Philosophy in community projects provide powerful, immersive introductions to philosophical thinking for both children and tertiary students. Such introductions can jumpstart transformative learning as well as diversify who seeks out philosophy in the longer term, both in schools and in universities. Using survey responses from teachers, parents, participants, staff, and volunteers of two such programs – Eurekamp Oz! and philosothons – we show how participants find value in engaging in communities of inquiry and philosophical thinking more broadly. We argue correspondingly (...) that such philosophy in community projects are an asset to universities, both as highly successful university outreach programs and in offering high school, undergraduate, and postgraduate students mentoring and employment opportunities utilising their growing philosophical skills. For these reasons, philosophy in community programs provide alternative and supplementary pathways into sustained philosophical thinking to those available within traditional philosophy in the classroom approaches. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

This paper demonstrates that there is an inconsistency in functionalism in psychology and philosophy of mind. Analogous inconsistencies can be expected in functionalisms in biology and social theory. (edited).

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility (...) and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

Philosophical exploration of individualism and externalism in the cognitive sciences most recently has been focused on general evaluations of these two views (Adams & Aizawa 2008, Rupert 2008, Wilson 2004, Clark 2008). Here we return to broaden an earlier phase of the debate between individualists and externalists about cognition, one that considered in detail particular theories, such as those in developmental psychology (Patterson 1991) and the computational theory of vision (Burge 1986, Segal 1989). Music cognition is an area in (...) the cognitive sciences that has received little attention from philosophers, though it has relatively recently been thrown into the externalist spotlight (Cochrane 2008, Kruger 2014, Kersten forthcoming). Given that individualism can be thought of as a kind of paradigm for research on cognition, we provide a brief overview of the field of music cognition and individualistic tendencies within the field (sections 2 and 3) before turning to consider externalist alternatives to individualistic paradigms (section 4-5) and then arguing for a qualified form of externalism about music cognition (section 6). (shrink)

This article examines when deceptive withholding of information is ethically acceptable in research. The first half analyses the concept of deception. We argue that there are two types of accounts of deception: normative and non-normative, and argue that non-normative accounts are preferable. The second half of the article argues that the relevant ethical question which ethics committees should focus on is not whether the person from whom the information is withheld will be deceived, but rather on the reasonableness of withholding (...) the information from the person who is deceived. We further argue that the reasonableness of withholding information is dependent on the context. The last section examines how the context of research should shape our judgements about the circumstances in which withholding information from research participants is ethically acceptable. We argue that some important features of research make it more difficult to justify withholding information in the context of research than elsewhere. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it incorporates (...) the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals. (shrink)

This paper answers critical responses to the author’s “A Theory of Concepts and Concept Possession.” The paper begins with a discussion of candidate counterexamples to the proposed analysis of concept possession -- including, e.g., a discussion of its relationship to Frank Jackson’s Mary example. Second, questions concerning the author’s general methodological approach are considered. For instance, it is shown that -- contrary to the critics’ suggestions -- an analysis of concept possession cannot invoke belief alone, but must also invoke intuition. (...) Finally, a defense is given for the realist framework within which the theory of concepts, and of their possession conditions, is formulated. (shrink)

Abstract of a paper to be presented in an APA symposium on Epistemology and Philosophy of Mind, December 28, 1987, commenting on papers by Alvin I. Goldman and Patricia Smith Churchland.

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

The most familiar philosophical conception of objective chance renders determinism incompatible with non-trivial chances. This conception – associated in particular with the work of David Lewis – is not a good fit with our use of the word ‘chance’ and its cognates in ordinary discourse. In this paper we show how a generalized framework for chance can reconcile determinism with non-trivial chances, and provide for a more charitable interpretation of ordinary chance-talk. According to our proposal, variation in an admissible ‘evidence (...) base’ generates a spectrum of different chance functions. Successive coarse-grainings of the evidence base generates a partial ordering of chance functions, with finer trumping coarser if known. We suggest that chance-attributions in ordinary discourse express different chance functions in different contexts, and we sketch a potential contextual mechanism for making particular chance functions salient. The mechanism involves the idea that admissible evidence is available evidence: propositions that could be known. A consequence is that attributions of objective chances inherit the relatively familiar context-sensitivity associated with the modal ‘could’. We show how this context-dependency undermines certain arguments for the incompatibility of chance with determinism. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)