Cantor's abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor's proposal based upon the set theoretic framework of Bourbaki - called BK - which is a First-order set theory extended with Hilbert's ε-operator. Moreover, it is argued that the BK system and the ε-operator provide a faithful reconstruction of Cantor's insights on cardinal numbers. (...) I will introduce first the axiomatic setting of BK and the definition of cardinal numbers by means of the ε-operator. Then, after presenting Cantor's abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo-von Neumann and Frege-Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege's objections to Cantor's proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the ε-operator in the BK definition of cardinal numbers. (shrink)

Cantor’s abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor’s proposal based upon the set theoretic framework of Bourbaki—called BK—which is a First-order set theory extended with Hilbert’s \-operator. Moreover, it is argued that the BK system and the \-operator provide a faithful reconstruction of Cantor’s insights on cardinal numbers. I will introduce first (...) the axiomatic setting of BK and the definition of cardinal numbers by means of the \-operator. Then, after presenting Cantor’s abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo–von Neumann and Frege–Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege’s objections to Cantor’s proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the \-operator in the BK definition of cardinal numbers. (shrink)

This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. "Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics." --The American Mathematical Monthly.

Plato’s philosophy is important to Badiou for a number of reasons, chief among which is that Badiou considered Plato to have recognised that mathematics provides the only sound or adequate basis for ontology. The mathematical basis of ontology is central to Badiou’s philosophy, and his engagement with Plato is instrumental in determining how he positions his philosophy in relation to those approaches to the philosophy of mathematics that endorse an orthodox Platonic realism, i.e. the independent existence of a realm of (...) mathematical objects. The Platonism that Badiou makes claim to bears little resemblance to this orthodoxy. Like Plato, Badiou insists on the primacy of the eternal and immu- table abstraction of the mathematico-ontological Idea; however, Badiou’s reconstructed Platonism champions the mathematics of post-Cantorian set theory, which itself af rms the irreducible multiplicity of being. Badiou in this way recon gures the Platonic notion of the relation between the one and the multiple in terms of the multiple-without-one as represented in the axiom of the void or empty set. Rather than engage with the Plato that is gured in the ontological realism of the orthodox Platonic approach to the philosophy of mathematics, Badiou is intent on characterising the Plato that responds to the demands of a post-Cantorian set theory, and he considers Plato’s philosophy to provide a response to such a challenge. In effect, Badiou reorients mathematical Platonism from an epistemological to an ontological problematic, a move that relies on the plausibility of rejecting the empiricist ontology underlying orthodox mathematical Platonism. To draw a connec- tion between these two approaches to Platonism and to determine what sets them radically apart, this paper focuses on the use that they each make of model theory to further their respective arguments. (shrink)

In a recent paper, Kit Fine offers a reconstruction of Cantor's theory of ordinals. It avoids certain mentalistic overtones in it through both a non-standard ontology and a non-standard notion of abstraction. I argue that this reconstruction misses an essential constructive and computational content of Cantor's theory, which I in turn reconstruct using Martin-Löf's theory of types. Throughout, I emphasize Kantian themes in Cantor's epistemology, and I also argue, as against Michael Hallett's interpretation, for the need for a constructive (...) understanding of Cantorian ?existence principles? (shrink)

How-many numbers, such as 2 and 1000, relate or are capable of expressing the size of a group or set. Both Cantor and Frege analyzed how-many number in terms of one-to-one correspondence between two sets. That is to say, one arrived at numbers by either abstracting from the concept of correspondence, in the case of Cantor, or by using it to provide an out-and-out definition, in the case of Frege.

Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it (...) is of the essence of cardinal numbers that the cardinal size of a collection does not depend upon how its members are ordered'. This paper's goal is to implement Hale's response to the Good Company problem by producing a Cantorian argument for HP. In Section 2, we present the Heck-Mancosu argument against neologicism. In Section 3, we discuss Hale's defence of Hume's Principle. In Section 4, we discuss Cantor's abstractionist definitions of number. In Section 5, we argue that good abstraction must comply with what we call ‘Gödel’s Minimal Account of Abstraction’ (GMAA). We finally show (Sections 5 and 6) that non-Cantorian theories of cardinality fail to satisfy GMAA. (shrink)

