The main purpose of this article is to argue that Crispin Wright and Bob Hale have not succeeded in overcoming the well-known ‘Julius Caesar objection’ to their proposed definition of the phrase ‘the number of’. It is hoped that the article will also help to clarify what would actually be needed in order to overcome this objection.

The article investigates a system of polymorphically typed combinatory logic which is equivalent to Gödel’s T. A notion of (strong) reduction is defined over terms of this system and it is proved that the class of well-formed terms is closed under both bracket abstraction and reduction. The main new result is that the number of contractions needed to reduce a term to normal form is computed by an ε0-recursive function. The ordinal assignments used to obtain this result are also used (...) to prove that the system under consideration is indeed equivalent to Gödel’s T. It is hoped that the methods used here can be extended so as to obtain similar results for stronger systems of polymorphically typed combinatory terms. An interesting corollary of such results is that they yield ordinally informative proofs of normalizability for sub-systems of second-order intuitionist logic, in natural deduction style. (shrink)

William R. Stirton; III*—The Logical Status of ‘Exists’, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 37–50, https://doi.org/.

William R. Stirton; III*—The Logical Status of ‘Exists’, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 37–50, https://doi.org/.

This article investigates a theory of type assignment (assigning types to lambda terms) called ETA which is intermediate in strength between the simple theory of type assignment and strong polymorphic theories like Girard’s F (Proofs and types. Cambridge University Press, Cambridge, 1989). It is like the simple theory and unlike F in that the typability and type-checking problems are solvable with respect to ETA. This is proved in the article along with three other main results: (1) all primitive recursive functionals (...) of finite type are representable in ETA; (2) every term typable in ETA has a unique normal form; (3) there is a function defined by ${{\varepsilon}_0}$ -recursion which takes every typable term to a natural number which is an upper bound to the lengths of all βη-reduction sequences starting with that term. (shrink)

By "proper name" I mean a proper name in Frege's sense, i.e., a singular term. The "problem" mentioned in the title is whether the subject-term of an existential statement can be a proper name. I concentrate on examining some of the existing attempts to define "proper name" and conclude that, whatever answer is given to the question just posed, the authors of these attempts (Dummett, C Wright and B Hale) will have to modify some of their beliefs. My own favored (...) solution is to say that it can, sometimes denoting a non-existent object. (shrink)

Sections 1 through 4 define, in the usual inductive style, various classes of object including one which is called the “combinatory terms of polymorphic type”. Section 5 defines a reduction relation on these terms. Section 6 shows that the weak normalizability of the combinatory terms of polymorphic type entails the weak normalizability of the lambda terms of polymorphic type. The entailment is not vacuous, because the combinatory terms of polymorphic type are indeed weakly normalizable, as is proven in Sect. 7 (...) using Tait and Girard’s computability predicates. The remainder of the paper is devoted to arguing that interesting consequences would follow from the existence of an “ordinally informative” proof, i.e. one which uses transfinite induction over recursive ordinal numbers and otherwise finitary methods, of normalizability for as large a class of the terms as possible. (shrink)

Proof-theoretic semantics is an approach to logical semantics based on two ideas, of which the first is that the meaning of a logical connective can be explained by stipulating that some mode of inference, e.g., a natural deduction introduction or elimination rule, is permissible. The second idea is that the soundness of rules which are not stipulated outright may be deduced by some proof-theoretic argument from properties of the rules which are stipulated outright. I examine the first idea. My main (...) conclusion is that the idea is more problematic, and requires more discussion, than has been generally realized. I mention five problems which will have to be overcome before the idea can be accepted as definitely viable. (shrink)

In The Emergent Self, William Hasker joins one of the most heated debates in contemporary analytic philosophy, that over the nature of mind.

Toward theory a homuncular of believing For years and years, philosophers took thoughts and beliefs to be modifications of incorporeal Cartesian egos. ...

Ethical decision theory may not be sufficiently well developed to furnish reliable guidelines to people involved in complex decision making that involves conflict between ethical considerations and business imperatives such as making a profit. In conditions of ethical uncertainty hindsight bias may occur, and this study reports on an exploration of hindsight bias effects among participants in continuing education in business programmes. Perceptions of business ethics were found to differ among groups within the sample depending on what they thought had (...) been the outcome of the ethical decision concerned. (shrink)

