This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in (...) the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Essays devoted to the work of the late Neil Wilson, Canadian philosopher and contributor to the field of semantic analysis that emerged from the fusion of logic, pragmatism, and ontology. Many of the essays in this volume take their initial inspiration from Wilson's seminal work Substances Without Substrata.

In this paper, we delve into the significant impact of recent advancements in Artificial Intelligence (AI) on the future landscape of work. We discuss the looming possibility of mass unemployment triggered by AI and the societal repercussions of this transition. Despite the challenges this shift presents, we argue that it also unveils opportunities to mitigate social inequalities, combat global poverty, and empower individuals to follow their passions. Amidst this discussion, we also touch upon the existential question of the purpose of (...) human life in a world where machines predominantly perform work. Additionally, we explore the contentious issue of the moral status and rights of AI entities, contemplating the scenario where machines evolve to become sapient and sentient. The paper concludes with a call to action, emphasizing the necessity to acknowledge these potential outcomes and proactively seek solutions, as part of an inevitable journey through the evolution of human society shared with intelligent machines. (shrink)

This book is a clear and concise history of the soul in western philosophy, from Plato to cutting-edge contemporary work in philosophy of mind. Packed with arguments for and against a range of different, historically significant philosophies of the soul Addresses the essential issues, including mind-body interaction, the causal closure of the physical world, and the philosophical implications of the brain sciences for the soul's existence Includes coverage of theories from key figures, such as Plato, Aquinas, Locke, Hume, and Descartes (...) Unique in combining the history of ideas and the development of a powerful case for a non-reductionist, non-materialist account of the soul. (shrink)

Meaning, Understanding, and Practice is a selection of the most notable essays of an eminent contemporary philosopher on a set of central topics in analytic philosophy. Barry Stroud offers penetrating studies of meaning, understanding, necessity, and the intentionality of thought, with particular reference to the thought of Wittgenstein.

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the major, traditional philosophies (...) of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe. (shrink)

We examine George Boolos's proposed abstraction principle for extensions based on the limitation-of-size conception, New V, from several perspectives. Crispin Wright once suggested that New V could serve as part of a neo-logicist development of real analysis. We show that it fails both of the conservativeness criteria for abstraction principles that Wright proposes. Thus, we support Boolos against Wright. We also show that, when combined with the axioms for Boolos's iterative notion of set, New V yields a system equivalent to (...) full Zermelo-Fraenkel set theory with a principle of global choice. This advances Boolos's longstanding interest in the foundations of set theory. (shrink)

Ethics of Artificial Intelligence This article provides a comprehensive overview of the main ethical issues related to the impact of Artificial Intelligence on human society. AI is the use of machines to do things that would normally require human intelligence. In many areas of human life, AI has rapidly and significantly affected human society … Continue reading Ethics of Artificial Intelligence →.

The neo-logicist argues tliat standard mathematics can be derived by purely logical means from abstraction principles—such as Hume's Principle— which are held to lie 'epistcmically innocent'. We show that the second-order axiom of comprehension applied to non-instantiated properties and the standard first-order existential instantiation and universal elimination principles are essential for the derivation of key results, specifically a theorem of infinity, but have not been shown to be epistemically innocent. We conclude that the epistemic innocence of mathematics has not been (...) established by the neo-logicist. (shrink)

Graham Priest's In Contradiction (Dordrecht: Martinus Nijhoff Publishers, 1987, chapter 3) contains an argument concerning the intuitive, or ‘naïve’ notion of (arithmetic) proof, or provability. He argues that the intuitively provable arithmetic sentences constitute a recursively enumerable set, which has a Gödel sentence which is itself intuitively provable. The incompleteness theorem does not apply, since the set of provable arithmetic sentences is not consistent. The purpose of this article is to sharpen Priest's argument, avoiding reference to informal notions, consensus, or (...) Church's thesis. We add Priest's dialetheic semantics to ordinary Peano arithmetic PA, to produce a recursively axiomatized formal system PA★ that contains its own truth predicate. Whether one is a dialetheist or not, PA★ is a legitimate, rigorously defined formal system, and one can explore its proof‐theoretic properties. The system is inconsistent (but presumably non‐trivial), and it proves its own Gödel sentence as well as its own soundness. Although this much is perhaps welcome to the dialetheist, it has some untoward consequences. There are purely arithmetic (indeed, Π0) sentences that are both provable and refutable in PA★. So if the dialetheist maintains that PA★ is sound, then he must hold that there are true contradictions in the most elementary language of arithmetic. Moreover, the thorough dialetheist must hold that there is a number g which both is and is not the code of a derivation of the indicated Gödel sentence of PA★. For the thorough dialetheist, it follows ordinary PA and even Robinson arithmetic are themselves inconsistent theories. I argue that this is a bitter pill for the dialetheist to swallow. (shrink)

