This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

Do aesthetic reasons have normative authority over us? Could there be anything like an aesthetic ‘ought’ or an aesthetic obligation? I argue that there are no aesthetic obligations. We have reasons to act certain ways regarding various aesthetic objects – most notably, reasons to attend to and appreciate those objects. But, I argue, these reasons never amount to duties. This is because aesthetic reasons are merely evaluative, not deontic. They can only entice us or invite us – they can never (...) compel us. Beauty gives us goods without shoulds. (shrink)

Many policies and ethical guidelines recommend developing “trustworthy AI”. We argue that developing morally trustworthy AI is not only unethical, as it promotes trust in an entity that cannot be trustworthy, but it is also unnecessary for optimal calibration. Instead, we show that reliability, exclusive of moral trust, entails the appropriate normative constraints that enable optimal calibration and mitigate the vulnerability that arises in high-stakes hybrid decision-making environments, without also demanding, as moral trust would, the anthropomorphization of AI and thus (...) epistemically dubious behavior. The normative demands of reliability for inter-agential action are argued to be met by an analogue to procedural metacognitive competence (i.e., the ability to evaluate the quality of one’s own informational states to regulate subsequent action). Drawing on recent empirical findings that suggest providing reliability scores (e.g., F1-scores) to human decision-makers improves calibration in the AI system, we argue that reliability scores provide a good index of competence and enable humans to determine how much they wish to rely on the system. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these (...) are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

Perceptual Confidence is the view that our conscious perceptual experiences assign confidence. In previous papers, I motivated it using first-personal evidence (Morrison, 2016), and Jessie Munton motivated it using normative evidence (Munton, 2016). In this paper, I will consider the extent to which it is motivated by third-personal evidence. I will argue that the current evidence is supportive but not decisive. I will then describe experiments that might provide stronger evidence. I hope to thereby provide a roadmap for future research.

