more from this thinker     |     more from this text


Single Idea 14440

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V ]

Full Idea

There is no logical reason against infinite collections, and we are therefore justified, in logic, in investigating the hypothesis that there are such collections.

Gist of Idea

We may assume that there are infinite collections, as there is no logical reason against them

Source

Bertrand Russell (Introduction to Mathematical Philosophy [1919], VIII)

Book Ref

Russell,Bertrand: 'Introduction to Mathematical Philosophy' [George Allen and Unwin 1975], p.77

Related Idea

Idea 15931 The iterative conception needs the Axiom of Infinity, to show how far we can iterate [Lavine]


The 13 ideas with the same theme [axiom for a vast set based on successors]:

We have the idea of self, and an idea of that idea, and so on, so infinite ideas are available [Dedekind, by Potter]
Frege, unlike Russell, has infinite individuals because numbers are individuals [Frege, by Bostock]
We may assume that there are infinite collections, as there is no logical reason against them [Russell]
Infinity says 'for any inductive cardinal, there is a class having that many terms' [Russell]
Infinity: there is an infinity of distinguishable individuals [Ramsey]
The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]
Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry]
The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
Infinite sets are essential for giving an account of the real numbers [Maddy]
Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]
Infinity: There exists a set of the empty set and the successor of each element [Clegg]
Infinity: There is at least one limit level [Potter]