This book discusses five philosophers and writers, Hume, Kierkegaar, Camus, Simone Weil and Dostoevsky, who represents different strands of our cultural inheritance which are all theologically and religiously alive today. What they have in common is willingness to explore the borderlands between belief and unbelief and to review their own position in the light of what those coming from the opposite direction may have to teach them. What they each reject is the sort of caricature which assumes that belief an (...) unbelief and to review their own position in the light of what those coming from the opposite direction may have to teach them. What they each reject is the sort of caricature which assumes that belief and unbelief are two homogeneous wholes which have nothing to say to each other and no ground for common discussion other that that of agnosticism. Equally, however, they disdain the implications that the only possibility of dialogue is a marshmallow middle ground where the only rule is that you avoid saying what you really think. Theologians and believers have often stood back from exploration on this middle ground. Encounters with secular philosophies or systems of belief are risky and dangerous. On the other hand, a theology which avoids such encounters is a much impoverished theology. Professor Sutherland's discussion considers the nature and extent of the risk, and the title of his book indicates where the believers who live close to the boundaries often share more with neighbourly unbelievers than they do with fellow believers who view the pastures of unbelief as far distant and dangerou lands from which they will for ever remain separated. (shrink)

§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...) connections between different parts of this literature and clearing up some confusions, together with the less modest aim of not introducing any more confusions.I propose to focus on three spheres within the literature on incompleteness. The first, and primary, one concerns arguments that Gödel's theorem refutes the mechanistic thesis that the human mind is, or can be accurately modeled as, a digital computer or a Turing machine. The most famous instance is the much reprinted J. R. Lucas [18]. To summarize, suppose that a mechanist provides plans for a machine,M, and claims that the output ofMconsists of all and only the arithmetic truths that a human, or the totality of human mathematicians, will ever or can ever know. We assume that the output ofMis consistent. (shrink)

A number of authors have recently weighed in on the issue of whether it is coherent to have bound variables that range over absolutely everything. Prima facie, it is difficult, and perhaps impossible, to coherently state the “relativist” position without violating it. For example, the relativist might say, or try to say, that for any quantifier used in a proposition of English, there is something outside of its range. What is the range of this quantifier? Or suppose we ask the (...) relativist if there are some things that cannot appear in the range of any bound variable. The likely response would be along these lines: “No. For each object o, it possible to include o in the range of quantifiers, but one cannot quantify over everything at once.” This sentence contains unrestricted quantifiers, or so it seems, pending some clever move from a relativist. On the other hand, in the context of set theory, the reasoning behind the Burali-Forti paradox strongly suggests that there are well-orderings strictly longer than the collection of all ordinals. And set theorists regularly do transfinite recursions and transfinite reductions along such well-orderings. The relativist simply points out that one can always define new ordinals, and thus expand the range of one’s bound variables. The purpose of this paper is to explore the iterative framework, proposed in Zermelo’s 1930 paper, “Über Grenzzahlen und Mengenbereiche” (“On boundary numbers and domains of sets”), in order to shed light on these issues, and see what is involved in resolving them. (shrink)

A team of two brothers enters a baking contest. Their cake wins the first-place prize of £500. Will they demand £500 each? Of course not. Winners must split the prize. We often ignore this when we claim credit for team accomplishments. We take more credit than we deserve. I apply this idea to baking competitions and academic production but it applies equally to other arenas with teams of varying sizes.Export citation.

This essay concerns Adorno's articulation of an idea of philosophy as it is developed through his considerations of philosophy's form or mode of presentation. It hereby attempts to illuminate some of what remains obscure about Adorno's understanding of a renewal of philosophy after Marx and the crisis of German Idealism. Various forms–from "anti-system" and "constellation" to "essay," "fragment," "encyclopaedia" and "dictionary"–are examined for what they contribute to an idea of philosophy. This focus distinguishes this essay from other studies of form (...) in Adorno that have predominantly literary or musical concerns. (shrink)

This chapter contains sections titled: Locke Butler Reid Hume Kant.

While William Hasker and I for the most part broadly agree in our opposition to much of the contemporary philosophical community concerning issues in the philosophy of mind that he discusses in his book, there are nevertheless seemingly some domestic disputes between him and me about certain matters concerning the nature of events involving the self. In this paper, I will focus on two of these disagreements. The first disagreement concerns Hasker’s treatment of what is widely known today as the (...) argument from reason and whether the events involved in our reasoning are essentially causal or teleological in nature. The second disagreement is about Hasker’s account of libertarian freedom, and whether agent causation is required to explain our free choices. (shrink)

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the notion of “same meaning” (...) is itself context-sensitive, depending on the purposes of a given conversation. (shrink)