Country music has not gotten much attention in philosophy. I introduce two philosophical issues that country music raises. First, country music is simple. Some people might think that its simplicity makes country music worse; I argue that simplicity is aesthetically valuable. The second issue is country music’s ideal of authenticity; fans and performers think that country should be real or genuine in a particular way. But country music scholars have debunked the idea that country authenticity gets at anything real; widespread (...) ideas about country authenticity are rooted in a racist and fabricated picture of country music. In discussing these two issues, I highlight the importance of community in country music. (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)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 55-81 [Access article in PDF] Self-Knowledge in Descartes and Malebranche Lawrence Nolan John Whipple 1. Introduction Descartes's notorious claim that mind is better known than body has been the target of repeated criticisms, but none appears more challenging than that of his intellectual heir Nicolas Malebranche.1 Whereas other critics—especially twentieth-century philosophers eager to use Descartes as their whipping boy—have often (...) been uncharitable, Malebranche accepts many of the fundamental Cartesian doctrines, including mind-body dualism. But he argues that Descartes's position on knowledge of the mind is internally inconsistent. Malebranche agrees with Descartes that the existence of the mind is better known than that of body, but he vehemently denies that the nature of the mind is better known. This denial is based on his view that we lack a clear idea of the mind.2 [End Page 55]Malebranche's polemic has attracted much attention in recent scholarship.3 The growing consensus among commentators is that Malebranche develops a devastating internal critique of Descartes's theory of the mind. For example, Nicholas Jolley writes: "In his case for his negative thesis [concerning knowledge of the mind] Malebranche mounted a powerful, even annihilating, critique of Descartes. This critique embodies the remarkable insight that there is a serious muddle at the heart of Descartes's whole theory of knowledge."4 In a book-length defense of Malebranche's critique, Tad Schmaltz also emphasizes its internal character: "the interpretation here of Malebranche's theory presents it as fundamentally Cartesian, and thereby serves to reinforce his own view that he has provided an authoritative interpretation of the account of mind in the writings of Descartes and other Cartesians."5 Schmaltz also asserts: "Malebranche took his negative thesis concerning our knowledge of the soul to involve not so much a rejection of Cartesianism as an internal correction of it."6We think such remarks misstate the case. Indeed, we argue in this paper that Malebranche's polemic fails as an internal critique of Descartes's theory of the mind. Although we do not here aspire to defend Descartes's strong thesis—that mind is better known than body—we do think he can consistently maintain that we have a clear and distinct idea of the mind, and thus that our knowledge of the mind's nature is at least on a par with our knowledge of corporeal nature.7 While Malebranche's rhetoric would encourage us to think that the debate between him and his predecessor is being fought on common or neutral ground, the fact is that Malebranche often appeals to assumptions and aspects of his own theory of "Vision in God" that Descartes would reject. Once more, he interprets Descartes's theory of knowledge in ways that are misguided and sometimes even uncharitable. If Malebranche's critique succeeds at all, it succeeds only against a straw man—Malebranche's Descartes and not the historical figure.Ours is not the first effort to defend Descartes against this particular attack. When Malebranche first published his critique in Book Three of his first great work, The Search After Truth (1674),8 Descartes had been dead for over two decades, [End Page 56] but he was ably defended by the famous Cartesian Antoine Arnauld in On True and False Ideas (1683). In the ensuing debate Arnauld was clearly the superior dialectician, but while winning several tactical points, he appears not to fully appreciate the crux of Malebranche's argument, or at least that is the view of Jolley and Schmaltz.9 We have a somewhat higher opinion of Arnauld's side of the debate. Granted, some of his defenses are facile and can be easily dismissed; others however are quite compelling when properly developed. In at least one instance, we attempt to provide that development. At the same time we think it is a mistake to treat Arnauld as Descartes's surrogate or as if he had issued the final salvo from the camp of the orthodox Cartesians. Arnauld was a... (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Time in electromagnetism shares many features with time in other physical theories. But there is one aspect of electromagnetism's relationship with time that has always been controversial, yet has not always attracted the limelight it deserves: the electromagnetic arrow of time. Beginning with a re-analysis of a famous argument between Ritz and Einstein over the origins of the radiation arrow, this chapter frames the debate between modern Einsteinians and neo-Ritzians. It tries to find a clean statement of what the arrow (...) is and then explains how it relates to the cosmological and thermodynamic arrows, representing the most developed and sophisticated attack yet, in either the physics or philosophy literature, on the electromagnetic arrow of time. (shrink)

A philosopher once wrote the following words:If I examine the PTOLOMAIC and COPERNICAN systems, I endeavour only, by my enquiries, to know the real situation of the planets; that is, in other words, I endeavour to give them, in my conception, the same relations, that they bear towards each other in the heavens. To this operation of the mind, therefore, there seems to be always a real, though often an unknown standard, in the nature of things; nor is truth or (...) falsehood variable by the various apprehensions of mankind. Though all human race should for ever conclude, that the sun moves, and the earth remains at rest, the sun stirs not an inch from his place for all these reasonings; and such conclusions are eternally false and erroneous. (shrink)

Two fundamentally different perspectives on knowledge diffusion dominate debates about academic disciplines. On the one hand, critics of disciplinary research and education have argued that disciplines are isolated silos, within which specialists pursue inward-looking and increasingly narrow research agendas. On the other hand, critics of the silo argument have demonstrated that researchers constantly import and export ideas across disciplinary boundaries. These perspectives have different implications for how knowledge diffuses, how intellectuals gain and lose status within their disciplines, and how intellectual (...) reputations evolve within and across disciplines. We argue that highly general claims about the nature of disciplinary boundaries are counterproductive, and that research on the nature of specific disciplinary boundaries is more useful. To that end, this paper uses a novel publication and citation network dataset and statistical models of citation networks to test hypotheses about the boundaries between philosophy of science and 11 disciplinary clusters. Specifically, we test hypotheses about whether engaging with and being cited by scientific communities outside philosophy of science has an impact on one’s position within philosophy of science. Our results suggest that philosophers of science produce interdisciplinary scholarship, but they tend not to cite work by other philosophers when it is published in journals outside of their discipline. Furthermore, net of other factors, receiving citations from other disciplines has no meaningful impact—positive or negative—on citations within philosophy of science. We conclude by considering this evidence for simultaneous interdisciplinarity and insularity in terms of scientific trading theory and other work on disciplinary boundaries and communication. (shrink)