This chapter contains sections titled: This chapter generalizes the technique to other cases, including the identity of species and persons, and makes the appropriate concept of approximation precise. What need to be found are generalizations with worthwhile instances, beyond those already considered. The first section abstracts a formal schema: when a supposed criterion of identity M for objects of some kind turns out to be non‐transitive, the best approximation to the original criterion is a maximal M‐relation. The second section applies (...) the schema to operationally defined quantities, species, and non‐Cantorian cardinal numbers. The third section applies it in more detail to persons. The fourth section considers the case in which M is held to be a sufficient condition rather than a necessary one. The final section analyses the relevant concept of a best approximation. (shrink)

An exchange between Patrick Grim and Alvin Plantinga regarding Cantorian arguments against the possibility of an omniscient being.

Almost all set theorists pay at least lip service to Cantor’s definition of a set as a collection of many things into one whole; but empty and singleton sets do not fit with it. Adapting Dana Scott’s axiomatization of the cumulative theory of types, we present a ‘Cantorian’ system which excludes these anomalous sets. We investigate the consequences of their omission, examining their claim to a place on grounds of convenience, and asking whether their absence is an obstacle to (...) the theory’s ability to represent ordered pairs or to support the arithmetization of analysis or the development of the theory of cardinals and ordinals. (shrink)

Cantor's diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantor's theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.

It is often alleged that Cantor’s views about how the set theoretic universe as a whole should be considered are fundamentally unclear. In this article we argue that Cantor’s views on this subject, at least up until around 1896, are relatively clear, coherent, and interesting. We then go on to argue that Cantor’s views about the set theoretic universe as a whole have implications for theology that have hitherto not been sufficiently recognised. However, the theological implications in question, at least (...) as articulated here, would not have satisfied Cantor himself. (shrink)

This is a book review of Cantorian set theory and limitations of size by Michael Hallett.

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and (...) his rejection of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

In 1887 Georg Cantor gave an influential but cryptic proof of theimpossibility of infinitesimals. I first give a reconstruction ofCantor's argument which relies mainly on traditional assumptions fromEuclidean geometry, together with elementary results of Cantor's ownset theory. I then apply the reconstructed argument to theinfinitesimals of Abraham Robinson's nonstandard analysis. Thisbrings out the importance for the argument of an assumption I call theChain Thesis. Doubts about the Chain Thesis are seen to render thereconstructed argument inconclusive as an attack on the (...) infinitelysmall. (shrink)

In 1887 Georg Cantor gave an influential but cryptic proof of theimpossibility of infinitesimals. I first give a reconstruction ofCantor's argument which relies mainly on traditional assumptions fromEuclidean geometry, together with elementary results of Cantor's ownset theory. I then apply the reconstructed argument to theinfinitesimals of Abraham Robinson's nonstandard analysis. Thisbrings out the importance for the argument of an assumption I call theChain Thesis. Doubts about the Chain Thesis are seen to render thereconstructed argument inconclusive as an attack on the (...) infinitelysmall. (shrink)

Tangled Type Theory was introduced by Randall Holmes in [3] as a new way of approaching the consistency problem for$\mathrm {NF}$. Although the task of finding models for this theory is far from trivial (considering it is equiconsistent with$\mathrm {NF}$), ways of constructing models for certain fragments of it have been discovered. In this article, we present a simpler way of constructing models of predicative Tangled Type Theory and consequently of predicative$\mathrm {NF}$. In these new models of predicative$\mathrm {NF}$, the (...) universe is well-orderable and equinumerous to the set of singletons. (shrink)

The usual objections to infinite numbers, and classes, and series, and the notion that the infinite as such is self-contradictory, may... be dismissed as groundless. There remains, however, a very grave difficulty, connected with the contradiction [of the class of all classes not members of themselves]. This difficulty does not concern the infinite as such, but only certain very large infinite classes.

The purpose of this paper is to suggest that we are in the midst of a Cantorian bubble, just as, for example, there was a dot com bubble in the late 1990’s.

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

Starting from the generalized concept of syntactically and semantically trivial differences between two formal theories introduced by Arsenijević, we show that two systems of the linear continuum, the Cantorian point-based system and the Aristotelian interval-based system that satisfies Cantor's coherence condition, are only trivially different. So, the 'great struggle' (to use Cantor's phrase) between the two contending parties turns out to be 'much ado about nothing'.

