Is science unified or disunified? This collection brings together contributions from prominent scholars in a variety of scientific disciplines to examine this important theoretical question. They examine whether the sciences are, or ever were, unified by a single theoretical view of nature or a methodological foundation and the implications this has for the relationship between scientific disciplines and between science and society.

In this book, David Stump traces alternative conceptions of the a priori in the philosophy of science and defends a unique position in the current debates over conceptual change and the constitutive elements in science. Stump emphasizes the unique epistemological status of the constitutive elements of scientific theories, constitutive elements being the necessary preconditions that must be assumed in order to conduct a particular scientific inquiry. These constitutive elements, such as logic, mathematics, and even some fundamental laws (...) of nature, were once taken to be a priori knowledge but can change, thus leading to a dynamic or relative a priori. Stump critically examines developments in thinking about constitutive elements in science as a priori knowledge, from Kant’s fixed and absolute a priori to Quine’s holistic empiricism. By examining the relationship between conceptual change and the epistemological status of constitutive elements in science, Stump puts forward an argument that scientific revolutions can be explained and relativism can be avoided without resorting to universals or absolutes. (shrink)

Duhem’s concept of “good sense” is central to his philosophy of science, given that it is what allows scientist to decide between competing theories. Scientists must use good sense and have intellectual and moral virtues in order to be neutral arbiters of scientific theories, especially when choosing between empirically adequate theories. I discuss the parallels in Duhem’s views to those of virtue epistemologists, who understand justified belief as that arrived at by a cognitive agent with intellectual and moral virtues, showing (...) how consideration of Duhem as a virtue epistemologist offers insights into his views, as well as providing possible answers to some puzzles about virtue epistemology. The extent to which Duhem holds that the intellectual and moral virtues of the scientist determine scientific knowledge has not been generally noticed. (shrink)

In response to a recent argument by David Bloor, I argue that denying absolutes does not necessarily lead to relativism, that one can be a fallibilist without being a relativist. At issue are the empirical natural sciences and what might be called “framework relativism”, that is, the idea that there is always a conceptual scheme or set of practices in use, and all observations are theory-laden relative to the framework. My strategy is to look at the elements that define (...) a relativist stance and show where the pragmatic fallibilist disagrees. Defending the pragmatic notion of experience will be central, given that relativists reject the idea that experience can play a role in objectively justifying belief. We can reject all absolutes and start from the premise that everything is historical, contingent, and situated. One of the lessons of pragmatism is that universal and fixed principles are not necessary for objective knowledge. (shrink)

Recent defenses of a priori knowledge can be applied to the idea of conventions in science in order to indicate one important sense in which conventionalism is correctsome elements of physical theory have a unique epistemological status as a functionally a priori part of our physical theory. I will argue that the former a priori should be treated as empirical in a very abstract sense, but still conventional. Though actually coming closer to the Quinean position than recent defenses of a (...) priori knowledge, the picture of science developed here is very different from that developed in Quinean holism in that categories of knowledge can be differentiated. (shrink)

In response to a recent argument by David Bloor, I argue that denying absolutes does not necessarily lead to relativism, that one can be a fallibilist without being a relativist. At issue are the empirical natural sciences and what might be called “framework relativism”, that is, the idea that there is always a conceptual scheme or set of practices in use, and all observations are theory-laden relative to the framework. My strategy is to look at the elements that define (...) a relativist stance and show where the pragmatic fallibilist disagrees. Defending the pragmatic notion of experience will be central, given that relativists reject the idea that experience can play a role in objectively justifying belief. We can reject all absolutes and start from the premise that everything is historical, contingent, and situated. One of the lessons of pragmatism is that universal and fixed principles are not necessary for objective knowledge. (shrink)

Arthur Pap worked in analytic philosophy while maintaining a strong Kantian or neo-Kantian element throughout his career, stemming from his studying with Ernst Cassirer. I present these elements in the different periods of Pap’s works, showing him to be a consistent critic of logical empiricism, which Pap shows to be incapable of superseding the Kantian framework. Nevertheless, Pap’s work is definitely analytic philosophy, both in terms of the content and the style. According to Pap, the central topics of analytic philosophy (...) concern meaning, modality, and analysis. Pap was also influenced by pragmatism, especially in his dissertation, although he does not fully embrace it in either its classical or its Quinean form. (shrink)