The idea that education should equip people to lead flourishing lives and help others to do so is now becoming salient in policy-making circles. Philosophy of education can help here by clarifying what flourishing consists in. This essay examines one aspect of this. It rejects the view that well-being goods are derivable from human nature, as in the theories of Howard Gardner and Edmond Holmes. It locates them, rather, as cultural products, but not culturally-relative ones, drawing attention to the proliferating (...) forms they have taken over the past three or four centuries. It looks to aesthetics and art criticism as a guide to a philosophical treatment of well-being goods more generally. It also takes off from aesthetics and art criticism in seeking to identify reliable authorities on the flourishing life. On this, it rejects elitist conceptions in favour of a more democratic model, emphasising its importance in education for citizenship. (shrink)

The relation between body and mind is one of the oldest riddles that has puzzled mankind. That material and mental events may interact is accepted even by the law: our mental capacity to concentrate on the task can be seriously reduced by drugs. Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical events, upon the mind of the recipient of the (...) letter. This is what the authors of this book call the 'interaction of mental and physical events'. We know very little about this interaction; and according to recent philosophical fashions this is explained by the alleged fact that we have brains but no thoughts. The authors of this book stress that they cannot solve the body mind problem; but they hope that they have been able to shed new light on it. Eccles especially with his theory that the brain is a detector and amplifier; a theory that has given rise to important new developments, including new and exciting experiments; and Popper with his highly controversial theory of 'World 3'. They show that certain fashionable solutions which have been offered fail to understand the seriousness of the problems of the emergence of life, or consciousness and of the creativity of our minds. In Part I, Popper discusses the philosophical issue between dualist or even pluralist interaction on the one side, and materialism and parallelism on the other. There is also a historical review of these issues. In Part II, Eccles examines the mind from the neurological standpoint: the structure of the brain and its functional performance under normal as well as abnormal circumstances. The result is a radical and intriguing hypothesis on the interaction between mental events and detailed neurological occurrences in the cerebral cortex. Part III, based on twelve recorded conversations, reflects the exciting exchange between the authors as they attempt to come to terms with their opinions. (shrink)

All of us, including scientists, make judgments about what is true or false, probable or improbable. And in the process, we frequently appeal to concepts such as evidential support or explanation. Bayesian philosophers of science have given illuminating formal accounts of these concepts. This paper aims to follow in their footsteps, providing a novel formal account of various additional concepts: the likelihood-prior trade-off, successful accommodation of evidence, ad hocness, and, finally, consilience—sometimes also called “unification”. Using these accounts, I also provide (...) a new Bayesian analysis of how someone such as Charles Darwin hypothetically could have reasoned in favor of evolution over special creationism. Lastly, I explore how these accounts relate to other topics and accounts in philosophy, and I chart out some areas for further research. (shrink)

Stephen Law developed a challenge to theism, known as the evil-god challenge (Law (2010) ). The evil-god challenge to theism is to explain why the theist’s responses to the problem of evil are any better than the diabolist’s – who believes in a supremely evil god – rejoinders to the problem of good, when all the theist’s ploys (theodicy, sceptical theism, etc.) can be parodied by the diabolist. In the first part of this article, I extend the evil-god challenge by (...) showing that additional theist replies to the problem of evil (more theodicies, the privation view of evil, and others) also may be appropriated, with just as much plausibility, in support of the diabolist position. In the second part of the article, I defend the evil-god challenge against several objections. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Genes are thought to have evolved from long-lived and multiply-interactive molecules in the early stages of the origins of life. However, at that stage there were no replicators, and the distinction between interactors and replicators did not yet apply. Nevertheless, the process of evolution that proceeded from initial autocatalytic hypercycles to full organisms was a Darwinian process of selection of favourable variants. We distinguish therefore between Neo-Darwinian evolution and the related Weismannian and Central Dogma divisions, on the one hand, and (...) the more generic category of Darwinian evolution on the other. We argue that Hull’s and Dawkins’ replicator/interactor distinction of entities is a sufficient, but not necessary, condition for Darwinian evolution to take place. We conceive the origin of genes as a separation between different types of molecules in a thermodynamic state space, and employ a notion of reproducers. (shrink)

