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)

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, supplemented by evidence from Stetigkeit und (...) irrationale Zahlen, his scientific correspondence, and his Nachlaß. (shrink)

Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

INTRODUCTION Before Kant almost every philosopher subscribed to the view that truth is some kind of correspondence between ideas and 'what is the case'. ...

Available from UMI in association with The British Library. ;Plato's philosophy of mathematics must be a philosophy of 4th century B.C. Greek mathematics, and cannot be understood if one is not aware that the notions involved in this mathematics differ radically from our own notions; particularly, the notion of arithmos is quite different from our notion of number. The development of the post-Renaissance notion of number brought with it a different conception of what mathematics is, and we must be able (...) to see the differences before we can begin to appreciate Plato's views, which must never be seen as applying to a revolutionary notion of mathematics . For this reason the first part of this dissertation must comprise a detailed analysis of these differences, along with some criticisms of those of Plato's modern interpreters who have not taken this point. Much of what will be found here can be found in Jacob Klein's Greek Mathematics and the Origin of Algebra, which will be extensively quoted and interpreted. This book is often quoted, but very seldom understood; or at least, those lessons which should be taken from it are rarely applied to Platonic exegesis. In the second part I attempt a better explanation of Plato's mathematical ontology, beginning with the most extensive passage in the dialogues, the triple image of Sun, Line and Cave in Republic. This reveals a relation between sensibles and forms which is at odds with the traditional view that mathematical objects are never precisely accurate instances of their forms--but this view can be refuted. Plato's view of the nature of mathematical objects will be seen to be a metaphorical way of saying what Aristotle says logically, and is entirely appropriate to the aims and methods of his contemporary mathematicians. Aristotle's criticism of Plato's views is examined and found to make sense and to be appropriate to views which Plato could consistently have held. (shrink)

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...) theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925–1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of logical (...) positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

I consider different versions of a structuralist view of mathematical objects, according to which characteristic mathematical objects have no more of a 'nature' than is given by the basic relations of a structure in which they reside. My own version of such a view is non-eliminative in the sense that it does not lead to a programme for eliminating reference to mathematical objects. I reply to criticisms of non-eliminative structuralism recently advanced by Keränen and Hellman. In replying to the former, (...) I rely on a distinction between 'basic' and 'constructed' structures. A conclusion is that ideas from the metaphysical tradition can be misleading when applied to the objects of modern mathematics. (shrink)

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)

mix of the concrete and the abstract (if we include universals, laws, propositions and the like), but whichever of these is the case, the world is not purely abstract, as a formal structure is. One might claim, however, that the world is a structure1 in the sense that it instantiates a structure and is nothing else. In other words, all there is to the..

Nicholas Shackel (2011) has proposed a number of arguments to save the Dipert–Bird model of physical reality from the sorts of unpalatable consequence I identified in Oderberg 2011. Some consequences, he thinks, are only apparent; others are real but palatable. In neither case does he seem to me to have deflected the concerns I raised, leaving graph structuralism on Dipert–Bird lines as problematic as ever.

In the last decade, structural realism has been presented as the most promising strategy for developing a defensible realist view of science. Nevertheless, controversy still continues in relation to the exact meaning of the proposed structuralism. The stronger version of structural realism, the so-called ontic structural realism, has been argued for on the basis of some ideas related to quantum mechanics. In this paper, I will first outline these arguments, mainly developed by Steven French and James Ladyman, then challenge them, (...) putting a particular emphasis on a metaphysical principle which, even though it is crucial for the whole argument, hasn't been, in my opinion, clearly stated and examined yet. My overall view will be that a weaker version of the form of realism we are considering is more plausible – namely, epistemic structural realism. (shrink)

Kant once wrote, “Many historians of philosophy... let the philosophers speak mere nonsense.... They cannot see beyond what the philosophers actually said to what they really meant to say.’ Rae Langton begins her book with this quotation. She concludes it, after a final pithy summary of the position that she attributes to Kant, with the comment, “That, it seems to me, is what Kant said, and meant to say”. In between are some two hundred pages of admirably clear, tightly argued (...) exegesis, supplemented by detailed references, in which she offers what the dust jacket blurb fairly describes as “a new interpretation and defence of Kant’s doctrine of things in themselves.” This is an extremely engaging and thought-provoking book. I am pleased to recommend it. (shrink)

Abstract In his Aquinas Lecture 1992 at Marquette University, Ernan McMullin discusses whether there is a pattern of inference that particularly characterizes the sciences of nature. He pursues this theme both on a historical and a systematic level. There is a continuity of concern across the ages that separate the Greek inquiry into nature from our own vastly more complex scientific enterprise. But there is also discontinuity, the abandonment of earlier ideals as unworkable. The natural sciences involve many types of (...) inference; three of these interlock in a special way to produce “retroductive inference,” the kind of complex inference that supports causal theory. (shrink)

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all (...) mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail. (shrink)

Why be a scientific realist? The predominant motivation is explanationist: we need realism to understand the successfulness of science. Why be an antirealist? The predominant motivation is skeptical: theory systematically exceeds the reach of empirical warrant. Antirealists deny that explanatory power is evidential; realists deny that the reach of empirical warrant summarily terminates at the boundary of the observable. But these counterarguments are mere protection of philosophical stances to which the adversaries independently incline.

Introduction Jarrett Leplin Hilary Putnam seems to have inaugurated a new era of interest in realism with his declaration that realism is the ...

Leplin attempts to reinstate the common sense idea that theoretical knowledge is achievable, indeed that its achievement is part of the means to progress in empirical knowledge. He sketches the genesis of the skeptical position, then introduces his argument for Minimalist Scientific Realism -- the requirement that novel predicitons be explained, and the claim that only realism about scientific theories can explain the importance of novel prediction.

The now-classic Metaphors We Live By changed our understanding of metaphor and its role in language and the mind. Metaphor, the authors explain, is a fundamental mechanism of mind, one that allows us to use what we know about our physical and social experience to provide understanding of countless other subjects. Because such metaphors structure our most basic understandings of our experience, they are "metaphors we live by"--metaphors that can shape our perceptions and actions without our ever noticing them. In (...) this updated edition of Lakoff and Johnson's influential book, the authors supply an afterword surveying how their theory of metaphor has developed within the cognitive sciences to become central to the contemporary understanding of how we think and how we express our thoughts in language. (shrink)

Constructive empiricism is supposed to offer a positive alternative to scientific realism that dispenses with the need for metaphysics. I first review the terms of the debate before arguing that the standard objections to constructive empiricism are not decisive. I then explain van Fraassen's views on modality and counterfactuals, and argue that, because constructive empiricism recommends on epistemological grounds belief in the empirical adequacy rather than the truth of theories, it requires that there be an objective modal distinction between the (...) observable and the unobservable. This conclusion is incompatible with van Fraassen's empiricism. Finally I explain some further problems for constructive empiricism that arise when we consider modal matters. (shrink)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.