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. ...

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)

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)

We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of Gödel's constructible universe L. This characterization can be used to prove the generalized continuum hypothesis in L.

The Gifford Lectures were established in 1885 at the universities of St Andrews, Glasgow, Aberdeen and Edinburgh to promote the discussion of 'Natural Theology in the widest sense of the term - in other words, the knowledge of God', and some of the world's most influential thinkers have delivered them. The 1901–2 lectures given in Edinburgh by American philosopher William James are considered by many to be the greatest in the series. The lectures were published in book form in (...) 1902 and have been reprinted many times. James, who was educated in the United States and Europe, and spent much of his career teaching philosophy at Harvard, was very influential in the development of modern psychology, and in these twenty lectures he explores the personal experience of religion. Some of the topics include religion and neurology, 'the sick soul', saintliness, and mysticism. (shrink)

We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounded truth predicate on the ordinals. The class of sets of ordinals which can be read off the truth predicate satisfies a natural theory SO. SO is the theory of the sets of ordinals in a model of the Zermelo-Fraenkel axioms ZFC. This allows the following characterization of computable sets: a set of ordinals is ordinal register (...) computable if and only if it is an element of Gödel’s constructible universe L. (shrink)

"The lectures that follow were delivered at the Lowell Institute in Boston in November and December, 1906, and in January, 1907, at Columbia University, in New York."-Preface, pg. 3.

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is (...) set to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

We generalize standard Turing machines, which work in time ω on a tape of length ω, to α-machines with time α and tape length α, for α some limit ordinal. We show that this provides a simple machine model adequate for classical admissible recursion theory as developed by G. Sacks and his school. For α an admissible ordinal, the basic notions of α-recursive or α-recursively enumerable are equivalent to being computable or computably enumerable by an α-machine, respectively. We emphasize the (...) algorithmic approach to admissible recursion theory by indicating how the proof of the Sacks–Simpson theorem, i.e., the solution of Post’s problem in α-recursion theory, could be based on α-machines, without involving constructibility theory. (shrink)

Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the normality (...) of the associated measures. (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)

By using the notion of a simplified (κ,1)-morass, we construct κ-thin-tall, κ-thin-thick and, in a forcing extension, κ-very thin-thick superatomic Boolean algebras for every infinite regular cardinal κ.

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)

We survey the definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals . The theory is applied to various combinatorial principles to get lower bounds for their consistency strengths in terms of the existence of sequences of measurable cardinals. We consider instances of Chang's conjecture, ‘accessible’ Jónsson cardinals, the free subset property for small cardinals, a canonization property of ω ω , and (...) a non-closure property of elementary embeddings of the universe. In some cases, equiconsistencies are obtained. (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.

Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.

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.

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.

I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

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)

We give a proof ofTheorem 1. Let κ be the smallest cardinal such that the free subset property Fr ω (κ,ω 1)holds. Assume κ is singular. Then there is an inner model with ω1 measurable cardinals.

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 Morality Bernard Williams confronts the problems of writing moral philosophy, and offers a stimulating alternative to more systematic accounts which seem nevertheless to have left all the important issues somewhere off the page.

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

Author: Koepke Ireneusz Title: ANDRZEJ WALICKI AND “WARSAW SCHOOL OF THE HISTORY OF IDEAS” (Andrzej Walicki i „warszawska szkoła historyków (historii) idei”) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 259-276 Keywords: ANDRZEJ WALICKI, WARSAW SCHOOL OF THE HISTORY OF IDEAS Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:This article is an attempt of presenting Andrzej Walicki connections with the so called Warsaw School of the History of Ideas and his research (...) on basic methodological issues created by this “school”, which are linked with the history of ideas and the history of philosophy. The most important are research rules which has been used by A. Walicki, and their consequences on his intellectual work as well as some critical remarks. (shrink)

We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.

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)

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.

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (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)

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...) all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a μ-measurable cardinal.