Abstract Charles Darwin, in his discussions with Asa Gray and in his published works, doubted whether God could so arrange it that exactly the desired contingent events would occur to cause particular outcomes by natural selection. In this paper, I argue that even a limited or neo-Leibnizian deity could have chosen a world that satisfied some arbitrary set of goals or functions in its outcomes and thus answer Darwin's conundrum. In more general terms, this supports the consistency of natural selection (...) with providentialism, and makes “theistic evolutionism” a coherent position to hold. (shrink)

Spinoza’s claims about true ideas are central to the Treatise on the Emendation of the Intellect. It is therefore worth trying to reconstruct what he means when he says that an idea is true. I argue that the three leading interpretations – correspondence, coherence, and causal – don’t explain key passages. I then propose a new interpretation. Roughly, I propose that an idea is true if and only if it represents an essence and was derived in the right kind of (...) way by the intellect from an innate idea of one’s own essence. In the final section I sketch why I believe this interpretation extends to his claims about truth and adequacy in the Ethics. (shrink)

The representational theory of phenomenal experience is often stated in terms of a supervenience thesis: Byrne recently characterises it as the thesis that “there can be no difference in phenomenal character without a difference in content”, while according to Tye, “[a]t a minimum, the thesis is one of supervenience: necessarily, experiences that are alike in their representational contents are alike in their phenomenal character.” Consequently, much of the debate over whether representationalism is true centres on purported counter-examples – that is (...) to say, purported failures of supervenience. The refutation of putative counter-examples has been, it seems to me, by and large successful. But there is a certain class of these for which the representationalist response has been something less than completely convincing. These are the cross-modality cases. I will explain what I mean, and then argue that the response in question is not only unconvincing but actually undermines the representationalist position. (shrink)

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

Chalmers and Hájek argue that on an epistemic reading of Ramsey’s test for the rational acceptability of conditionals, it is faulty. They claim that applying the test to each of a certain pair of conditionals requires one to think that one is omniscient or infallible, unless one forms irrational Moore-paradoxical beliefs. I show that this claim is false. The epistemic Ramsey test is indeed faulty. Applying it requires that one think of anyone as all-believing and if one is rational, to (...) think of anyone as infallible-if-rational. But this is not because of Moore-paradoxical beliefs. Rather it is because applying the test requires a certain supposition about conscious belief. It is important to understand the nature of this supposition. (shrink)

This article considers two related and fundamental issues about morality in a virtual world. The first is whether the anonymity that is a feature of virtual worlds can shed light upon whether people are moral when they can act with impunity. The second issue is whether there are any moral obligations in a virtual world and if so what they might be. -/- Our reasons for being good are fundamental to understanding what it is that makes us moral or indeed (...) whether any of us truly are moral. Plato grapples with this problem in book two of The Republic where Socrates is challenged by his brothers Adeimantus and Glaucon. They argue that people are moral only because of the costs to them of being immoral; the external constraints of morality. -/- Glaucon asks us to imagine a magical ring that enables its wearers to become invisible and capable of acting anonymously. The ring is in some respects analogous to the possibilities created by online virtual worlds such as Second Life, so the dialogue is our entry point into considering morality within these worlds. These worlds are three dimensional user created environments where people control avatars and live virtual lives. As well as being an important social phenomenon, virtual worlds and what people chose to do in them can shed light on what people will do when they can act without fear of normal sanction. -/- This paper begins by explaining the traditional challenge to morality posed by Plato, relating this to conduct in virtual worlds. Then the paper will consider the following skeptical objection. A precondition of all moral requirements is the ability to act. There are no moral requirements in virtual worlds because they are virtual and it is impossible to act in a virtual world. Because avatars do not have real bodies and the persons controlling avatars are not truly embodied, it is impossible for people to truly act in a virtual world. We will show that it is possible to perform some actions and suggest a number of moral requirements that might plausibly be thought to result. Because avatars cannot feel physical pain or pleasure these moral requirements are interestingly different from those of real life. Hume’s arguments for why we should be moral apply to virtual worlds and we conclude by considering how this explains why morality exists in these environments. (shrink)

