## Conceptions of the Continuum

### BibTeX

@MISC{Feferman_conceptionsof,

author = {Solomon Feferman},

title = {Conceptions of the Continuum},

year = {}

}

### OpenURL

### Abstract

Abstract: A number of conceptions of the continuum are examined from the perspective of conceptual structuralism, a view of the nature of mathematics according to which mathematics emerges from humanly constructed, intersubjectively established, basic structural conceptions. This puts into question the idea from current set theory that the continuum is somehow a uniquely determined concept. Key words: the continuum, structuralism, conceptual structuralism, basic structural conceptions, Euclidean geometry, Hilbertian geometry, the real number system, settheoretical conceptions, phenomenological conceptions, foundational conceptions, physical conceptions. 1. What is the continuum? On the face of it, there are several distinct forms of the continuum as a mathematical concept: in geometry, as a straight line, in analysis as the real number system (characterized in one of several ways), and in set theory as the power set of the natural numbers and, alternatively, as the set of all infinite sequences of zeros and ones. Since it is common to refer to the continuum, in what sense are these all instances of the same concept? When one speaks of the continuum in current settheoretical

### Citations

542 |
The Construction of Social Reality
- Searle
- 1995
(Show Context)
Citation Context ...oney, property, governments, and marriages. Yet many facts regarding these things are ‘objective’ facts in the sense that they are not a matter of [our] preferences, evaluations, or moral attitudes. (=-=Searle 1995-=-, p.1) He might well have added board games to the list of things that exist only because we believe them to exist, and facts such as that in the game of chess, it is not possible to force a checkmate... |

228 | Non-Standard Analysis - Robinson - 1974 |

196 | How the Laws of Physics Lie - Cartwright - 1983 |

56 | Synthetic Differential Geometry - Kock |

48 | Systems of explicit mathematics with non-constructive µ-operator - Feferman, Jäger - 1993 |

47 | Philosophy of Mathematics. Structure and Ontology - Shapiro - 1997 |

36 | Ideen zu einer reinen Phanomenologie undphanomenologischen Philosophie. III. Die Phanomenologie und die Pundamente der Wissenschaften. Husseriiana V. Den Haag: Nijhoff - Husserl - 1952 |

34 | and Non-Euclidean Geometries: Development and History - Greenberg - 1974 |

34 | Mathematics as a Science of Patterns - Resnik - 1997 |

23 | Geometry: Euclid and Beyond - Hartshorne - 2000 |

22 | Kritische Untersuchungen über die Grundlagen der Analysis, Veit - Weyl, Kontinuum - 1918 |

21 | From Brouwer to Hilbert. The Debate on the - Mancosu, ed - 1998 |

19 | The indispensability of mathematics - Colyvan |

19 | The applicability of mathematics as a philosophical problem - Steiner - 1998 |

19 | Tarski’s system of geometry - Tarski, Givant - 1999 |

19 | The Continuum: A Critical Examination of the Foundation of Analysis - Weyl - 1987 |

18 | Über Definitionsbereiche von Funktionen - Brouwer |

18 |
From Kant to Hilbert. A Source Book
- Ewald, ed
- 1996
(Show Context)
Citation Context ...cond class, then there exists one and only one point which produces this division of all points into two classes, this severing of the straight line into two portions.’ (Dedekind 1872, translation in =-=Ewald 1996-=- p. 771) The more precise formulation uses the notion of a cut (X1, X2) in a linearly ordered set (M, <), which holds when both X1 and X2 are non-empty subsets of M whose union is M and is such that e... |

17 | Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen. Teubner, Leipzig, 1883. Translated by William Ewald as “Foundations of a general theory of manifolds: a mathematico-philosophical i - Cantor |

17 | Stetigkeit und irrationale Zahlen - Dedekind |

16 | Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics - Feferman - 1993 |

16 | Nonstandard analysis - Robert - 2003 |

16 | The franchising handbook - Sherman - 1993 |

14 | Nonstandard Analysis and its Applications - Cutland - 1988 |

14 | Mathematics Without Numbers - Hellman - 1989 |

13 | What is Cantor’s continuum problem? The American Mathematical Monthly, 54:515–525. Quoted from the edition in (Feferman et al - Gödel - 1964 |

11 | Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen - Cantor - 1980 |

11 |
Indispensability and Practice
- Maddy
- 1992
(Show Context)
Citation Context ... in “the analysis of water waves by assuming the water to be infinitely deep or the treatment of matter as continuous in fluid dynamics or the treatment of energy as a continuously varying quantity” (=-=Maddy 1992-=- p.281). One could add to such problematic examples the assumption of point masses in Newtonian mechanics, and the derivation of planetary motions around the sun ignoring all but one planet. 25 Whiche... |

10 | Mathematical thought and its objects - Parsons - 2008 |

10 | The unreasonable effectiveness of mathematics - Wigner - 1960 |

9 | The mathematical continuum, from intuition to logic - Longo - 1999 |

8 | le platonisme dans les mathématiques - Sur |

5 | A Structural Account of Mathematics - Chihara - 2003 |

4 |
Categorical Dynamics
- Lawvere
- 1979
(Show Context)
Citation Context ...tion of its status. A quite different approach to infinitesimal analysis using a “nonpunctiform”, “smooth” modification Rsm of the real number system was initiated by Lawvere in lectures in 1967 (cf. =-=Lawvere 1979-=-) and later pursued systematically by Kock (1981) among others; Bell (2008) provides an elegant and intuitively motivated exposition. The infinitesimals in this version form a non-trivial set of quant... |

4 | Is God a Mathematician? Simon and - Livio - 2009 |

4 | Simpson: Subsystems of Second Order Arithmetic - G - 1999 |

3 | Never say ’Never’! On the communication problem between intuitionism and classicism - Hellman - 1989 |

3 |
Foundations of Geometry 2nd English edition, tr. by Leo Unger, publ. by Open Court
- Hilbert
- 1971
(Show Context)
Citation Context ...hat would preserve the relations existing among the original elements as well as the fundamental properties of line order and congruence that follows from Axioms I-III, and from V1 is impossible. 10 (=-=Hilbert 1988-=-, p. 26) 8 Incidentally, Cantor (1883) referred to Dedekind’s construction as “eigenartige”, or “idiosyncratic” as Ewald (1996) p. 897 translates it. In Cantor’s further discussion in comparison with ... |

2 | The reality of mathematics and the case of set theory - Isaacson - 2008 |

2 | Review of Field - Malament - 1982 |

1 | A Primer of Infinitesimal Analysis, 2 nd Edition - Bell - 2008 |

1 | Intuitionisme en Formalisme, Inaugural Address at the University of - Brouwer - 1912 |

1 | Weyl vindicated: Das Kontinuum 70 years later, in Temi e prospettive della logica e della scienza contemporanee - unknown authors - 1988 |

1 |
Conceptual structuralism and the continuum, lecture for the VIIIth International Ontology Congress
- Feferman
- 2008
(Show Context)
Citation Context ... demonstrated truth about the standard conception of the prime numbers that must surely be accepted by whoever does grasp that concept and the usual proof. Conceptual structuralism is illustrated in (=-=Feferman 2008-=-) by discussion of two constellations of structural notions, first of the positive integer sequence and second of the power set conception of the continuum. For comparison with what I say below about ... |

1 | Cognition of structure - Giaquinto - 2008 |

1 | Quine and the web of belief - Resnik - 2005 |

1 | Mathematics⎯application and applicability - Steiner - 2005 |