Arthur Pap was not quite a Logical Empiricist. He wrote his dissertation in philosophy of science under Ernest Nagel, and he published a textbook in the philosophy of science at the end of his tragically short career, but most of his work would be classified as analytic philosophy. More important, he took some stands that went against Logical Empiricist orthodoxy and was a persistent if friendly critic of the movement. Pap diverged most strongly from Logical Empiricism in his theory of (...) a “functional a priori” in which fundamental principles of science are hardened into definitions and act as criteria for further inquiry. Pap was strongly influenced by the pragmatists C. I. Lewis and John Dewey in developing this alternative theory of a priori knowledge. Using Poincaré’s conventionalism as a springboard, Pap attempted to substantiate these views with examples from physics, and this was his largest foray into philosophy of science topics. Pap, as well as Lewis and Dewey, developed an alternative theory of the a priori in the 1950s that never quite took hold, despite the fact that their views are very intriguing and similar to Michael Friedman’s recent work on the constitutive a priori. (shrink)

In a response to my recent article in this journal, Shahram Shahryari argues that I fail to present a third position between absolutism and relativism. He makes two points: first, that fallibilism is insufficient as an alternative, because it is compatible with both relativism and absolutism. The second point is that my argument that experience can lead to objective judgment without being a new absolute fails. I discuss these in turn, showing that both critiques fail and that pragmatism is a (...) genuine alternative between absolutism and relativism. (shrink)

Standard histories of mathematics and of analytic philosophy contend that work on the foundations of mathematics was motivated by a crisis such as the discovery of paradoxes in set theory or the discovery of non-Euclidean geometries. Recent scholarship, however, casts doubt on the standard histories, opening the way for consideration of an alternative motive for the study of the foundations of mathematics—unification. Work on foundations has shown that diverse mathematical practices could be integrated into a single framework of axiomatic systems (...) and that much of mathematics could be expressed in a single language. The new framework was the product of an interdisciplinary coalition whose ideas resemble those later adopted by the Vienna Circle and logical empiricists. (shrink)

I trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. I analyze the kinds of arguments offered by Jules Hoüel in 1860-1870 for the unprovability of the parallel postulate and for the existence of non-Euclidean geometries, especially his reaction to the publication of Beltrami’s seminal papers, showing that Beltrami was much more concerned with the existence (...) of non-Euclidean objects than he was with the formal consistency of non-Euclidean geometries. The final step towards rigorous consistency proofs is taken in the 1880s by Henri Poincaré. It is the formal conception of geometry, stripping the geometric primitive terms of their usual meanings, that allows the introduction of a modern fully rigorous consistency proof. (shrink)

I will present two examples of influential (and incorrect) interpretations of Poincaré, pinpointing their errors and documenting some of their diffusion. The first example, which appears to have been initiated by Moritz Schlick, is the widespread misinterpretation of Poincaré’s argument for geometric conventionalism by basing it on the underdetermination of theories in science. The second example, having to do with Poincaré’s claim that Euclidean and non-Euclidean geometries are inter-translatable, stems from Louis Rougier and was spread in the English language literature (...) by Max Black. I will then reflect on whether it is possible to avoid fragmentation in the interpretation of Poincaré, using Jeremy Gray’s admirable attempt at completeness in his intellectual biography of Poincaré as an example. Finally, I will propose one possible new direction for study of Poincaré that might enrich our view of him substantially by achieving a level of detail that has so far been lacking. (shrink)

The main innovation in Questioning Technology is Feenberg?s use of the results of various social constructivist accounts of science and technology to rethink the philosophy of technology. I agree with Feenberg that the social constructivist studies developed by historians and sociologists refute the essentialist account of technology that has been the mainstream position of philosophers of technology. The autonomy of technology seems to be nothing but a myth from the point of view of social construction, since social and political factors (...) always influence decisions made in technology and science. However, there is a tension in Feenberg?s position, in that he seems to want to keep the general analytical framework that the essentialist account of technology makes available, while at the same time rejecting essentialism and, indeed, showing forcefully how it gets in the way of the positive program he develops for democratizing technology. I argue that Feenberg should clarify what kind of social constructive account of technology he will adopt, and that the general categories for understanding technology that Feenberg retains are problematic. I conclude by arguing that a thoroughgoing antiessentialist philosophy of technology can still provide a general analysis of modernity and develop normative claims including those regarding social justice, without relying on general categories. (shrink)

