One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...) that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...) that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

This article attempts to address the problem of the applicability of mathematics in physics by considering the (narrower) question of what make the so-called special functions of mathematical physics special. It surveys a number of answers to this question and argues that neither simple pragmatic answers, nor purely mathematical classificatory schemes are sufficient. What is required is some connection between the world and the way investigators are forced to represent the world.

This paper considers definitions of classical dynamical chaos that focus primarily on notions of predictability and computability, sometimes called algorithmic complexity definitions of chaos. I argue that accounts of this type are seriously flawed. They focus on a likely consequence of chaos, namely, randomness in behavior which gets characterized in terms of the unpredictability or uncomputability of final given initial states. In doing so, however, they can overlook the definitive feature of dynamical chaos--the fact that the underlying motion generating the (...) behavior exhibits extreme trajectory instability. I formulate a simple criterion of adequacy for any definition of chaos and show how such accounts fail to satisfy it. (shrink)

Thermodynamics and Statistical Mechanics are related to one another through the so-called "thermodynamic limit'' in which, roughly speaking the number of particles becomes infinite. At critical points (places of physical discontinuity) this limit fails to be regular. As a result, the "reduction'' of Thermodynamics to Statistical Mechanics fails to hold at such critical phases. This fact is key to understanding an argument due to Craig Callender to the effect that the thermodynamic limit leads to mistakes in Statistical Mechanics. I discuss (...) this argument and argue that the conclusion is misguided. In addition, I discuss an analogous example where a genuine physical discontinuity---the breaking of drops---requires the use of infinite idealizations. (shrink)

A traditional view of mathematical modeling holds, roughly, that the more details of the phenomenon being modeled that are represented in the model, the better the model is. This paper argues that often times this ‘details is better’ approach is misguided. One ought, in certain circumstances, to search for an exactly solvable minimal model—one which is, essentially, a caricature of the physics of the phenomenon in question.

This paper discusses the alleged reduction of Thermodynamics to Statistical Mechanics. It includes an historical discussion of J. Willard Gibbs' famous caution concerning the connections between thermodynamic properties and statistical mechanical properties---his so-called ``Thermodynamic Analogies.'' The reasons for Gibbs' caution are reconsidered in light of relatively recent work in statistical physics on the existence of the thermodynamic limit and the explanation of critical behavior using the renormalization group apparatus. A probabilistic understanding of the renormalization group arguments allows for a kind (...) of unification of Gibbs' approach with contemporary understanding of the reduction problem. (shrink)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

First published in 1949 expressly to introduce logical positivism to English speakers. Reichenbach, with Rudolph Carnap, founded logical positivism, a form of epistemofogy that privileged scientific over metaphysical truths.

This lucid and comprehensive essay by a distinguished philosopher surveys the views of Plato, Aristotle, Leibniz, and Kant on the nature of mathematics. It examines the propositions and theories of the schools these philosophers inspired, and it concludes by discussing the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition.

Introduction: Science and Common Sense Long before the beginnings of modern civilization, men ac- quired vast funds of information about their environment. ...

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

Mark Wilson presents a highly original and broad-ranging investigation of the way we get to grips with the world conceptually, and the way that philosophical problems commonly arise from this. He combines traditional philosophical concerns about human conceptual thinking with illuminating data derived from a large variety of fields including physics and applied mathematics, cognitive psychology, and linguistics. Wandering Significance offers abundant new insights and perspectives for philosophers of language, mind, and science, and will also reward the interest of psychologists, (...) linguists, and anyone curious about the mysterious ways in which useful language obtains its practical applicability. (shrink)

Let us begin with the simple observation that applied mathematics can be very tough! It is a common occurrence that basic physical principle instructs us to construct some syntactically simple set of differential equations, but it then proves almost impossible to extract salient information from them. As Charles Peirce once remarked, you can’t get a set of such equations to divulge their secrets by simply tilting at them like Don Quixote. As a consequence, applied mathematicians are often forced to pursue (...) roundabout and shakily rationalized expedients if any useful progress is to be made. Often these provisional and quasi-empirical procedures within applied mathematics loom large in motivating the “anti-realist” or “anti-unificationist” conclusions of Nancy Cartwright and allied authors. (shrink)

Contrary to the claim that measurement standards are absolutely accurate by definition, I argue that unit definitions do not completely fix the referents of unit terms. Instead, idealized models play a crucial semantic role in coordinating the theoretical definition of a unit with its multiple concrete realizations. The accuracy of realizations is evaluated by comparing them to each other in light of their respective models. The epistemic credentials of this method are examined and illustrated through an analysis of the contemporary (...) standardization of time. I distinguish among five senses of ‘measurement accuracy’ and clarify how idealizations enable the assessment of accuracy in each sense. (shrink)