This article tackles the current deficit in the supply of cadaveric organs by addressing the family veto in organ donation. The authors believe that the family veto matters—ethically as well as practically—and that policies that completely disregard the views of the family in this decision are likely to be counterproductive. Instead, this paper proposes to engage directly with the most important reasons why families often object to the removal of the organs of a loved one who has signed up to (...) the donor registry—notably a failure to understand fully and deliberate on the information and a reluctance to deal with this sort of decision at an emotionally distressing time. To accommodate these concerns it is proposed to separate radically the process of information, deliberation and agreement about the harvesting of a potential donor's organs from the event of death and bereavement through a scheme of advance commitment. This paper briefly sets out the proposal and discusses in some detail its design as well as what is believed to be the main advantages compared with the leading alternatives. (shrink)

For this 1897 publication, the American philosopher William James brought together ten essays, some of which were originally talks given to Ivy League societies. Accessible to a broader audience, these non-technical essays illustrate the author's pragmatic approach to belief and morality, arguing for faith and action in spite of uncertainty. James thought his audiences suffered 'paralysis of their native capacity for faith' while awaiting scientific grounds for belief. His response consisted in an attitude of 'radical empiricism', which deals practically (...) rather than ideologically with real-world phenomena. When facing a 'momentous' decision about belief, he says, we both can and must choose the best hypothesis. The first four essays apply this principle to religious faith, and the rest explore the pragmatic approach to such topics as determinism, ethics and individual achievement. James developed his ideas further in The Varieties of Religious Experience and Pragmatism, both of which are reissued in this series. (shrink)

Descartes has often been called the 'father of modern philosophy'. His attempts to find foundations for knowledge, and to reconcile the existence of the soul with the emerging science of his time, are among the most influential and widely studied in the history of philosophy. This is a classic and challenging introduction to Descartes by one of the most distinguished modern philosophers. Bernard Williams not only analyzes Descartes' project of founding knowledge on certainty, but uncovers the philosophical motives for his (...) search. With acute insight, he demonstrates how Descartes' _Meditations _are not merely a description but the very enactment of philosophical thought and discovery. Williams covers all of the key areas of Descartes' thought, including God, the will, the possibility of knowledge, and the mind and its place in nature. He also makes profound contributions to the theory of knowledge, metaphysics and philosophy generally. With a new foreword by John Cottingham. (shrink)

One of the most influential men of his time, philosopher, psychologist, educator, and author William James (1842-1910) helped lead the transition from a predominantly European-centered nineteenth-century philosophy to a new "pragmatic" American philosophy. Helping to pave the way was his seminal book Pragmatism (1907), in which he included a chapter on "Truth," an essay which provoked severe criticism. In response, he wrote the present work, an attempt to bring together all he had ever written on the theory of knowledge, (...) including an article on the function of cognition, later polemic and expository contributions, and some replies to previous criticism. The result was a full and definitive expression of the pragmatist "epistemology" from James' point of view. In the book, he urges the reader to "turn away from abstractions, verbal solutions, fixed principles, and pretended absolutes and look for concreteness and facts, action and power," arguing that "the ultimate test for us of what a truth means is the conduct it dictates or inspires." For students, scholars--anyone interested in William James or the history of American philosophical thought--this book offers an in-depth exposition of the influential ideas of one of the greatest American thinkers. Unabridged republication of the edition originally published by Longmans, Green and Co., New York and London, 1909. (shrink)

Complexity, agency, and time -- The vicissitudes of experience -- Belief, spirituality, and time -- The human predicament -- Capital flows, sovereign decisions, and world resonance machines -- The theorist and the seer.

This book analyzes the support that should be given to minority views, reconsidering classic debates in Science and Technology Studies and examining numerous case studies.

" In a book that seeks to shift the ground of debate within theory of knowledge, William P. Alston finds that the century-lo.

The article begins by distinguishing a number of theses which, in the past, have sometimes been lumped together under the heading of 'anti-realism'. One of the theses is that there is something wrong with truth-conditional theories of meaning (what a truth-conditional theory of meaning is a matter discussed at some length), another is what I take to be the central thesis of anti-realism, that all truths are knowable. Several writers on the subject, such as Wright and Prawitz, have defended the (...) latter thesis while jettisoning the former. I argue that this position is exactly the wrong way around. Given the 'meaning is use' principle, which is also called the 'manifestation requirement', a very powerful case can be made that true theory of meaning cannot be truth-conditional. But I argue that, given the current state of our logical knowledge, there is no good reason for concluding from this that a true theory of meaning must be of the 'verificationist' type, as Dummett seems to think, and still less for thinking that anti-realism follows. I end by examining theories of meaning against Dummett's criticisms. (shrink)