If we have libertarian free will, then it is plausible to believe that the occurrences of certain physical events have irreducible and ineliminable mental explanations. According to a strong version of naturalism, everything in the physical world is in principle explicable in nonmental terms. Therefore, the truth of naturalism implies that libertarian choices cannot explain the occurrences of any physical events. In this paper, I example a methodological argument for the truth of naturalism and conclude that the argument fails. I (...) then consider additional concerns raised against the reality of libertarian freedom. First, I examine the claim that if a physical event E is not causally determined to occur by another physical event, then there is no way to account for the difference between E’s occurring randomly and E’s being causally determined to occur by a mental event. Second, I consider the assertion that the affirmation of libertarianism is a mind-of-the-gaps version of the God-of-the-gaps objection to a divine explanation of a physical event. Third, I take up the question of whether the inability of libertarians to pinpoint precisely where the initial physical effects of libertarian choices occur is a good reason for rejecting libertarianism. Fourth, I examine the claim that belief in the existence of the soul or immaterial mind is the result of an explanatory hypothesis to account for how libertarian free choices can causally produce physical effects. Fifth, I look at the traditional objection to substance dualism from the impossibility of causal interaction between a soul and its body. (shrink)

Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). If so, its premises are inconsistent. The usual (...) ways of restricting the predicates either invalidate Penrose's reasoning or require presuppositions that the mechanist can reject. (shrink)

The purpose of this paper is to present a thought experiment and argument that spells trouble for “radical” deflationism concerning meaning and truth such as that advocated by the staunch nominalist Hartry Field. The thought experiment does not sit well with any view that limits a truth predicate to sentences understood by a given speaker or to sentences in (or translatable into) a given language, unless that language is universal. The scenario in question concerns sentences that are not understood but (...) are known to be logical consequences of known and understood sentences. Ultimately, the issue turns on the notion of logical consequence that is available to various versions of deflationism. (shrink)

This article starts from the assumption that there are various innate contributions to our view of the world and explores the epistemological implications that follow from this. Specifically, it explores the idea that if certain components of our worldview have an evolutionary origin, this implies that these aspects accurately depict the world. The simple version of the argument for this conclusion is that if an aspect of mind is innate, it must be useful, and the most parsimonious explanation for its (...) usefulness is that it accurately depicts the world. There are a number of important criticisms of this argument. These include the idea that evolutionary justifications are circular, that evolved mental content and principles are not necessarily accurate, and that, if the argument is taken seriously, it has some highly dubious consequences. These criticisms necessitate various qualifications to the initial argument. Nonetheless, it is argued that, in some cases, important conclusions can be drawn about the world from an analysis of evolved contributions to our view of the world. An evolutionary approach cannot provide an ultimate justification for any belief; however, in certain circumstances, it supports the conclusion that a given belief is a reasonable first approximation. To the extent that innate content and principles pertain to topics in metaphysics, they can be viewed as a naturalistic source of metaphysical knowledge. (shrink)

The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.

The long tradition of Kierkegaard studies has made it impossible for individual scholars to have a complete overview of the vast field of Kierkegaard research. The large and ever increasing number of publications on Kierkegaard in the languages of the world can be simply bewildering even for experienced scholars. The present work constitutes a systematic bibliography which aims to help students and researchers navigate the seemingly endless mass of publications. The volume is divided into two large sections. Part I, which (...) covers Tomes I-V, is dedicated to individual bibliographies organized according to specific language. This includes extensive bibliographies of works on Kierkegaard in some 41 different languages. Part II, which covers Tomes VI-VII, is dedicated to shorter, individual bibliographies organized according to specific figures who are in some way relevant for Kierkegaard. The goal has been to create the most exhaustive bibliography of Kierkegaard literature possible, and thus the bibliography is not limited to any specific time period but instead spans the entire history of Kierkegaard studies. (shrink)

In the _True Intellectual System_, Cudworth attacks types of atheist position—atomic atheism, hylozoic atheism, etc. He generally uses ancient examples to illustrate those types, but also criticizes some of his contemporaries. We can identify direct criticisms of contemporaries by finding quotations, paraphrases, and accounts of their views in the text. My primary question in this paper is, 'how much of the _True Intellectual System_ is directly about or aimed at Spinoza?' My ultimate answer, contrary to some prominent voices in the (...) existing literature, is 'not very much at all'. (shrink)

The mental competence of people requesting aid-in-dying is a key issue for the how the law responds to cases of assisted suicide. A number of cases from around the common law world have highlighted the importance of competence in determining whether assistants should be prosecuted, and what they will be prosecuted for. Nevertheless, the law remains uncertain about how competence should be tested in these cases. This article proposes a test of competence that is based on the existing common law (...) but which is tailored to cases of assisted suicide. The test will help doctors, other health professionals and lawyers determine whether the suicidal person was able to competently request assistance. Such knowledge will help to reduce some of the current uncertainty about criminal liability in cases of assisted suicide. (shrink)

Over the past thirty years or so, virtues and reasons have emerged as two of the most fruitful and important concepts in contemporary moral philosophy. Virtue theory and moral psychology, for instance, are currently two burgeoning areas of philosophical investigation that involve different, but clearly related, focuses on individual agents’ responsiveness to reasons. The virtues themselves are major components of current ethical theories whose approaches to substantive or normative issues remain remarkably divergent in other respects. The virtues are also increasingly (...) important in a variety of new approaches to epistemology. ... (shrink)