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)

We argue that intentions are beliefs—beliefs that are held in light of, and made rational by, practical reasoning. To intend to do something is neither more nor less than to believe, on the basis of one’s practical reasoning, that one will do it. The identification of the mental state of intention with the mental state of belief is what we call strong cognitivism about intentions. It is a strong form of cognitivism because we identify intentions with beliefs, rather than maintaining (...) that beliefs are entailed by intentions or are components of them. (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a cluster of properties (...) without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

Researchers have debated whether there is a relationship between a statement’s truth-value and whether it counts as a lie. One view is that a statement being objectively false is essential to whether it counts as a lie; the opposing view is that a statement’s objective truth-value is inessential to whether it counts as a lie. We report five behavioral experiments that use a novel range of behavioral measures to address this issue. In each case, we found evidence of a relationship. (...) A statement’s truth-value affects how quickly people judge whether it is a lie. When people consider the matter carefully and are told that they might need to justify their answer, they are more likely to categorize a statement as a lie when it is false than when it is true. When given options that inhibit perspective-taking, people tend to not categorize deceptively motivated statements as lies when they are true, even though they still categorize them as lies when they are false. Categorizing a speaker as “lying” leads people to strongly infer that the speaker’s statement is false. People are more likely to spontaneously categorize a statement as a lie when it is false than when it is true. We discuss four different interpretations of relevant findings to date. At present, the best supported interpretation might be that the ordinary lying concept is a prototype concept, with falsity being a centrally important element of the prototypical lie. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

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

Bringing research on collective memory together with research on episodic future thought, Szpunar and Szpunar :376–389, 2016) have recently developed the concept of collective future thought. Individual memory and individual future thought are increasingly seen as two forms of individual mental time travel, and it is natural to see collective memory and collective future thought as forms of collective mental time travel. But how seriously should the notion of collective mental time travel be taken? This article argues that, while collective (...) mental time travel is disanalogous in important respects to individual mental time travel, the concept of collective mental time travel nevertheless provides a useful means of organizing existing findings, while also suggesting promising directions for future research. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

We argue that honesty in assertion requires non-empirical knowledge that what one asserts is what one believes. Our argument proceeds from the thought that to assert honestly, one must follow and not merely conform to the norm ‘Assert that p only if you believe that p’. Furthermore, careful consideration of cases shows that the sort of doxastic self-knowledge required for following this norm cannot be acquired on the basis of observation, inference, or any other form of detection of one’s own (...) doxastic states. It is, as we put it, transparent rather than empirical self-knowledge. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

We report a series of experiments examining whether people ascribe knowledge for true beliefs based on probabilistic evidence. Participants were less likely to ascribe knowledge for beliefs based on probabilistic evidence than for beliefs based on perceptual evidence or testimony providing causal information. Denial of knowledge for beliefs based on probabilistic evidence did not arise because participants viewed such beliefs as unjustified, nor because such beliefs leave open the possibility of error. These findings rule out traditional philosophical accounts for why (...) probabilistic evidence does not produce knowledge. The experiments instead suggest that people deny knowledge because they distrust drawing conclusions about an individual based on reasoning about the population to which it belongs, a tendency previously identified by “judgment and decision making” researchers. Consistent with this, participants were more willing to ascribe knowledge for beliefs based on probabilistic evidence that is specific to a particular case. 2016 APA, all rights reserved). (shrink)

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

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

According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine (...) the accusations and provide the best evidence yet of factive norms of belief and decision-making. The results also help discriminate between two leading candidates for a factive norm: truth and knowledge. Knowledge is the superior candidate. (shrink)

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws (the role of determining local inertial structure). I raise two complications for this approach. First, our spacetime concept seems to have the structure of a cluster concept, which means that Knox's inertial criteria for spacetime cannot succeed with complete generality. Second, the notion of metaphysical fundamentality may feature in the spacetime concept, in which case spacetime functionalism may be uninformative (...) in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

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

According to the common view, conscientious objection is grounded in autonomy or in ‘freedom of conscience’ and is tolerated out of respect for the objector's autonomy. Emphasising freedom of conscience or autonomy as a central concept within the issue of conscientious objection implies that the conscientious objector should have an independent choice among alternative beliefs, positions or values. In this paper it is argued that: (a) it is not true that the typical conscientious objector has such a choice when they (...) decide to act upon their conscience and (b) it is not true that the typical conscientious objector exercises autonomy when developing or acquiring their conscience. Therefore, with regard to tolerating conscientious objection, we should apply the concept of autonomy with caution, as tolerating conscientious objection does not reflect respect for the conscientious objector’s right to choose but rather acknowledges their lack of real ability to choose their conscience and to refrain from acting upon their conscience. This has both normative and analytical implications for the treatment of conscientious objectors. (shrink)