In papers published between 1930 and 1935. Zermelo outlines a foundational program, with infinitary logic at its heart, that is intended to (1) secure axiomatic set theory as a foundation for arithmetic and analysis and (2) show that all mathematical propositions are decidable. Zermelo's theory of systems of infinitely long propositions may be termed "Cantorian" in that a logical distinction between open and closed domains plays a signal role. Well-foundedness and strong inaccessibility are used to systematically integrate highly transfinite (...) concepts of demonstrability and existence. Zermelo incompleteness is then the analogue of the Problem of Proper Classes, and the resolution of these two anomalies is similarly analogous. (shrink)

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

On the first page of “What is Cantor's Continuum Problem?”, Gödel argues that Cantor's theory of cardinality, where a bijection implies equal number, is in some sense uniquely determined. The argument, involving a thought experiment with sets of physical objects, is initially persuasive, but recent authors have developed alternative theories of cardinality that are consistent with the standard set theory ZFC and have appealing algebraic features that Cantor's powers lack, as well as some promise for applications. Here we diagnose Gödel's (...) argument, showing that it fails in two important ways: Its premises are not sufficiently compelling to discredit countervailing intuitions and pragmatic considerations, nor pluralism, and its final inference, from the superiority of Cantor's theory as applied to sets of changeable physical objects to the unique acceptability of that theory for all sets, is irredeemably invalid. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

Abstract pictures are distinguished from depictive pictures in that no visibly recognizable objects can be seen in them. Abstract pictures are thus non-depictive and non-figurative. The question still remains, however, if abstract pictures can be representations. The aim of this chapter is to defend the view that abstract pictures can be representational and therefore have content or subject matter. It will be shown that there are at least three ways to understand what the subject matter of abstract pictures can be: (...) it is either abstracted from figurative content, it is spiritual or the subject matter is produced. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees (...) is considerably more marginal than generally held. (shrink)

Theories of explanation need to account for a puzzling feature of our explanatory practices: the fact that we prefer explanations that are relatively abstract but only moderately so. Contra Franklin-Hall ([2016]), I argue that the interventionist account of explanation provides a natural and elegant explanation of this fact. By striking the right balance between specificity and generality, moderately abstract explanations optimally subserve what interventionists regard as the goal of explanation, namely identifying possible interventions that would have changed the explanandum.

rationality has increasingly been a target of attack in contemporary educational research and practice and in its place practical reason and situated thinking have become a focus of interest. The argument here is that something is lost in this. In illustrating how we might think about the issue, this paper makes a response to the charge that as a result of his commitment to the ‘Enlightenment project’ Vygotsky holds abstract rationality as the pinnacle of thought. Against this it is argued (...) that Vygotsky had a far more sophisticated appreciation of reason and of its remit. The paper proceeds first by examining the picture of Vygotsky that is presented in the work of James Wertsch, and especially his claim that Vygotsky was an ambivalent rationalist, goes on to provide an account of Vygotsky that corrects this picture, and develops this in the light of the work of Robert Brandom, who shares Vygotsky’s inheritance of Hegel. The conclusion towards which this piece points is that the philosophical underpinnings of Vygotsky’s work provide a radically different idea of rationality and epistemology from that characterised as abstract rationality and that this has significance for education studies. (shrink)

Kant’s subject as source of universality and necessity in human understanding is Modern Philosophy's solution to the old problem of the universals, a solution which appeared to supersede once and for all the Aristotelian theory of abstraction. The present paper intends to show how Aquinas's Aristotelian doctrine on abstraction may stand the Kantian challenge and resolve the old problem when three principles are brought into play: 1) the same perfection can subsist in two different modes of being, and (...) thus the universal content of knowledge can be present in the particular reality (Summa, I, 84, 1); 2) things which are really distinct between themselves can be known in their distinction, even when they cannot exist separately (metaphysical distinction justifies gnoseological separation); 3) as Cornelio Fabro suggests, it is artificial to separate in the object of experience the object’s different levels of objectivity (quality, configuration and meaning) and, as a result, human experience could be considered the source not only of sensible content but also of intelligible content. This “defense” of Thomistic abstraction intends to offer an account of knowledge which reunites again epistemology with common sense experience, so that philosophy may no longer be a Platonic abstraction but a meaningful explanation of life. (shrink)