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

This article reviews John Wood’s Truth in Fiction: Rethinking its Logic.

A review of John Woods, Truth in Fiction: Rethinking its Logic. Cham: Springer, 2018.

A review of "Intellectual virtues: an essay in regulative epistemology" by Robert Roberts and Jay Wood.

This study examines problems related to the representation of music. It constructs the sender/message/perceiver/result model, a prototype broad enough to incorporate a large variety of music and other notation systems, including those having to do with computers. The work defines music notation itself, describes various models for studying the subject--including the binary types prescriptive/descriptive, and symbolic/iconic--and assesses music notation as a contemporary practice. It encompasses a review of the actions and intentions of composers, performers, and audiences, and a consideration of (...) the message and how it is affected by media , reference systems , and meanings. Finally, through an examination of the possibilities of the self acting as a notation system within models posited by feminist and queer theory, I attempt to demonstrate the power of notation to affect other systems and worlds, including the worlds of music, art, and politics. ;The consideration of these topics draws on theories from linguistics, semiotics, structuralism, post-structuralism, cybernetics, and music, as well as the philosophies of John Cage, Jean-Jacques Nattiez, Nelson Goodman, and others. The work examines various languages and applications used to program computers for musical purposes, though this examination does not incorporate programs dedicated exclusively to printing music. Nor does the study focus on non-Western notations, suggestions for reforms of notation, or encyclopedic lists of notation devices. ;The expository writing is augmented by excerpts from material I gathered in numerous interviews. There are separate sections containing interviews of Leonard Meyer, Allan Kaprow, John Cage, Earle Brown, Roger Reynolds, and Heidi von Gunden. There is also a large, partially-annotated bibliography. ;My hope is that an inclusive, interdisciplinary exploration of music notation will be useful in broadening the theoretical and creative boundaries of the field, as well as bridging gaps among musicians using various music technologies, and artists and theorists from diverse fields and perspectives. (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

Curious about the nature of light, Robert Boyle spent a series of late nights taking detailed observations of shining veal shanks, stinking fish, pieces of rotten wood which glowed in the dark, and a ‘noctiluca’ distilled from human urine. Once, report Lorraine Daston and Katharine Park, with "only a foot-boy" to assist him, Boyle put a luminous diamond to the nocturnal test, "plunging it into oil and acid, spitting on it, and ‘taking it into bed with me, and holding it (...) a good while upon a warm part of my naked body’". (shrink)

This chapter presents a historical study of how science has developed and of how philosophical theories of many sorts – philosophy of science, theory of the understanding, and philosophical theology – both enable and constrain certain lines of development in scientific practice. Its topic is change in the legitimacy or acceptability of scientific explanation that invokes purposes, or ends; specifically in the argument from design, in the natural science field of physico-theology, around the start of the eighteenth century. ... The (...) context that produced physico-theology was clearly religious and political. It is unsurprising that a large body of Protestant intellectuals well-placed in a relatively peaceful society with a strong tradition of open speech, would develop links between science and critical discussion of both divinity and the Bible. There were also bounds to the discussion, as Newton, who chose to sit on the sidelines, knew well. Many others on Europe’s continent lived much more intimately with religious division as well as the reminder, in 1633, of Galileo’s failure to arrange a peaceable arrangement between science and religion. These aspects of the rise of physico-theology have not been the focus of this chapter, which has surveyed the philosophical and social origins found in the English context. Science, philosophy of science and other English philosophical currents – most particularly the theory of ideas and understanding that we are familiar with in its later development by John Locke – were formative for a field that might alternatively have been called ‘empirical natural theology.’ Prior shifts in religious sensibility that emptied the Book of Nature of much of its content also prepared the ground. Other philosophical and theological currents not discussed here – most notably theories of divine agency and predestination – and other philosophical trends – the rise of Spinoza’s challenge to such natural theology on the continent – also had both shaping and limiting influences upon the field. Finally, philosophers, including natural philosophers, did much more to promote physico-theology than just write about it: Boyle in particular provided a very important launch pad for the further development of an already healthy tradition of natural theology with his named lectureship, which drew the interest of others in the Royal Society, most notably Isaac Newton, and which spawned two of the most influential physico-theological tracts shortly before and shortly after the turn of the eighteenth century. (shrink)

A critical reflection on John Woods's new monograph, Truth in Fiction – Rethinking its Logic. I focus in particular on Woods’s world-inheritance thesis (what others have variously called ‘background,’ ‘the principle of minimal departure,’ and ‘the reality assumption,’ and which replaces Woods’s earlier ‘fill-conditions’) and its interplay with auctorial say-so, arguing that world-inheritance actually constrains auctorial say-so in ways Woods has not anticipated.

We define a formal semantics of conditionals based on _normatively ideal worlds_. Such worlds are described informally by Armgardt (Gabbay D, Magnani L, Park W, Pietarinen A-V (eds) Natural arguments: a tribute to john woods, College Publications, London, pp 699–708, 2018) to address well-known problems of the counterfactual approach to causation. Drawing on Armgardt’s proposal, we use iterated conditionals in order to analyse causal relations in scenarios of multi-agent interaction. This results in a refined counterfactual approach to causal (...) responsibility in legal contexts, which solves overdetermination problems in an intuitively accessible manner. (shrink)

An approach to the semantics of fiction that uses the tools of truth relativism provides an alternative to Meinongian and pretence-based approaches. The approach is consistent with the deep motivations of John Wood's Truth in Fiction.

Although commonly cited as one of the philosophers responsible for the resurgence of interest in pragmatism, Wilfrid Sellars was also the son of Roy Wood Sellars, one of the most dedicated critical realists of the early 20th century. Given his father’s realism and his own ‘scientific realism,’ one might assume that the history of realism – and, despite contemporary interest, not pragmatism – would best serve as the historical background for Wilfrid Sellars’ philosophy. I argue that Wilfrid Sellars, far from (...) being the adherent to classical pragmatism assumed by some, holds more in common with critical realism - specifically, a realism that was framed in opposition to pragmatism – than one finds amongst the writings of Charles Sanders Peirce, William James, or John Dewey. I support this claim by examining Wilfrid Sellars’ adoption of his father’s criticisms of C.I. Lewis, and offer various arguments and historical considerations against thematic accounts that insist on a strong connection between Wilfrid Sellars and pragmatism. (shrink)

Marcus Willaschek and I have argued against the widespread assumption that Kant claims the Moral Law—the supreme principle of morality—is (or must be regarded as) ‘self-legislated’. We argue that Kant instead describes the Moral Law as an _a priori_ principle of the will. We also argue that his conception of autonomy concerns not the Moral Law but substantive moral laws such as the law that requires promoting the happiness of others. In the present essay, I respond to the commentary by (...) Alyssa Bernstein and Christoph Hanisch. In response to Bernstein, I clarify the relation between our interpretation of Kant and those proposed by John Rawls and Allen Wood. In response to Hanisch, I argue, among other things, that Kant’s defense of the thesis that the Moral Law is an a priori principle of pure practical reason does not mean that practical reasoning and reasons-based action are impossible without it. It means rather that _morally good_ and _morally evil_ reasons-based action are impossible without it. (shrink)

Mark Wilson argues that the standard categorizations of "Theory T thinking"— logic-centered conceptions of scientific organization (canonized via logical empiricists in the mid-twentieth century)—dampens the understanding and appreciation of those strategic subtleties working within science. By "Theory T thinking," we mean to describe the simplistic methodology in which mathematical science allegedly supplies ‘processes’ that parallel nature's own in a tidily isomorphic fashion, wherein "Theory T’s" feigned rigor and methodological dogmas advance inadequate discrimination that fails to distinguish between explanatory structures that (...) are architecturally distinct. One of Wilson's main goals is to reverse such premature exclusions and, thus, early on Wilson returns to John Locke's original physical concerns regarding material science and the congeries of descriptive concern insofar as capturing varied phenomena (i.e., cohesion, elasticity, fracture, and the transmission of coherent work) encountered amongst ordinary solids like wood and steel are concerned. Of course, Wilson methodologically updates such a purview by appealing to multiscalar techniques of modern computing, drawing from Robert Batterman's work on the greediness of scales and Jim Woodward's insights on causation. (shrink)

Behaviorism was a peculiarly American phenomenon. As a school of psychology it was founded by John B. Watson (1878-1958) and grew into the neobehaviorisms of the 1920s, 30s and 40s. Philosophers were involved from the start, prefiguring the movement and endeavoring to define or redefine its tenets. Behaviorism expressed the naturalistic bent in American thought, which came in response to the prevailing philosophical idealism and was inspired by developments in natural science itself. There were several versions of naturalism in (...) American philosophy, and also several behaviorisms. Most behaviorists paid homage to Darwinian functionalism; all forswore introspection and made learned changes in behavior the primary subject matter and explanatory domain of psychology. They differed in their descriptions of behavior, modes of explanation, and attitudes toward mentalistic concepts. Watson was a strict materialist who wanted to eliminate all mentalistic talk from psychology. Edward Chace Tolman (1886-1959) regarded mind as a biological function of the organism. He permitted mentalistic terms such as 'purpose' in behavioral description, and posited intervening processes that included 'representations' of the environment, while requiring such processes be studied only as expressed in behavior. Clark L. Hull (1884-1952) developed a hypothetical-deductive version of behaviorism, akin to Tolman's functionalism in positing intervening variables but without his cognitivist constructs. B. F. Skinner (1904-90) rejected intervening variables and developed his own account of the behavior of the whole organism, based on the laws of operant conditioning. The naturalism in American philosophy of the early twentieth century showed respect for the natural sciences, especially biology and psychology. John Dewey (1896, 1911), George Santayana (1905, 1920), and F. J. E. Woodbridge (1909, 1913) expressed this attitude. It animated the neorealism of E. B. Holt and Ralph Barton Perry, who gave special attention to psychology, and the evolutionary naturalism and critical realism of Roy Wood Sellars. This naturalism differed from Watson's in regarding mind as part of nature from a Darwinian and functionalist perspective, and treating behavior as the product of the mental functioning. It fed Tolman's version of behaviorism. It was not materialistic or physical-reductionist. Only later, with Quine and logical empiricism, was behaviorism seen as essentially physicalistic. (shrink)

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

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

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

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

Miranda Fricker's original presentation of Hermeneutical Injustice left open theoretical choice points leading to criticisms and subsequent clarifications with the resulting dialectic appearing largely verbal. The absence of perspicuous exposition of hallmarks of Hermeneutical Injustice might suggest scenarios exhibiting some – but not all – such hallmarks are within its purview when they are not. The lack of clear hallmarks of Hermeneutical Injustice, moreover, obscures both the extent to which Fricker's proposed remedy Hermeneutical Justice – roughly, virtuous communicative practices – (...) adequately addresses the injustice, and the accuracy of criticisms suggesting that Hermeneutical Justice is insufficient to the task. In what follows, after briefly defending necessary and sufficient conditions for what I take to be the best candidate interpretation of Hermeneutical Injustice, I build on recent work on moral responsibility to construct and defend a rigorous explication of Hermeneutical Justice. (shrink)

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

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

In order to determine whether current (or future) machines have a welfare that we as agents ought to take into account in our moral deliberations, we must determine which capacities give rise to interests and whether current machines have those capacities. After developing an account of moral patiency, I argue that current machines should be treated as mere machines. That is, current machines should be treated as if they lack those capacities that would give rise to psychological interests. Therefore, they (...) are moral patients only if they have non-psychological interests. I then provide an account of what I call teleo interests that constitute the most plausible type of non-psychological interest that a being might have. I then argue that even if current machines have teleo interests, they are such that agents need not concern themselves with these interests. Therefore, for all intents and purposes, current machines are not moral patients. (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)

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

This paper addresses the foundations of Teleological Individualism, the view that organisms, even non-sentient organisms, are goal-oriented systems while biological collectives, such as ecosystems or conspecific groups, are mere assemblages of organisms. Typical defenses of Teleological Individualism ground the teleological organization of organisms in the workings of natural selection. This paper shows that grounding teleological organization in natural selection is antithetical to Teleological Individualism because such views assume a view about the units of selection on which it is only individual (...) organisms that are units of selection. However, none of the Conventionalist, Reductionist, or Multi-Level Realist theories serve to justify such an assumption. Thus, Teleological Individualism cannot be grounded in natural selection. (shrink)

Robust technological enhancement of core cognitive capacities is now a realistic possibility. From the perspective of neutralism, the view that justifications for public policy should be neutral between reasonable conceptions of the good, only members of a subset of the ethical concerns serve as legitimate justifications for public policy regarding robust technological enhancement. This paper provides a framework for the legitimate use of ethical concerns in justifying public policy decisions regarding these enhancement technologies by evaluating the ethical concerns that arise (...) in the context of testing such technologies on nonhuman animals. Traditional issues in bioethics, as well as novel concerns such as the possibility of moral status enhancement, are evaluated from the perspective of neutralism. (shrink)

Philosophers have often noted a contrast between practical and theoretical reasons when it comes to cases involving equally balanced reasons. When there are strong practical reasons for A-ing, and equally strong practical reasons for some incompatible option, B-ing, the agent is permitted to make an arbitrary choice between them, having sufficient reason to A and sufficient reason to B. But when there is strong evidence for P and equally strong evidence for ~ P, one isn’t permitted to simply believe one (...) or the other. Instead, one must withhold belief, neither believing that P nor believing that ~ P. This paper examines what explains this contrast, focusing in particular on a proposal recently developed by Mark Schroeder across several papers. Schroeder aims to explain the contrast by an appeal to non-evidential, epistemic reasons against belief. But, I argue, it’s not clear exactly what those reasons are, nor how those reasons are to be weighed against evidential reasons. Despite these challenges, I argue that there are grounds for optimism that the contrast can be explained within the broad framework Schroeder provides, and I aim to provide resources to meet the aforementioned challenges. (shrink)

Research on the human microbiome has gen- erated a staggering amount of sequence data, revealing variation in microbial diversity at the community, species (or phylotype), and genomic levels. In order to make this complexity more manageable and easier to interpret, new units—the metagenome, core microbiome, and entero- type—have been introduced in the scientific literature. Here, I argue that analytical tools and exploratory statisti- cal methods, coupled with a translational imperative, are the primary drivers of this new ontology. By reducing the (...) dimensionality of variation in the human microbiome, these new units render it more tractable and easier to interpret, and hence serve an important heuristic role. Nonetheless, there are several reasons to be cautious about these new categories prematurely ‘‘hardening’’ into natural units: a lack of constraints on what can be sequenced metagenomically, freedom of choice in taxonomic level in defining a ‘‘core microbiome,’’ typological framing of some of the concepts, and possible reification of statistical constructs. Finally, lessons from the Human Genome Project have led to a translational imperative: a drive to derive results from the exploration of microbiome variation that can help to articulate the emerging paradigm of per- sonalized genomic medicine (PGM). There is a tension between the typologizing inherent in much of this research and the personal in PGM. (shrink)

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

The journal of Cognitive Computation is defined in part by the notion that biologically inspired computational accounts are at the heart of cognitive processes in both natural and artificial systems. Many studies of various important aspects of cognition (memory, observational learning, decision making, reward prediction learning, attention control, etc.) have been made by modelling the various experimental results using ever-more sophisticated computer programs. In this manner progressive inroads have been made into gaining a better understanding of the many components of (...) cognition. Concomitantly in both science and science fiction the hope is periodically re-ignited that a manmade system can be engineered to be fully cognitive and conscious purely in virtue of its execution of an appropriate computer program. However, whilst the usefulness of the computational metaphor in many areas of psychology and neuroscience is clear, it has not gone unchallenged and in this article I will review a group of philosophical arguments that suggest either such unequivocal optimism in computationalism is misplaced—computation is neither necessary nor sufficient for cognition—or panpsychism (the belief that the physical universe is fundamentally composed of elements each of which is conscious) is true. I conclude by highlighting an alternative metaphor for cognitive processes based on communication and interaction. (shrink)

Sobre Filosofia clinica e Reflexões sobre o que é o humano.

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

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

The main aims in this article are to discuss and criticize the core thesis of a position that has become known as phenomenal conservatism. According to this thesis, its seeming to one that p provides enough justification for a belief in p to be prima facie justified. This thesis captures the special kind of epistemic import that seemings are claimed to have. To get clearer on this thesis, the article embeds it, first, in a probabilistic framework in which updating on (...) new evidence happens by Bayesian conditionalization, and second, a framework in which updating happens by Jeffrey conditionalization. The article spells out problems for both views, and then generalizes some of these to nonprobabilistic frameworks. The main theme of the discussion is that the epistemic import of a seeming should depend on its content in a plethora of ways that phenomenal conservatism is insensitive to. (shrink)

What constitutes a “good” life—not necessarily a morally good life, but a life that is good for the person who lived it? In response to this question of “well-being," philosophers have offered three significant answers: A good life is one in which a person can satisfy their desires (“Desire-Satisfaction” or “Preferentism”), one that includes certain good features (“Objectivism”), or one in which pleasurable states dominate or outweigh painful ones (“Hedonism”). To adjudicate among these competing theories, moral philosophers traditionally gather data (...) from thought experiments and intuition. In this chapter, we supplement that traditional approach with a pair of experimental studies that examine whether the three theories reflect laypeople’s intuitions about well-being. The empirical studies yield two primary findings. First, they provide evidence for lay "well-being pluralism": laypeople treat desire satisfaction, positive objective conditions, and happiness as all constitutive of well-being. Second, the studies provide evidence of "hedonic dominance": laypeople evaluate an individual’s happiness as more important to an individual’s overall well-being than desire satisfaction or objective conditions. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

The Projectability Challenge states that a metaethical view must explain how ordinary agents can, on the basis of moral experience and reflection, accurately and justifiably apply moral concepts to novel situations. In this paper, we argue for two primary claims. First, paradigm nonnaturalism can satisfactorily answer the projectability challenge. Second, it is unclear whether there is a version of moral naturalism that can satisfactorily answer the challenge. The conclusion we draw is that there is an important respect in which nonnaturalism (...) holds an advantage over its most prominent naturalist rivals. The conclusion is interesting if only because it is widely assumed that naturalism has an easier time handling thorny problems in moral epistemology. We argue that there is at least one such problem of which this assumption is not true. (shrink)

If a person requires an organ or tissue donation to survive, many philosophers argue that whatever moral responsibility a biological relative may have to donate to the person in need will be grounded at least partially, if not entirely, in biological relations the potential donor bears to the recipient. We contend that such views ignore the role that a potential donor's unique ability to help the person in need plays in underwriting such judgments. If, for example, a sperm donor is (...) judged to have a significant moral responsibility to donate tissue to a child conceived with his sperm, we think this will not be due to the fact that the donor stands in a close biological relationship to the recipient. Rather, we think such judgments will largely be grounded in the presumed unique ability of the sperm donor to help the child due to the compatibility of his tissues and organs with those of the recipient. In this paper, we report the results of two studies designed to investigate the comparative roles that biological relatedness and unique ability play in generating judgments of moral responsibility in tissue donation cases. We found that biologically related individuals are deemed to have a significant moral responsibility to donate tissue only when they are one of a small number of people who have the capacity to help. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

It is proposed that conscious qualia arise when and only when the 'running' of physical processes takes a special, complex form. Running in general is the unified unfolding of processes through time, and is claimed to be an additional quality of physical processes beyond their state trajectories. The type of running needed for conscious qualia is reflexive in physically affecting and responding to itself. Intuitively, running is essentially the flow of causation, and the self-affecting/responding is a matter of causation bearing (...) a causal relationship to itself: that is, causation can itself be reflexive. The proposal potentially makes temporal qualia the most fundamental qualia, with others derivatively arising. The proposal is neutral about whether a conscious process occurs in a natural organism, in a physically implemented computational system, or in some other physical substrate, as long as the substrate involves the special reflexive runningness. (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible for (...) its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

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

Our environmental wrongdoings result in a moral debt that requires restitution. One component of restitution is reparative and another is remediative. The remediative component requires that we remediate our characters in ways that alter or eliminate the character traits that tend to lead, in their expression, to environmental wrongdoing. Restitutive restoration is a way of engaging in ecological restoration that helps to meet the remediative requirement that accompanies environmental wrongdoing. This account of restoration provides a new motivation and justification for (...) engaging in restorative practices in addition to the standard pragmatist justification and motivations. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.