In this paper we have two main aims. First, we present an account of mood-congruent delusions in depression (hereafter, depressive delusions). We propose that depressive delusions constitute acknowledgements of self-related beliefs acquired as a result of a negatively biased learning process. Second, we argue that depressive delusions have the potential for psychological and epistemic benefits despite their obvious epistemic and psychological costs. We suggest that depressive delusions play an important role in preserving a person’s overall coherence and narrative identity at (...) a critical time, and thus can be regarded as epistemically innocent. (shrink)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report five studies on the status (...) of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

We argue that the logical outcome of the cladistics revolution in biological systematics, and the move towards rankless phylogenetic classification of nested monophyletic groups as formalized in the PhyloCode, is to eliminate the species rank along with all the others and simply name clades. We propose that the lowest level of formally named clade be the SNaRC, the Smallest Named and Registered Clade. The SNaRC is an epistemic level in the classification, not an ontic one. Naming stops at that level (...) because there is no currently acceptable evidence for clades within it, not because no smaller clades exist. Later, included clades may be named. They would then become the SNaRCs, while the original SNaRC would keep its original name. We argue that all theoretical tasks of biology, in evolution and ecology, as well as practical tasks such as conservation assessment, are better approached using this rankless phylogenetic approach. (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)

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

This paper defends “Animal Universalism,” the thesis that all sentient non-human animals will be brought into Heaven and remain there for eternity. It assumes that God exists and is all-powerful, perfectly loving, and perfectly just. From these background theses, the authors argue that Animal Universalism follows. If God is perfectly loving, then God is concerned about the well-being of non-human animals, and God chooses to maximize the well-being of each individual animal when doing so does not harm other individual creatures (...) or violate creaturely freedom. If God is perfectly just, then God does not arbitrarily discriminate against non-human animals by offering humans an opportunity to enter Heaven but not offering the same to each animal. Each of these conclusions implies Animal Universalism. (shrink)

Understanding science requires appreciating the values it presupposes and its social context. Both the values that scientists hold and their social context can affect scientific communication. Philosophers of science have recently begun studying scientific communication, especially as it relates to public policy. Some have proposed “guiding principles for communicating scientific findings” to promote trust and objectivity. This paper contributes to this line of research in a novel way using behavioural experimentation. We report results from three experiments testing judgments about the (...) trustworthiness, competence and objectivity of scientists. More specifically, we tested whether such judgments are affected by three factors: consulting or not consulting nonscientists, conducting research under a restrictive or non-restrictive governmental communication policy, and the source of a lab’s funding (i.e., government funding, private funding, or a combination of the two). We found that each of these factors affects ordinary judgments of trustworthiness, competence and objectivity. These findings support several recommendations that could help improve scientific communication and communication policies. (shrink)

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

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

The ‘managed-metabolism’ hypothesis suggests that a ‘cooperation barrier’ must be overcome if self-producing chemical organizations are to undergo the transition from non-life to life. This dynamical barrier prevents un-managed autocatalytic networks of molecular species from individuating into complex, cooperative organizations. The barrier arises because molecular species that could otherwise make significant cooperative contributions to the success of an organization will often not be supported within the organization, and because side reactions and other ‘free-riding’ processes will undermine cooperation. As a result, (...) the barrier seriously impedes the emergence of individuality, complex functionality and the transition to life. This barrier is analogous to the cooperation barrier that also impedes the emergence of complex cooperation at all levels of living organization. As has been shown at other levels of organization, the barrier can be overcome comprehensively by appropriate ‘management’. Management implements a system of evolvable constraints that can overcome the cooperation barrier by ensuring that beneficial co-operators are supported within the organization and by suppressing free-riders. In this way, management can control and manipulate the chemical processes of a collectively autocatalytic organization, producing novel processes that serve the interests of the organization as a whole and that could not arise and persist in an un-managed chemical organization. Management self-organizes because it is able to capture some of the benefits that are produced when its interventions promote cooperation, thereby enhancing productivity. Selection will therefore favour the emergence of managers that take over and manage chemical organizations so as to overcome the cooperation barrier. The managed-metabolism hypothesis demonstrates that if management is to overcome the cooperation barrier comprehensively, its interventions must be digitally coded. In this way, the hypothesis accounts for the two-tiered structure of all living cells in which a digitally-coded genetic apparatus manages an analogically-informed metabolism.GraphicalOpen image in new window. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

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

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)