The two major modern accounts of explanation are the causal and unification accounts. My aim in this paper is to provide a kind of unification of the causal and the unification accounts, by using the central technical apparatus of the unification account to solve a central problem faced by the causal account, namely, the problem of determining which parts of a causal network are explanatorily relevant to the occurrence of an explanandum. The end product of my investigation is a causal (...) account of explanation that has many of the advantages of the unification account. (shrink)

The first part of the essay describes how mathematics, in particular mathematical concepts, are applicable to nature. mathematical constructs have turned out to correspond to physical reality. this correlation between the world and mathematical concepts, it is argued, is a true phenomenon. the second part of this essay argues that the applicability of mathematics to nature is mysterious, in that not only is there no known explanation for the correlation between mathematics and physical reality, but there is a good reason (...) to except no such correlation. it is argued that there is a subjective element in the decision as to what constitutes a mathematical concept. a number of purported solutions to the mystery of the applicability of mathematics to nature are discarded, until we are left with eugene wigner's thesis that we are here confronted with a "miracle that we neither understand nor deserve.". (shrink)

A natural way to think of models is as abstract entities. If theories employ models to represent the world, theories traffic in abstract entities much more widely than is often assumed. This kind of thought seems to create a problem for a scientific realist approach to theories. Scientific realists claim theories should be understood literally. Do they then imply the reality of abstract entities? Or are theories simply—and incurably—false? Or has the very idea of literal understanding to be abandoned? Is (...) then fictionalism towards scientific theories inevitable? This paper argues that scientific realism can happily co-exist with models qua abstracta. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

This work is the long awaited sequel to the author’s classic Frege: Philosophy of Language. But it is not exactly what the author originally planned. He tells us that when he resumed work on the book in the summer of 1989, after a long interruption, he decided to start afresh. The resulting work followed a different plan from the original drafts. The reader does not know what was lost by their abandonment, but clearly much was gained: The present work may (...) be the most compactly organized of Dummett’s philosophical books, and its value as commentary on Frege is enhanced by its being organized as a study of Die Grundlagen der Arithmetik and selected parts of Grundgesetze. Moreover, since Dummett has been thinking and writing about Frege for forty years, we have a single, mature chronological stage of his thought. (shrink)

My goal here is to explore the relationship between pure and applied mathematics and then, eventually, to draw a few morals for both. In particular, I hope to show that this relationship has not been static, that the historical rise of pure mathematics has coincided with a gradual shift in our understanding of how mathematics works in application to the world. In some circles today, it is held that historical developments of this sort simply represent changes in fashion, or in (...) social arrangements, governments, power structures, or some such thing, but I resist the full force of this way of thinking, clinging to the old school notion that we have gradually learned more about the world over time, that our opinions on these matters have improved, and that seeing how we reached the point we now occupy may help us avoid falling back into old philosophies that are now no longer viable. In that spirit, it seems to me that once we focus on the general question of how mathematics relates to science, one observation is immediate: the march of the centuries has produced an amusing reversal of philosophical fortunes. Let me begin there. In the beginning, that is, in Plato, mathematical knowledge was sharply distinguished from ordinary perceptual belief about the world. According to Plato’s metaphysics, mathematics is the study of eternal and unchanging abstract Forms,1 while science is uncertain and changeable opinion about the world of mere becoming. Indeed, in Plato’s lights, of the two, only mathematics deserves to be called ‘knowledge’ at all! Of course if sense perception cannot give us knowledge, if mathematics is not about perceivable things, then Plato owes us an account of how we ordinary humans achieve this wonderful insight into the properties of the abstract world of Forms. Plato’s answer is that we do not actually acquire mathematical knowledge at all; rather, we recollect it from a time before birth, when our souls, unencumbered by physical bodies, were free to commune with the Forms, and not just the mathematical ones, either – also Truth, Beauty, Justice, the Good, and so on.2 Whatever appeal this position may have held for the ancient Greeks, it will not begin to satisfy a contemporary, scientifically minded philosopher.. (shrink)

Classic work by one of the most brilliant figures in post-war analytic philosophy.

This essay contains a partial exploration of some key concepts associated with the epistemology of realist philosophies of science. It shows that neither reference nor approximate truth will do the explanatory jobs that realists expect of them. Equally, several widely-held realist theses about the nature of inter-theoretic relations and scientific progress are scrutinized and found wanting. Finally, it is argued that the history of science, far from confirming scientific realism, decisively confutes several extant versions of avowedly 'naturalistic' forms of scientific (...) realism. (shrink)

Studies on rational conjecture, inference, and reckoning.

The art of rational conjecture.--The art of drawing inferences.--The art of reckoning.

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

Classic work by one of the most brilliant figures in post-war analytic philosophy.

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...