Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.

This collection of essays explores what makes modern mathematics ‘modern’, where ‘modern mathematics’ is understood as the mathematics done in the West from roughly 1800 to 1970. This is not the trivial matter of exploring what makes recent mathematics recent. The term ‘modern’ (or ‘modernism’) is used widely in the humanities to describe the era since about 1900, exemplified by Picasso or Kandinsky in the visual arts, Rilke or Pound in poetry, or Le Corbusier or Loos in architecture (a building (...) by the latter graces the cover of this book’s dust jacket). (shrink)

When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.

The Gödelian symphony -- Foundations and paradoxes -- This sentence is false -- The liar and Gödel -- Language and metalanguage -- The axiomatic method or how to get the non-obvious out of the obvious -- Peano's axioms -- And the unsatisfied logicists, Frege and Russell -- Bits of set theory -- The abstraction principle -- Bytes of set theory -- Properties, relations, functions, that is, sets again -- Calculating, computing, enumerating, that is, the notion of algorithm -- Taking numbers (...) as sets of sets -- It's raining paradoxes -- Cantor's diagonal argument -- Self-reference and paradoxes -- Hilbert -- Strings of symbols -- In mathematics there is no ignorabimus -- Gödel on stage -- Our first encounter with the incompleteness theorem -- And some provisos -- Gödelization, or say it with numbers! -- TNT -- The arithmetical axioms of tnt and the standard model N -- The fundamental property of formal systems -- The Gödel numbering -- And the arithmetization of syntax -- Bits of recursive arithmetic -- Making algorithms precise -- Bits of recursion theory -- Church's thesis -- The recursiveness of predicates, sets, properties, and relations -- And how it is represented in typographical number theory -- Introspection and representation -- The representability of properties, relations, and functions -- And the Gödelian loop -- I am not provable -- Proof pairs -- The property of being a theorem of TNI (is not recursive!) -- Arithmetizing substitution -- How can a TNT sentence refer to itself? -- Fixed point -- Consistency and omega-consistency -- Proving G1 -- Rosser's proof -- The unprovability of consistency and the immediate consequences of G1 and -- G2 -- Technical interlude -- Immediate consequences of G1 and G2 -- Undecidable1 and undecidable 2 -- Essential incompleteness, or the syndicate of mathematicians -- Robinson arithmetic -- How general are Gödel's results? -- Bits of turing machine -- G1 and G2 in general -- Unexpected fish in the formal net -- Supernatural numbers -- The culpability of the induction scheme -- Bits of truth (not too much of it, though) -- The world after Gödel -- Bourgeois mathematicians! : the postmodern interpretations -- What is postmodernism? -- From Gödel to Lenin -- Is biblical proof decidable? -- Speaking of the totality -- Bourgeois teachers! -- (un)interesting bifurcations -- A footnote to Plato -- Explorers in the realm of numbers -- The essence of a life -- The philosophical prejudices of our times -- From Gödel to Tarski -- Human, too human -- Mathematical faith -- I'm not crazy! -- Qualified doubts -- From gentzen to the dialectica interpretation -- Mathematicians are people of faith -- Mind versus computer : Gödel and artificial intelligence -- Is mind (just) a program? -- Seeing the truth and going outside the system -- The basic mistake -- In the haze of the transfinite -- Know thyself : Socrates and the inexhaustibility of mathematics -- Gödel versus wittgenstein and the paraconsistent interpretation -- When geniuses meet -- The implausible Wittgenstein -- There is no metamathematics -- Proof and prose -- The single argument -- But how can arithmetic be inconsistent? -- The costs and benefits of making Wittgenstein plausible. (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. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a (...) traditional stumbling block for students on the way to the Godel incompleteness theorems. (shrink)

In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi is (...) evidently one-to-one, and the image of phi is contained in S. Indeed, it is properly contained in S, because I myself can be an object of my thoughts and so belong to S, but I myself am not a mere thought. Thus S is infinite. (shrink)

(No abstract is available for this citation).

Recent years have seen a number of naturalist accounts of mathematics. Philip Kitcher’s version is one of the most important and influential. This paper includes a critical exposition of Kitcher’s views and a discussion of several issues including: mathematical epistemology, practice, history, the nature of applied mathematics. It argues that naturalism is an inadequate account and compares it with mathematical Platonism, to the advantage of the latter.

Ask a philosopher what a proof is, and you’re likely to get an answer hii empaszng one or another regimentationl of that notion in terms of a finite sequence of formalized statements, each of which is either an axiom or is derived from an axiom by certain inference rules. (Wecan call this the formal conception of proof) Ask a mathematician what a proof is, and you will rbbl poay get a different-looking answer. Instead of stressing a partic- l uar regimented (...) notion of proof, the answer the mathematician will give ilikl.. (shrink)