“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)

This paper tries to clarify, strengthen and respond to two prominent objections to the development and use of human enhancement technologies. Both objections express concerns about the link between enhancement and the drive for hyperagency. The first derives from the work of Sandel and Hauskeller—and is concerned with the negative impact of hyperagency on social solidarity. In responding to their objection, I argue that although social solidarity is valuable, there is a danger in overestimating its value and in neglecting some (...) obvious ways in which the enhancement project can be planned so as to avoid its degradation. The second objection, though common to several writers, has been most directly asserted by Saskia Nagel, and is concerned with the impact of hyperagency on the burden and distribution of responsibility. Though this is an intriguing objection, I argue that not enough has been done to explain why this is morally problematic. I try to correct for this flaw before offering a variety of strategies for dealing with the problems raised. (shrink)

Classical Trinitarians claim that Jesus—the Son of God—is truly God and that there is only one God and the Father is God, the Spirit is God, and the Father, Son, and Spirit are distinct. However, if the identity statement that ‘the Son is God’ is understood in the sense of numerical identity, logical incoherence seems immanent. Yet, if the identity statement is understood according to an ‘is’ of predication then it lacks accuracy and permits polytheism. Therefore, we argue that there (...) is another sense of ‘is’ needed in trinitarian discourse that will allow the Christian to avoid logical incoherence while still fully affirming all that is meant to be affirmed in the confession ‘Jesus is God.’ We suggest a sense of ‘is’ that meets this need. (shrink)

This paper details how ghost hunting, as a set of learning activities, can be used to enhance critical thinking and philosophy of science classes. We describe in some detail our own work with ghost hunting, and reflect on both intended and unintended consequences of this pedagogical choice. This choice was partly motivated by students’ lack of familiarity with science and philosophic questions about it. We offer reflections on our three different implementations of the ghost hunting activities. In addition, we discuss (...) the practical nuances of implementing these activities, as well the relation of ghost hunting to our course content, including informal fallacies and some models for scientific inference. We conclude that employing ghost hunting along-side traditional activities and content of critical thinking and philosophy of science offers a number of benefits, including being fun, increasing student attendance, enhancing student learning, and providing a platform for campus wide dialogues about philosophy. (shrink)

The period known as the “War on Terror” has prompted a revival of interest in the idea of moral dilemmas and the problem of “dirty hands” in public life. Some contend that a policy of targeted killing of terrorist actors is (under specified but not uncommon circumstances) an instance of a dirty-handed moral dilemma – morally required yet morally forbidden, the least evil choice available in the circumstances, but one that nevertheless leaves an indelible moral stain on the character of (...) the person who makes the choice. In this chapter we argue that, while dirty hands situations do exist as a persistent problem of political life, it is generally a mistake to classify policies of target killing (such as the current US policy) as examples of dirty hands. Instead, we maintain, such policies, if justified at all, must ordinarily be justified under the more exacting standards of just war theory and its provisions for justified killing – in particular the requirement that (with limited and defined exceptions) non-combatants be immune from intentional violence. Understanding this distinction both clarifies the significance of dirty hands as a moral phenomenon and also forestalls a set of predictable and all-too-easy appropriations of the concept to domains it was never intended to address. (shrink)

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)

Leading digital platform providers such as Google and Uber construct marketplaces in which algorithms set prices. The efficiency-maximising free market credentials of this approach are touted by the companies involved and by legislators, policy makers and marketers. They have also taken root in the public imagination. In this article we challenge this understanding of algorithmically constructed marketplaces. We do so by returning to Hayek’s (1945) classic defence of the price mechanism, and by arguing that algorithmically-mediated price mechanisms do not, and (...) probably cannot, accumulate and signal that same kinds of knowledge that Hayek felt were essential to effective market governance. Indeed, we argue that algorithmically-constructed marketplaces are closer to, though distinct from, the central planning model that Hayek critiqued. Regardless of how you feel about Hayek’s argument, this has important consequences for how we respond to the rise of algorithmic governance tools in both markets and elsewhere. (shrink)