I look at the debates of the status of Newton's laws, whether they can each, or all together be considered emprical or a priori.

Introduction to conference papers published in HOPOS.

Essay review of Stephanie Ruphy, Scientific Pluralism Reconsidered: A New Approach to the (Dis)Unity of Science.

Essay review of Hasok Chang, Realism for Realistic People: A New Pragmatist Philosophy of Science.

This is a review of the first volume of Herbert Marcuse's collected works. Highlights include correspondence with Heidegger, who refuses to repudiate the Nazis.

New perspectives on Pierre Duhem’s The aim and structure of physical theory Content Type Journal Article DOI 10.1007/s11016-010-9467-3 Authors Anastasios Brenner, Department of Philosophy, Paul Valéry University-Montpellier III, Route De Mende, 34199 Montpellier cedex 5, France Paul Needham, Department of Philosophy, University of Stockholm, 10691 Stockholm, Sweden David J. Stump, Department of Philosophy, University of San Francisco, 2130 Fulton Street, San Francisco, CA 94117, USA Robert Deltete, Department of Philosophy, Seattle University, 901 12th Avenue, Seattle, WA 98122-1090, USA (...) Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796 Journal Volume Volume 20 Journal Issue Volume 20, Number 1. (shrink)

New Translation of Henri Poincaré's Science and Hypothesis, including new material and editorial commentary. New Introduction by David J. Stump.

Confronted with the apparent explanatory gap between physical processes and consciousness, there are many possible reactions. Some deny that any explanatory gap exists at all. Some hold that there is an explanatory gap for now, but that it will eventually be closed. Some hold that the explanatory gap corresponds to an ontological gap in nature.

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

*[[This paper appears in _Toward a Science of Consciousness II: The Second Tucson Discussions and Debates_ (S. Hameroff, A. Kaszniak, and A.Scott, eds), published with MIT Press in 1998. It is a transcript of my talk at the second Tucson conference in April 1996, lightly edited to include the contents of overheads and to exclude some diversions with a consciousness meter. A more in-depth argument for some of the claims in this paper can be found in Chapter 6 of my (...) book _The Conscious Mind_ (Chalmers, 1996). ]]. (shrink)

[[This was written as a commentary on Ned Block 's paper "On A Confusion about a Function of Consciousness" . It appeared in _Behavioral_ _and Brain Sciences_ 20:148-9, 1997, and also in the collection _The Nature of Consciousness: Philosophical Debates_ edited by Block, Flanagan, and Guzeldere. ]].

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

The term ‘emergence’ often causes confusion in science and philosophy, as it is used to express at least two quite different concepts. We can label these concepts _strong_ _emergence_ and _weak emergence_. Both of these concepts are important, but it is vital to keep them separate.

The search for neural correlates of consciousness (or NCCs) is arguably the cornerstone in the recent resurgence of the science of consciousness. The search poses many difficult empirical problems, but it seems to be tractable in principle, and some ingenious studies in recent years have led to considerable progress. A number of proposals have been put forward concerning the nature and location of neural correlates of consciousness. A few of these include.

The Matrix presents a version of an old philosophical fable: the brain in a vat. A disembodied brain is floating in a vat, inside a scientist’s laboratory. The scientist has arranged that the brain will be stimulated with the same sort of inputs that a normal embodied brain receives. To do this, the brain is connected to a giant computer simulation of a world. The simulation determines which inputs the brain receives. When the brain produces outputs, these are fed back (...) into the simulation. The internal state of the brain is just like that of a normal brain, despite the fact that it lacks a body. From the brain’s point of view, things seem very much as they seem to you and me. (shrink)

Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every ordinary open physical system implements every finite-state automaton. I argue that Putnam's argument fails, but that it points out the need for a better understanding of the bridge between the theory of computation and the theory of physical systems: the relation of implementation. It also raises questions about the class of automata that can serve as a basis for understanding the (...) mind. I develop an account of implementation, linked to an appropriate class of automata, such that the requirement that a system implement a given automaton places a very strong constraint on the system. This clears the way for computation to play a central role in the analysis of mind. (shrink)