The philosophy of mathematics of the last few decades is usually distinguished into mainstream and maverick.1 The mainstream philosophy of mathematics considers mathematics as a static body of knowledge; it is mainly concerned with the question of the justification of mathematical knowledge; it holds that there is an absolutely certain, or at least fairly reliable, foundation for mathematics; it considers mathematical logic as a canon for the philosophy of mathematics; it assumes that a detailed account of mathematical practice would be (...) desirable but not really essential; it generally sets itself within the framework of analytic philosophy. The maverick philosophy of mathematics considers mathematics as a dynamic body of knowledge; it is mainly concerned with the question of the growth of mathematical knowledge, including the dynamics of mathematical discovery; it holds that there is no absolutely certain foundation for mathematics; it considers mathematical logic very useful to show the limitations of the mainstream philosophy of mathematics by means of the limitative results, but inadequate to deal with the question of the growth of mathematical knowledge; it assumes that only a detailed analysis of mathematical practice could lead to a philosophy of mathematics worth its name; it generally sets itself outside the framework of analytic philosophy. The mainstream philosophy of mathematics consists of the three big foundational schools of the first few decades of the twentieth century, namely logicism (Frege, Russell), formalism (Hilbert), intuitionism (Brouwer, Heyting), and the positions which ensued from them in the second half of the twentieth.. (shrink)

Giaquinto’s book is a philosophical examination of how the search for certainty was carried out within the philosophy of mathematics from the late nineteenth to roughly the mid-twentieth century. It is also a good introduction to the philosophy of mathematics and the views expressed in the body of the book, in addition to being thorough and stimulating, seem generally undisputable. Some doubts, however, could be raised about the concluding remarks concerning the present situation in the philosophy of mathematics, specifically Zermelo's (...) iterative concept of set as a foundation for set theory, Simpson's reverse mathematics, Feferman’s Predicativist Programme, and the cognitive foundations of mathematics. (shrink)

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique famililar to any mathematician, but rarely taught); it provides practice by indicating explicitly where work with pencil and paper must interrupt reading. The book then turns to proofs, (...) showing in detail how to discover the structure of a potential proof from the form of the theorem (especially the conclusion). It shows the logical structure behind proof forms (especially quantifier arguments), and analyzes, thoroughly, the often sketchy coding of these forms in proofs as they are ordinarily written. The common introductroy material (such as sets and functions) is used for the numerous exercises, and the book concludes with a set of "Laboratories" on these topics in which the student can practice the skills learned in the earlier chapters. Intended for use as a supplementary text in courses on introductory real analysis, advanced calculus, abstract algebra, or topology, the book may also be used as the main text for a "transitions" course bridging the gab between calculus and higher mathematics. (shrink)