Two books bound together, from the religious period of one of the most renowned and representative thinkers. Written for laymen, thus easy to understand, it is penetrating and brilliant as well. Illuminations of age-old religious questions from a pragmatic perspective, written in a luminous style.

Lycan (1985, 1988) defended a “Principle of Credulity”: “Accept at the outset each of those things that seem to be true” (1988, p. 165). Though that takes the form of a rule rather than a thesis, it does not seem very different from Huemer’s (2001, 2006, 2007) doctrine of phenomenal conservatism (PC): “If it seems to S that p , then, in the absence of defeaters, S thereby has at least some degree of justification for believing that p ” (2007, (...) p. 30). My Principle was differently motivated and put to uses different from Huemer’s. In this paper I shall explore some of the differences. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

Noted psychologist and philosopher develops his own brand of pragmatism, based on theories of C. S. Peirce. Emphasis on "radical empiricism," versus the transcendental and rationalist tradition. One of the most important books in American philosophy. Note.

In Part One Leiss traces the idea of the domination of nature from the Renaissance to the nineteenth century.

In 2018, William Lane Craig and Erik J. Wielenberg participated in a debate at North Carolina State University, addressing the question: "God and Morality: What is the best account of objective moral values and duties?" Craig argued that theism provides a sound foundation for objective morality whereas atheism does not. Wielenberg countered that morality can be objective even if there is no God. This book includes the full debate, as well as endnotes with extended discussions that were not included (...) in the debate. It also includes five chapters by other philosophers who have written substantive responses to the debate - J. P. Moreland, David Baggett, Mark Linville, Wes Morriston, and Michael Huemer. The book provides crucial resources for better understanding moral realism and its dependence on, or independence from, theistic foundations. Key Features A valuable debate about whether or not God is the best explanation for objective morality, bringing together theists and atheists working on the same subject who normally are not in conversation with each other. Includes clear coverage of ontological and epistemological issues in metaethical theories, focusing on Divine Command Theory and Non-natural Robust Moral Realism. Engaging and accessible throughout, making the book well suited for undergraduate and seminary classrooms. (shrink)

Science should tell us what the world is like. However, realist interpretations of physics face many problems, chief among them the pessimistic meta induction. This book seeks to develop a realist position based on process ontology that avoids the traditional problems of realism. Primarily, the core claim is that in order for a scientific model to be minimally empirically adequate, that model must describe real experimental processes and dynamics. Any additional inferences from processes to things, substances or objects are not (...) warranted, and so these inferences are shown to represent the locus of the problems of realism. The book then examines the history of physics to show that the progress of physical research is one of successive eliminations of thing interpretations of models in favor of more explanatory and experimentally verified process interpretations. This culminates in collections of models that cannot coherently allow for thing interpretations, but still successfully describe processes. (shrink)

This new critical edition is an examination of William James's Essays in Radical Empiricism in light of the scientific naturalism prominent in James's Principles of Psychology (1890) and the subsequent development of Darwinian, functional psychology and functionalism in psychology, the philosophy psychology and the philosophy of mind.

Science can reveal or conceal the breathtaking wonders of creation. On one hand, knowledge of the natural world can open us up to greater love for the Creator, give us the means of more neighborly care, and fill us with ever-deepening astonishment. On the other hand, knowledge feeding an insatiable hunger for epistemic mastery can become a means of idolatry, hubris, and damage. Crucial to world-respecting science is the role of wonder: curiosity, perplexity, and astonishment. In this volume, philosopher (...) class='Hi'>William Desmond explores the relation of the different modes of wonder to modern science. Responding to his thought are twelve thinkers across the domains of science, theology, philosophy, law, poetry, medicine, sociology, and art restoration. (shrink)