There has been a recent explosion of undergraduate philosophy conferences across the United States. In this paper, we explore undergraduate conferences along three lines. First, we argue that, as a well-designed learning activity, undergraduate conferences can serve to increase gender parity in philosophical spaces—a widely accepted and important goal for our discipline. Second, we argue that this increase in parity is due, at least in part, to the proper design of undergraduate conferences as High-Impact Practices. Our empirical work on our (...) own undergraduate conference demonstrates that properly designing the conference as a High-Impact learning activity does, as expected, benefit underserved student populations, including women. Additionally, the study also revealed unexpected opportunities to intervene on student learning. Third, we argue, also in line with our data, that undergraduate conferences occupy a previously taxonomically unrecognized grouping among recognized High-Impact Practices. (shrink)

While researchers in business ethics, moral philosophy, and jurisprudence have advanced the study of corporate agency, there have been very few attempts to bring together insights from these and other disciplines in the pages of the Journal of Business Ethics. By introducing to an audience of business ethics scholars the work of outstanding authors working outside the field, this interdisciplinary special issue addresses this lacuna. Its aim is to encourage the formulation of innovative arguments that reinvigorate the study of corporate (...) agency and stimulate further cross-fertilization of ideas between business ethics, law, philosophy, and other disciplines. (shrink)

This essay offers a defense of Axiarchism's answer to the question, "Why does the world exit?" against prominent objections leveled against it by Derek Parfit. Parfit rejects the Axiarchist answer while abstracting from it his own Selector strategy. I argue that the abstraction fails, and that even if we were to regard Axiarchism as an instance of a Selector hypothesis, we should regard it as the only viable one. I also argue that Parfit's abstraction leads him to mistake the nature (...) and, thereby, the force of Axiarchism's claim to being an ultimate explanation. Finally, I defend the Axiarchist's claim that the good could not fail to rule. (shrink)

The Evolutionary Manifesto shows that evolution is directional and demonstrates that this has major implications for humanity. The Manifesto shows that humanity must align its social systems and behaviour with the trajectory of evolution if we are to survive and thrive into the future. The Manifesto goes on to demonstrate that humanity has an essential role to play in the future evolution of life on this planet. It demonstrates that life on Earth has reached a critical stage in evolution’s trajectory. (...) Up to now evolution has moved along its trajectory blindly and unconsciously. But if evolution on Earth is to continue to advance successfully in the future, the process will have to be driven intentionally and consciously by humanity. In this way, a proper understanding of evolution shows us how we can live a life that matters in a larger scheme of things. An evolutionary worldview answers the fundamental existential question that faces us all: “What should I do with my life?” The Manifesto outlines in broad terms what humanity must do to advance the evolutionary process—how we will intentionally have to re-make our political, social and economic systems, and how we will need to develop our cognition and consciousness. As such, the Manifesto presents a detailed case for evolutionary activism--coordinated action directed at advancing the evolutionary process intentionally. (shrink)

Can a human society be constrained in such a way that self-organization will thereafter tend to produce outcomes that advance the goals of the society? Such a society would be self-organizing in the sense that individuals who pursue only their own interests would none-the-less act in the interests of the society as a whole, irrespective of any intention to do so. The paper sketches an agent-based model that identifies the conditions that must be met if such a self-organizing society is (...) to emerge. The model draws heavily on an understanding of how self-organizing societies have emerged repeatedly during the evolution of life on Earth. The model demonstrates that the key enabling requirement for a self-organizing society is ‘consequence-capture’. Broadly this means that all agents in the society must capture sufficient of the beneficial consequences of their actions for the goals of the society. ‘Consequence-capture’ can be organized in a society by appropriate management that suppresses free riders and supports pro-social actions. In human societies these constraints include institutions such as systems of governance and social norms. If a self-organizing society is to emerge, consequence-capture must apply to all agents in the society, including those involved in the establishment and adaptation of institutions. If this is achieved, the result will be a fully self-organizing society in which the interests of all agents are aligned with the interests of the society as a whole. (shrink)

Economists can value things for cost-benefit analysis using either a structured or an unstructured approach. The first imposes some theoretical structure on the valuation; the second does not. This paper explains the difference between the approaches and examines the relative merits of each. Cost-benefit analysis may be aimed at finding what would be the best action, or alternatively at finding which action should be done in a democracy. The paper explains the difference, and argues that the appropriate aim is the (...) first. Given that, it comes down in favour of the structured approach to valuation. As an example, it discusses different approaches to valuing life in economics. (shrink)