When I was a teenager growing up in Los Angeles in the early 1940s, my dream was to become a mathematical physicist: I was fascinated by the ideas of relativity theory and quantum mechanics, and I read popular expositions which, in those days, besides Einstein’s The Meaning of Relativity, was limited to books by the likes of Arthur S. Eddington and James Jeans. I breezed through the high-school mathematics courses (calculus was not then on offer, and my teachers barely understood (...) it), but did less well in physics, which I should have taken as a reality check. On the philosophical side I read a mixed bag of Bertrand Russell, John Dewey and Alfred Korzybski (the missionary for “General Semantics” in Science and Sanity, a mish-mash of the theory of types, non-. (shrink)

In the year 1900, the German mathematician David Hilbert gave a dramatic address in Paris, at the meeting of the 2nd International Congress of Mathematicians—an address which was to have lasting fame and importance. Hilbert was at that point a rapidly rising star, if not superstar, in mathematics, and before long he was to be ranked with Henri Poincar´.

The most prominent “schools” or programs for the foundations of mathematics that took shape in the first third of the 20th century emerged directly from, or in response to, developments in mathematics and logic in the latter part of the 19th century. The first of these programs, so-called logicism, had as its aim the reduction of mathematics to purely logical principles. In order to understand properly its achievements and resulting problems, it is necessary to review the background from that previous (...) period. (shrink)

Provability, Computability and Reflection.

Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has been (...) a central theme running through the great competing philosophies of mathematics of the twentieth century, though each has refashioned the connection and its import in distinctive ways. The present collection will be of interest to students of both mathematics and of mind. Contents include: "Introduction" by Alexander George; "What is Mathematics About?" by Michael Dummett; "The Advantages of Honest Toil over Theft" by George Boolos; "The Law of Excluded Middle and the Axiom of Choice" by W.W. Tait; "Mechanical Procedures and Mathematical Experience" by Wilfried Sieg; "Mathematical Intuition and Objectivity" by Daniel Isaacson; "Intuition and Number" by Charles Parsons; and "Hilbert's Axiomatic Method and the Laws of Thought" by Michael Hallett. (shrink)

Social revolutions--that is critical periods of decisive, qualitative change--are a commonly acknowledged historical fact. But can the idea of revolutionary upheaval be extended to the world of ideas and theoretical debate? The publication of Kuhn's The Structure of Scientific Revolutions in 1962 led to an exciting discussion of revolutions in the natural sciences. A fascinating, but little known, off-shoot of this was a debate which began in the United States in the mid-1970's as to whether the concept of revolution could (...) be applied to mathematics as well as science. Michael Grove declared that revolutions never occur in mathematics, while Joseph Dauben argued that there have been mathematical revolutions and gave some examples. This book is the first comprehensive examination of the question. It reprints the original papers of Grove, Dauben, and Mehrtens, together with additional chapters giving their current views. To this are added new contributions from nine further experts in the history of mathematics, who each discuss an important episode and consider whether it was a revolution. The whole question of mathematical revolutions is thus examined comprehensively and from a variety of perspectives. This thought-provoking volume will interest mathematicians, philosophers, and historians alike. (shrink)

Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. W. (...) Tait; 7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson; 8. On the outside looking in: a caution about conservativeness John P. Burgess; Part III. Set Theory: 9. Gödel and set theory Akihiro Kanamori; 10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman; 11. On the question of absolute undecidability Peter Koellner; Part IV. Philosophy of Mathematics: 12. What did Gödel believe and when did he believe it? Martin Davis; 13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual realism Donald A. Martin. (shrink)

Viewed this way, the texts yield striking examples of language and notation that are irreducibly ambiguous and productive because they are ambiguous.

(No abstract is available for this citation).

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

The author focuses on the tension "realism - idealism" in the philosophy of mathematics, but he does that from the perspective of a theoretical physicist. It is not only that one's standpoint in the philosophy of mathematics determines our understanding of the effectiveness of mathematics in physics, but also the fact that mathematics is so effective in physical sciences tells us something about the nature of mathematics.

Machine generated contents note: Introduction Rudy Rucker; Part I. Perspectives on Infinity from History: 1. Infinity as a transformative concept in science and theology Wolfgang Achtner; Part II. Perspectives on Infinity from Mathematics: 2. The mathematical infinity Enrico Bombieri; 3. Warning signs of a possible collapse of contemporary mathematics Edward Nelson; Part III. Technical Perspectives on Infinity from Advanced Mathematics: 4. The realm of the infinite W. Hugh Woodin; 5. A potential subtlety concerning the distinction between determinism and nondeterminism W. (...) Hugh Woodin; 6. Concept calculus: much better than Harvey M. Friedman; Part IV. Perspectives on Infinity from Physics and Cosmology: 7. Some considerations on infinity in physics Carlo Rovelli; 8. Cosmological intimations of infinity Anthony Aguirre; 9. Infinity and the nostalgia of the stars Marco Bersanelli; 10. Infinities in cosmology Michael Heller; Part V. Perspectives on Infinity from Philosophy and Theology: 11. God and infinity: directions for future research Graham Oppy; 12. Notes on the concept of the infinite in the history of Western metaphysics David Bentley Hart; 13. God and infinity: theological insights from Cantor's mathematics Robert J. Russell; 14. A partially skeptical response to Hart and Russell Denys A. Turner. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

This volume explores the central problems and exposes intriguing new directions in the philosophy of mathematics, making it an essential teaching resource, ...

Panini’s 5th century BC generative Sanskrit grammar is shown to be sufficient to describe any formal or computational system in oral form, using a new observation regarding Panini’s “auxilary markers” and the methods of Post production systems. Modern universal computation is described using rules modeled on Sanskrit positional number words representing large numbers in versified sutras. Two versions of “Panini arithmetic” are defined to contrast the computational strength of non-positional and positional numeration. The computational increase between additive and multiplicative arithmetic (...) is attributed to the cognitive skills required for the grammaticalization of positional number words. Positional notations are formally described using Presburger arithmetic and results of Fischer-Rabin on bounded multiplication. As a whole the construction shows how mathematical computation is constructed from natural language structure and the cognitive skills needed for language use. The modern origins of generative linguistics and Turing’s universal computation are described in a new historical light, with Indian positional notation providing computational expertise needed for modern logic. The paper will interest Sanskritists, computer scientists and logicians, and cognitive linguists. No knowledge of Panini grammar, Sanskrit or linguistic grammaticalization is assumed. (shrink)

This essay is about mathematics as a written or literate language. Through historical and anthropological observations drawn from the history of Greek mathematics and the oral tradition preceding the rise of literacy in Greece, as well as considerations on the nature of alphabetic writing, it is argued that three essential linguistic features of mathematical discourse are jointly possible only through written, alphabetic language. The essay concludes with a discussion of how both alphabetic principles and issues related to literacy faced by (...) the Greeks in the axiomatization of geometry play a central role in some specific metamathematical theories. Drawing extensively on the work of ArpSd Szatx5, Eric Havelock, and Albert Lord, the implications developed between Szab6's history of Greek mathematics and Havelock and Lord's theories of writing and oral traditions (Homer's in particular) are the author's own, as are the applications to modern logic. (shrink)

Lucid and comprehensive essay surveys the views of Plato, Aristotle, Leibniz and Kant on the nature of mathematics; examines the propositions and theories of the schools these philosophers inspired; and concludes with a discussion on the relation between mathematical theories, empirical data and philosophical presuppositions.

In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...

David Bostock: Philosophy of Mathematics: An Introduction Content Type Journal Article Pages 425-428 DOI 10.1007/s10670-011-9273-3 Authors Holger A. Leuz, Institut für Philosophie, Universität Regensburg, 93040 Regensburg, Germany Journal Erkenntnis Online ISSN 1572-8420 Print ISSN 0165-0106 Journal Volume Volume 74 Journal Issue Volume 74, Number 3.

The Conceptual Roots of Mathematics is a comprehensive study of the foundation of mathematics. Lucas, one of the most distinguished Oxford scholars, covers a vast amount of ground in the philosophy of mathematics, showing us that it is actually at the heart of the study of epistemology and metaphysics.

For some time now, academic philosophers of mathematics have concentrated on intramural debates, the most conspicuous of which has centered on Benacerraf's epistemological challenge. By the late 1980s, something of a consensus had developed on how best to respond to this challenge. But answering Benacerraf leaves untouched the more advanced epistemological question of how the axioms are justified, a question that bears on actual practice in the foundations of set theory. I suggest that the time is ripe for philosophers of (...) mathematics to turn outward, to take on a problem of real importance for mathematics itself. (shrink)

The aim of this paper is to present and discuss the philosophical views concerning mathematics of the founders of the so called Warsaw Mathematical School, i.e., Wacław Sierpiński, Zygmunt Janiszewski and Stefan Mazurkiewicz. Their interest in the philosophy of mathematics and their philosophical papers will be considered. We shall try to answer the question whether their philosophical views influenced their proper mathematical investigations. Their views towards set theory and its rôle in mathematics will be emphasized.

The aim of the paper is to present the main trends and tendencies in the philosophy of mathematics in the 20th century. To make the analysis more clear we distinguish three periods in the development of the philosophy of mathematics in this century: (1) the first thirty years when three classical doctrines: logicism, intuitionism and formalism were formulated, (2) the period from 1931 till the end of the fifties - period of stagnation, and (3) from the beginning of the sixties (...) till today when new tendencies putting stress on the knowing subject and the research practice of mathematicians arose. (shrink)

In this dissertation on Hilary Putnam's philosophy, I investigate his development regarding meaning and necessity, in particular mathematical necessity. Putnam has been a leading American philosopher since the end of the 1950s, becoming famous in the 1960s within the school of analytic philosophy, associated in particular with the philosophy of science and the philosophy of language. Under the influence of W.V. Quine, Putnam challenged the logical positivism/empiricism that had become strong in America after World War II, with influential exponents such (...) as Rudolf Carnap and Hans Reichenbach. Putnam agreed with Quine that there are no absolute a priori truths. In particular, he was critical of the notion of truth by convention. Instead he developed a notion of relative a priori truth, that is, a notion of necessary truth with respect to a body of knowledge, or a conceptual scheme. Putnam's position on necessity has developed over the years and has always been connected to his important contributions to the philosophy of meaning. I study Hilary Putnam's development through an early phase of scientific realism, a middle phase of internal realism, and his later position of a natural or commonsense realism. I challenge some of Putnam’s ideas on mathematical necessity, although I have largely defended his views against some other contemporary major philosophers; for instance, I defend his conceptual relativism, his conceptual pluralism, as well as his analysis of the realism/anti-realism debate. (shrink)

Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including an (...) essay on the philosophy of logic first published in 1971. (shrink)