When laws or legal principles mention mental states such as intentions to form a contract, knowledge of risk, or purposely causing a death, what parts of the brain are they speaking about? We argue here that these principles are tacitly directed at our prefrontal executive processes. Our current best theories of consciousness portray it as a workspace in which executive processes operate, but what is important to the law is what is done with the workspace content rather than the content (...) itself. This makes executive processes more important to the law than consciousness, since they are responsible for channeling conscious decision-making into intentions and actions, or inhibiting action.We provide a summary of the current state of our knowledge about executive processes, which consists primarily of information about which portions of the prefrontal lobes perform which executive processes. Then we describe several examples in which legal principles can be understood as tacitly singling out executive processes, including principles regarding defendants’ intentions or plans to commit crimes and their awareness that certain facts are the case, as well as excusatory principles which result in lesser responsibility for those who are juveniles, mentally ill, sleepwalking, hypnotized, or who suffer from psychopathy. (shrink)

A large and growing body of research in computational psychiatry draws on Bayesian modelling to illuminate the dysfunctions and aberrations that underlie psychiatric disorders. After identifying the chief attractions of this research programme, we argue that its typical focus on abstract, domain-general inferential processes is likely to obscure many of the distinctive ways in which the human mind can break down and malfunction. We illustrate this by appeal to psychosis and the social phenomenology of delusions.

‘Responsibilist' approaches to epistemology link knowledge and justification with epistemically responsible belief management, where responsible management is understood to involve an essential element of guidance by recognized epistemic norms. By contrast, reliabilist approaches stress the de facto reliability of cognitive processes, rendering epistemic self-consciousness as inessential. I argue that, although an adequate understanding of human knowledge must make room for both responsibility and reliability, philosophers have had a hard time putting them together, largely owing to a tendency, on the part (...) of responsibilists, to adopt an overly demanding, hyperintellectualized conception of what epistemic responsibility demands. I trace this tendency towards hyper-intellectualism to a wish to meet scepticism head on, a wish that enforces adherence to a particular model of the structure of epistemic justification. I argue that a more humanly reasonable conception of epistemic justification suggests an alternative model. With this model in hand, we can both deflect sceptical problems and combine responsibility with reliability in a satisfying way. Philosophical Papers Vol. 37 (1) 2008: pp. 1-26. (shrink)

Analytic theology can flourish in the secular academy, and flourish as authentically Christian theology. Analytic Theology and the Academic Study of Religion explains analytic theology to other theologians and scholars of religion, while simultaneously explaining those other fields to analytic theologians. William Wood defends analytic theology from some common criticisms, but also argues that analytic theologians have much to learn from other forms of inquiry. Analytic theology is a legitimate form of theology, and a legitimate form of academic inquiry, (...) and it can be a valuable conversation partner within the wider religious studies academy. Analytic Theology and the Academic Study of Religion articulates an attractive vision of analytic theology, fosters a more fruitful inter-disciplinary conversation, and enables scholars across the religious studies academy to understand one another better. (shrink)

Louis Agassiz.--Address at the Emerson Centenary in Concord.--Robert Gould Shaw.--Francis Boott.--Thomas Davidson: a knight-errant of the intellectual life.--Herbert Spencer's autobiography.--Frederick Myers' services to psychology.--Final impressions of a psychical researcher.--On some mental effects of the earthquake.--The energies of men.--The moral equivalent of war.--Remarks at the peace banquet.--The social value of the college-bred.--The university and the individual: The Ph.D. octopus. The true Harvard. Stanford's ideal destiny.--A pluralistic mystic.

An argument is presented, based on a common-sense interpretation of an everyday experience, for emergent dualism as the best available account of the origin of the human mind/soul. Emergent dualism is superior to subjective idealism in that it honors the common-sense conviction that the things we encounter have a real, physical existence, separate from our mental perceptions of them. It is superior to materialism in that it allows for our mental states to have real, physical effects, distinct from the effects (...) of the physical states that accompany the mental states. It is also superior to materialism in allowing for a real, unified self that is not merely a collection of physical particles. These features allow emergent dualism to provide a foundation for libertarian free will; belief in such free will is another deliverance of common sense that cannot readily be reconciled with materialism. Emergent dualism is superior to standard varieties of dualism in giving a plausible account of the minds of non-human animals. Perhaps surprisingly, emer­gent dualism is superior both to traditional dualism and to standard varieties of materialism in combining readily with theories of biological evolution, in which natural selection promotes both the physical and mental development of complex organisms. (shrink)