This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)
Penelope Maddy and Elliott Sober recently attacked the confirmational indispensability argument for mathematical realism. We cannot count on science to provide evidence for the truth of mathematics, they say, because either scientific testing fails to confirm mathematics (Sober) or too much mathematics occurs in false scientific theories (Maddy). I present a pragmatic indispensability argument immune to these objections, and show that this argument supports mathematical realism independently of scientific realism. Mathematical realism, it turns out, may be even more firmly established (...) than scientific realism. (shrink)
By a logical theory I mean a formal system together with its semantics, meta-theory, and rules for translating ordinary language into its notation. Logical theories can be used descriptively (for example, to represent particular arguments or to depict the logical form of certain sentences). Here the logician uses the usual methods of empirical science to assess the correctness of his descriptions. However, the most important applications of logical theories are normative, and here, I argue, the epistemology is that of wide (...) reflective equilibrium. The result is that logic not only assesses our inferential practice but also changes it. I tie my discussion to Thagard's views concerning the relationship between psychology and logic, arguing against him that psychology has and should have only a peripheral role in normative (and most descriptive) applications of logic. (shrink)
CONTENTS: 1 Introductory Remark; 2 Formalism of Empirical Theories; 3 Semantics of Formalized Languages; 4 Interpretation of Empirical Theories; 5 Interpretation of Observational Terms; 6 Interpretation of Theoretical Terms; 7 Main Types of Meaning Postulates for Theoretical Terms; 8 Some Other Kinds of Meaning Postulates for Theoretical Terms; 9 Main Types of Statements in an Empirical Theory; 10 Towards a More Realistic Account; 11 Concluding Remarks; 12 Bibliographical Note.
ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.
This paper is concerned with the genesis of mathematical knowledge. While some philosophers might argue that mathematics has no real subject matter and thus is not a body of knowledge, I will not try to dissuade them directly. I shall not attempt such a refutation because it seems clear to me that mathematicians do know such things as the Mean Value Theorem, The Fundamental Theorem of Arithmetic, Godel's Theorems, etc. Moreover, this is much more evident to me than any philosophical (...) view of mathematics I know of — including my own. So I am going to take mathematics as my starting point. (shrink)
This paper argues against Logical Realism, in particular against the view that there are facts of matters of logic that obtain independently of us, our linguistic conventions and inferential practices. The paper challenges logical realists to provide a non-intuition based epistemology, one which would be compatible with the empiricist and naturalist convictions motivating much recent anti-realist philosophy of mathematics.
We have seen that despite Feferman's results Gödel's second theorem vitiates the use of Hilbert-type epistemological programs and consistency proofs as a response to mathematical skepticism. Thus consistency proofs fail to have the philosophical significance often attributed to them.This does not mean that consistency proofs are of no interest to philosophers. We know that a ‘non-pathological’ consistency proof for a system S will use methods which are not available in S. When S is as strong a system as we are (...) willing to entertain seriously then a consistency proof for it will yield no epistemological gain. But in other cases philosophers might argue that the proof uses methods which are merely different rather than stronger than those available in the system in question. This claim has been made, for example, in the case of the constructive consistency proofs for elementary number theory. Similar philosophical investigations can be made on relative consistency proofs, since these differ from each other in the principles they employ. For example, most relative consistency proofs can be carried out within elementary number theory, but without using the theory of real numbers, no one has been able to prove the consistency of Quine's ML relative to that of his NF.What about the consistency of all mathematics or of some strong system for set theory? How do we answer the skeptic? Since here a convincing proof is not possible, we have established that the skeptic demands too much. We cannot be certain that our axioms are free from contradiction and must treat them as hypotheses which may be abandoned or modified in the face of further mathematical experience. This attitude is taken by many foundational workers who also go on to voice opinions about thelikelihood that various systems are consistent. Since these opinions are variously supported by appeals to the clarity of the mathematical concept formalized, the existence or non-existence of ‘weird’ models for the system and actual empirical experience with the system, this is surely a fruitful area for philosophical research. (shrink)
Michael Dummett argued that Frege was a realist while Hans Sluga countered that he was an objective idealist in the rationalist tradition of Kant and Lotze. Sluga ties Frege's idealism to the context principle which he argues Frege never gave up. It is argued that Sluga has correctly interpreted the pre?1891 Frege while Dummett is correct concerning the later period. It is also claimed that the context principle was dropped prior to 1891 to be replaced by the doctrine of unsaturated (...) entities. (shrink)
This paper is a nontechnical exposition of the author's view that mathematics is a science of patterns and that mathematical objects are positions in patterns. the new elements in this paper are epistemological, i.e., first steps towards a postulational theory of the genesis of our knowledge of patterns.
Nothing has been more central to philosophy of mathematics than the distinction between mathematical and physical objects. Yet consideration of quantum particles shows the inadequacy of the popular spacetime and causal characterizations of the distinction. It also raises problems for an assumption used recently by Field, Hellman and Horgan, namely, that the mathematical realm is metaphysically independent of the physical one.
In Science without numbers Hartry Field attempted to formulate a nominalist version of Newtonian physics?one free of ontic commitment to numbers, functions or sets?sufficiently strong to have the standard platonist version as a conservative extension. However, when uses for abstract entities kept popping up like hydra heads, Field enriched his logic to avoid them. This paper reviews some of Field's attempts to deflate his ontology by inflating his logic.
This paper examines four arguments in support of Frege's theory of incomplete entities, the heart of his semantics and ontology. Two of these arguments are based upon Frege's contributions to the foundations of mathematics. These are shown to be question-begging. Two are based upon Frege's solution to the problem of the relation of language to thought and reality. They are metaphysical in nature and they force Frege to maintain a theory of types. The latter puts his theory of incomplete entities (...) in the paradoxical position of maintaining that it is no theory at all. Moreover, his metaphysics rules out well-known suggestions for avoiding this difficulty. (shrink)