Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...) immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

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)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

According to realist structuralism, mathematical objects are places in abstract structures. We argue that in spite of its many attractions, realist structuralism must be rejected. For, first, mathematical structures typically contain intra-structurally indiscernible places. Second, any account of place-identity available to the realist structuralist entails that intra-structurally indiscernible places are identical. Since for her mathematical singular terms denote places in structures, she would have to say, for example, that 1 = − 1 in the group (Z, +). We call this (...) the identity problem and conclude that nominalism is presently the safest route for the structuralist. (shrink)

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...) simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual. (shrink)

Robert Brandom; XII*—The Significance of Complex Numbers for Frege's Philosophy of Mathematics1, Proceedings of the Aristotelian Society, Volume 96, Issue 1, 1.

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

A natural question to raise about words—or about their mental analogue, concepts—is: in virtue of what facts do they refer to whatever it is that they refer to? In virtue of what does the word ‘insanity’ refer to insanity, the word ‘entropy’ refer to entropy, and so forth? There is a view called “disquotationalism” according to which this question is misconceived. I’ll have something to say about that later. But putting disquotationalism aside for now, it would seem that this question (...) about words or concepts needs an answer. And the only kind of answer we can take seriously is a naturalistic answer: the Brentanian answer that words or concepts refer by virtue of irreducibly mental connections between the mind and the world is not a serious contender. What if no naturalistic answer is possible? If we put disquotationalism aside, the only conclusion to be drawn is that the assumption that ‘insanity’ and ‘entropy’ determinately refer to insanity and to entropy is an illusion. (shrink)