First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The Dutch mathematician and philosopher L. E. J. Brouwer (1881-1966) developed a foundation for mathematics called 'intuitionism'. Intuitionism considers mathematics to consist in acts of mental construction based on internal time awareness. According to Brouwer, that awareness provides the fundamental structure to all exact thinking. In this note, it will be shown how this strand of thought leads to an intuitionistic function that is effectively computable yet non-recursive.

This book presents and survey of the foundations of mathematics. The emphasis is on a mathematical comparison of systems rather than on any exhaustive development of analysis within a single system. Nevertheless, for most systems considered, enough details are given for the development of arithmetic, and the method of constructing the other notions of analysis is indicated. The elements of the general theory of cardinal and ordinal numbers are also furnished in the course of this work.

Book Information The Foundations of Mathematics in the Theory of Sets. The Foundations of Mathematics in the Theory of Sets J. P. Mayberry Cambridge Cambridge University Press 2000 xx + 424 Hardback US$80.00 By J. P. Mayberry. Cambridge University Press. Cambridge. Pp. xx + 424. Hardback:US$80.00.

In this article I propose to look at set theory not only as a founda­tion of mathematics in a traditional sense, but as a foundation for mathemat­ical practice. For this purpose I distinguish between a standard, ontological, set theoretical foundation that aims to find a set theoretical surrogate to every mathematical object, and a practical one that tries to explain mathematical phenomena, giving necessary and sufficient conditions for the proof of mathematical propositions. I will present some example of this (...) use of set theoretical methods, in the context of mainstream mathematics, in terms of independence proofs, equiconsistency results and discussing some recent results that show how it is possible to “complete” the structures H(ℵ1) and H(ℵ2). Then I will argue that a set theoretical foundation of mathematics can be relevant also for the philosophy of mathematical practice, as long as some axioms of set theory can be seen as explanations of mathematical phenomena. In the end I will propose a more general distinction between two different kinds of foundation: a practical one and a theoretical one, drawing some examples from the history of the foundation of mathematics. (shrink)

The physical foundations of mathematics in the theory of emergent space-time-matter were considered. It is shown that mathematics, including logic, is a consequence of equation which describes the fundamental field. If the most fundamental level were described not by mathematics, but something else, then instead of mathematics there would be consequences of this something else.

This book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem (...) and Kripkenstein’s paradox, yielding vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

The four volumes of this collection bring together some of the major contributions to the literature on Gottlob Frege (1848-1925), one of the most formative influences on the course of philosophy during the last hundred years. The first volume provided general assessments of Frege's work and examined its historical context. The present volume deals with Frege's contributions to logic and the foundations of mathematics. The essays are arranged in order of their first publication, providing insight into the historical (...) evolution of the Frege literature. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. (...) The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene. (shrink)

The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on (...) another standard fact of IFL, that first-order logic can adequately express uniformity concepts in real analysis, whereas IFL cannot. This not only radically contradicts Hintikka’s particular claim in that article, but also undermines his whole enterprise of founding mathematics on his logic system. (shrink)

It turns out, time and time again, in order to make serious progress in f.o.m., we need to take actual reasoning and actual development into account at precisely the proper level. If we take these into account too much, then we are faced with information that is just too difficult to create an exact science around - at least at a given state of development of f.o.m. And if we take these into account too little, our findings will not have (...) the relevance to mathematical practice that could be achieved. (shrink)

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory (...) - more precisely, to Hilbert’s main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set (...) theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas. (shrink)

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...) selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies. (shrink)

In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the (...) inconsistent ones, but restricts the conclusions one can draw from them in order to avoid triviality. The theories have enough expressive power to form a justification/explication for most of the established results of classical mathematics. They are therefore not limited by Gödel’s incompleteness theorems. This remarkable result is possible because of the non-recursive character of the final proofs of theorems of non-monotonic theories. I shall argue that, precisely because of the computational complexity of these final proofs, we cannot claim that non-monotonic theories are ideal foundations for mathematics. Nevertheless, thanks to their strength, first order language and the recursive dynamic (defeasible) proofs of theorems of the theory, the non-monotonic theories form (what I call) interesting pragmatic foundations. (shrink)

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, namely, ZFC set theory, all mathematical objects are represented by sets, while ordinary, namely, non–set theoretic, mathematics is represented in the more parsimonious language of second-order arithmetic. This paper deals with the latter representation for the rather basic case of continuous functions on the reals and Baire space. We show (...) that the logical strength of basic theorems named after Tietze, Heine, and Weierstrass changes significantly upon the replacement of “second-order representations” by “third-order functions.” We discuss the implications and connections to the reverse mathematics program and its foundational claims regarding predicativist mathematics and Hilbert’s program for the foundations of mathematics. Finally, we identify the problem caused by representations of continuous functions and formulate a criterion to avoid problematic codings within the bigger picture of representations. (shrink)

In this paper I will review the developments in the foundations of mathematics in the last 150 years in such a way as to show that they have delivered something of a rather different kind: mathematical pluralism.

Mathematical methods in biology occupy a somewhat peculiar position, and the attitude of many biologists toward them is similar to that of many practical engineers toward what is called pure scientific research. The modern progressive engineer recognizes the value of pure science, which seeks for truth regardless of any possibility of practical applications; yet he still frequently shows a definite dislike towards such investigations. The whole history of civilization demonstrates that discoveries which, at the time they were made, did not (...) show any signs of the possibility of being turned into practical use, now lie at the basis of many useful engineering devices. As Professor R. A. Millikan has said, we owe our present-day civilization to Galileo. Every educated person, be he pure scientist or engineer, recognizes this fact. And yet the frame of mind of the “practical” man is not too receptive to investigations which do not show at least some remote prospects of practical applications. Unless he can see at least hypothetically some practical results of such research, he will not give it his whole-hearted enthusiasm. The ultimate criterion in the evaluation of any research still remains its practical use. Those pure scientists who have had close contact with what is called “industrial research” know only too well the truth of the above statement. (shrink)

A Non-Technical Introduction to Ethnomethodological Investigations of the Foundations of Mathematics through the Use of a Theorem of Euclidean Geometry* I ...