In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...) of maximality principles. (shrink)

This is a critical analysis of the first part of Go¨del’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Go¨del’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing machine) can comprehend the mathematizing (...) potentialities of human thought, and, if not, there are absolutely unsolvable mathematical problems of diophantine form. (shrink)

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

The best known and most widely discussed aspect of Kurt Gödel's philosophy of mathematics is undoubtedly his robust realism or platonism about mathematical objects and mathematical knowledge. This has scandalized many philosophers but probably has done so less in recent years than earlier. Bertrand Russell's report in his autobiography of one or more encounters with Gödel is well known:Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians (...) might hope to meet it hereafter.On this Gödel commented:Concerning my “unadulterated” Platonism, it is no more unadulterated than Russell's own in 1921 when in the Introduction to Mathematical Philosophy … he said, “Logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.” At that time evidently Russell had met the “not” even in this world, but later on under the infuence of Wittgenstein he chose to overlook it.One of the tasks I shall undertake here is to say something about what Gödel's platonism is and why he held it.A feature of Gödel's view is the manner in which he connects it with a strong conception of mathematical intuition, strong in the sense that it appears to be a basic epistemological factor in knowledge of highly abstract mathematics, in particular higher set theory. Other defenders of intuition in the foundations of mathematics, such as Brouwer and the traditional intuitionists, have a much more modest conception of what mathematical intuition will accomplish. (shrink)

My aim in this paper is to propose what seems to me a distinctive approach to set theoretic methodology. By ‘methodology’ I mean the study of the actual methods used by practitioners, the study of how these methods might be justified or reformed or extended. So, for example, when the intuitionist's philosophical analysis recommends a wholesale revision of the methods of proof used in classical mathematics, this is a piece of reformist methodology. In contrast with the intuitionist, I will focus (...) more narrowly on the methods of contemporary set theory, and, more importantly, I will certainly recommend no sweeping reforms. Rather, I begin from the assumption that the methodologist's job is to account for set theory as it is practiced, not as some philosophy would have it be. This credo lies at the very heart of the so-called ‘naturalism’ to be described here.A philosopher looking at set theoretic practice from the outside, so to speak, might notice any number of interesting methodological questions, beginning with the intuitionist's ‘why use classical logic?’, but this sort of question is not a live issue for most practicing set theorists. One central question on which the philosopher's and the practitioner's interests converge is this: what is the status of independent statements like the continuum hypothesis (CH)? A number of large questions arise in its wake: what criteria should guide the search for new axioms? For that matter, what reasons support our adoption of the old axioms? (shrink)

The formalism of mathematics has always inspired ontological theorization based on it. As is evident from his magnum opus Being and Event, Alain Badiou remains one of the most important contemporary contributors to this enterprise. His famous maxim—“mathematics is ontology” has its basis in the ingenuity that he has shown in capitalizing on Gödel’s and Cohen’s work in the field of set theory. Their work jointly establish the independence of the continuum hypothesis from the standard axioms of Zermelo–Fraenkel set theory, (...) with Gödel’s result showing their consistency to the affirmative, while Cohen’s showing it to the negative. These results serve as the cornerstone of Badiou’s mathematical ontology. In it, drawing heavily on Cohen’s technically formidable method of forcing, Badiou makes the latter result the key to his defense of the possibility of a faithful tracing of the consequences in the ‘state’ of an ‘event’ by a ‘subject’. Whereas, Gödel’s result based on the assumption of constructability becomes the pivot for criticism of the general philosophical orientation that Badiou calls ‘constructivism’. Viewed from a position internal to mathematical formalism itself, and taking into account the twentieth century developments in the relevant field, Badiou’s stance seems to be neither appreciative of the actual course of such developments, nor just to the philosophical view point that was actually maintained by Gödel. In the present paper, this concern is intended to be substantiated through an exposition of certain facts pertaining to the said developments as well as to Gödel’s philosophical inclinations. (shrink)

Kitcher and Aspray distinguish a mainstream tradition in the philosophy of mathematics concerned with foundationalist epistemology, and a ‘maverick’ or naturalistic tradition, originating with Lakatos. My claim is that if the consequences of Lakatos's contribution are fully worked out, no less than a radical reconceptualization of the philosophy of mathematics is necessitated, including history, methodology and a fallibilist epistemology as central to the field. In the paper an interpretation of Lakatos's philosophy of mathematics is offered, followed by some critical discussion, (...) and an extension to a social constructivist position (which might well have been unacceptable to Lakatos). (shrink)

Ian Hacking's [6] is a spirited romp though a broad field of metaphysics, touching on a variety of important questions, and appealing to deep results in mathematical logic while remaining free of logical pedantry. Philosophical journals might be more fun to read if others could write in his style. It is an essay in applying the theory of logic expounded in more detail in his very interesting [7]. Unfortunately, despite my sympathy for his project, I have a number of criticisms (...) to make of his argument. Some of them are picky logical points, but the major conclusions of [6] are affected. (shrink)

In this paper I discuss some issues concerning the semantics of set theory. The set-theoretical nature of the semantics of axiomatic set theory raises a problem of circularity. It is well-known that when we adopt the model-theoretic point of view in the study of mathematical theories we decide to consider primarily structures in their relationship with languages. But for the fundamental structure adopted in a set-theoretic setting, namely the collection of all sets, together with the relation of membership, we would (...) have in that case a structure whose universe would be a set, and at the same time it would have the power of the collection of all sets. This is precisely the origin of the fundamental problem in the semantics of set theory. Apparently, the recourse to an intuitive or pre-theoretic semantics in terms of the iterative conception of sets is unavoidable. However, this strategy doesn´t seem to solve some basic philosophical topics involved and linked to the central semantic problem of set theory, namely, how to understand quantification over the totality of sets. Finally, I put forward some meta-philosophical considerations concerning the semantic problem I deal with. (shrink)