I offer a novel account of the absurdity of Moore-paradoxical assertion in terms of an interlocutor’s fully conscious beliefs. This account starts with an original argument for the principle that fully conscious belief collects over conjunction. The argument is premised on the synchronic unity of consciousness and the transparency of belief.

Elijah Chudnoff’s case for irreducible cognitive phenomenology hinges on seeming to see the truth of a mathematical proposition (Chudnoff 2015). In the following, I develop an augmented version of Chudnoff’s case, not based on seeming to see, or intuition, but based on being in a state with presentational phenomenology of high-level content. In contrast to other cases for cognitive phenomenology, those based on Strawson’s case (Strawson 2011), I argue that the case presented here is able to withstand counterarguments, which attempt (...) to reduce cognitive phenomenology to sensory phenomenology. To support my argument, I present findings from Bowden and Jung-Beeman’s experiments with the Aha! Experience (Bowden & Jung-Beeman 2004), and argue that the Aha! Experience is a species of the experience of understanding presented here. I interpret the results of these experiments to provide further evidence for irreducible cognitive phenomenology. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

One routinely undergoes a noetic feeling (also called “metacognitive feeling” or “epistemic feeling”), the so-called “feeling of knowing”, whenever trying to recall a person’s name. One feels the name is known despite being unable to recall it. Other experiences also fall under this category, e.g., the tip-of-the-tongue experience, the feeling of confidence. A distinguishing characteristic of noetic feelings is how they are crucially related to the facts we know, so much so that the activation of semantic memory can easily result (...) in the production of noetic feelings – a regularity that memory research has often exploited. And yet little is known about the mechanism that produces noetic feelings. Is it solely brain-based or does it depend upon the extracerebral body for its production of feelings? To arrive at an answer, various studies in metamemory research will be analyzed to determine what ought to be made of the mechanism responsible for noetic feelings. I argue that evidence suggests that it relies upon extracerebral processes, in particular cardiovascular processes, the result being support for an embodied view of metacognition. (shrink)

The Euthyphro dilemma is widely deployed as an argument against theistic accounts of ethics. The argument proceeds by trying to derive strongly counterintuitive implications from the view that God is the source of morality. I argue here that a general crudeness with which both the dilemma and its theistic targets are described accounts for the seeming force of the argument. Proper attention to details, among them the distinction between the good and the right, reveals that a nuanced theism is quite (...) unscathed by it. (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...) of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in decision situations, and so they are (...) incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

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

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

I defend a solution to a long-standing problem with perceptual appearances, brought about by the phenomenon of perceptual constancy. The problem is that in conditions which are non-ideal, yet within the range that perceptual constancy works, we see things veridically despite an “appearance” which is traditionally taken to be non-veridical. For example, a tilted coin is often taken to have an “elliptical appearance”, shadowed surfaces a “darker appearance”. These appearances are puzzling for a number of reasons. I defend and elaborate (...) on an approach taken by Sean Kelly, and earlier by the art historian E.H. Gombrich, according to which we can be tricked by our ability to bring about a kind of Gesltalt shift between different possible perceptual interpretations of a scene. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

I objected that the defeasibility theory of knowledge prohibits you from knowing that you know that p if your knowledge that p is a posteriori. Rodrigo Borges claims that Peter Klein has already satisfactorily answered a version of my objection. He attempts to defend Klein’s reply and argues that my objection fails because a principle on which it is based is false.I will show that my objection is not a version of the old one that Klein attempts (unsuccessfully) to address, (...) that Borges’ defence of Klein’s reply fails and that his argument against my new objection leaves it untouched. (shrink)