In philosophy and theology, infinity is explored in articles under headings such as the
Absolute
Absolute may refer to:
Companies
* Absolute Entertainment, a video game publisher
* Absolute Radio, (formerly Virgin Radio), independent national radio station in the UK
* Absolute Software Corporation, specializes in security and data risk ma ...
,
God
In monotheistic belief systems, God is usually viewed as the supreme being, creator, and principal object of faith. In polytheistic belief systems, a god is "a spirit or being believed to have created, or for controlling some part of the un ...
, and
Zeno's paradoxes
Zeno's paradoxes are a series of philosophical arguments presented by the ancient Greek philosopher Zeno of Elea (c. 490–430 BC), primarily known through the works of Plato, Aristotle, and later commentators like Simplicius of Cilicia. Zeno de ...
.
In
Greek philosophy
Ancient Greek philosophy arose in the 6th century BC. Philosophy was used to make sense of the world using reason. It dealt with a wide variety of subjects, including astronomy, epistemology, mathematics, political philosophy, ethics, metaphysic ...
, for example in
Anaximander
Anaximander ( ; ''Anaximandros''; ) was a Pre-Socratic philosophy, pre-Socratic Ancient Greek philosophy, Greek philosopher who lived in Miletus,"Anaximander" in ''Chambers's Encyclopædia''. London: George Newnes Ltd, George Newnes, 1961, Vol. ...
, 'the Boundless' is the origin of all that is. He took the beginning or first principle to be an endless, unlimited primordial mass (ἄπειρον, ''apeiron''). The
Jain metaphysics and mathematics were the first to define and delineate different "types" of infinities. The work of the mathematician
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( ; ; – 6 January 1918) was a mathematician who played a pivotal role in the creation of set theory, which has become a foundations of mathematics, fundamental theory in mathematics. Cantor establi ...
first placed infinity into a coherent mathematical framework. Keenly aware of his departure from traditional wisdom, Cantor also presented a comprehensive historical and philosophical discussion of infinity. In
Christian
A Christian () is a person who follows or adheres to Christianity, a Monotheism, monotheistic Abrahamic religion based on the life and teachings of Jesus in Christianity, Jesus Christ. Christians form the largest religious community in the wo ...
theology, for example in the work of
Duns Scotus
John Duns Scotus ( ; , "Duns the Scot"; – 8 November 1308) was a Scottish Catholic priest and Franciscan friar, university professor, philosopher and theologian. He is considered one of the four most important Christian philosopher-t ...
, the infinite nature of God invokes a sense of being without constraint, rather than a sense of being unlimited in quantity.
Early thinking
Greek
Anaximander
Anaximander
Anaximander ( ; ''Anaximandros''; ) was a Pre-Socratic philosophy, pre-Socratic Ancient Greek philosophy, Greek philosopher who lived in Miletus,"Anaximander" in ''Chambers's Encyclopædia''. London: George Newnes Ltd, George Newnes, 1961, Vol. ...
was an early thinker who engaged with the idea of infinity, considering it a foundational and primitive basis of reality.
Anaximander was the first in the Greek philosophical tradition to propose that the universe is infinite.
Anaxagoras
Anaxagoras
Anaxagoras (; , ''Anaxagóras'', 'lord of the assembly'; ) was a Pre-Socratic Greek philosopher. Born in Clazomenae at a time when Asia Minor was under the control of the Persian Empire, Anaxagoras came to Athens. In later life he was charged ...
(500–428 BCE) believed that the matter in the universe has an innate capacity for infinite division.
The Atomists
A group of thinkers of ancient Greece (later identified as
the Atomists) all similarly considered matter to be made of an infinite number of structures as considered by imagining dividing or separating matter from itself an infinite number of times.
Aristotle and after
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, a ...
, alive for the period 384–322 BCE, is credited with being the root of a field of thought, in his influence of succeeding thinking for a period spanning more than one subsequent millennium, by his rejection of the idea of
actual infinity
In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity, involves infinite entities as given, actual and completed objects.
The concept of actual infinity was introduced into mathematics near the en ...
.
In Book 3 of his work entitled
''Physics'', Aristotle deals with the
concept
A concept is an abstract idea that serves as a foundation for more concrete principles, thoughts, and beliefs.
Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines as linguistics, ...
of infinity in terms of his notion of
actuality and of
potentiality.
[Wolfgang Achtner">]
This is often called potential infinity; however, there are two ideas mixed up with this. One is that it is always possible to find a number of things that surpasses any given number, even if there are not actually such things. The other is that we may quantify over infinite sets without restriction. For example,
, which reads, "for any
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
n, there exists an integer m > n such that P(m)". The second view is found in a clearer form by medieval writers such as
William of Ockham
William of Ockham or Occam ( ; ; 9/10 April 1347) was an English Franciscan friar, scholastic philosopher, apologist, and theologian, who was born in Ockham, a small village in Surrey. He is considered to be one of the major figures of medie ...
:
The parts are actually there, in some sense. However, in this view, no infinite magnitude can have a number, for whatever number we can imagine, there is always a larger one: "There are not so many (in number) that there are no more."
Aristotle's views on the continuum foreshadow some topological aspects of modern mathematical theories of the continuum. Aristotle's emphasis on the connectedness of the continuum may have inspired—in different ways—modern philosophers and mathematicians such as Charles Sanders Peirce, Cantor, and LEJ Brouwer.
Among the scholastics,
Aquinas
Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the W ...
also argued against the idea that infinity could be in any sense complete or a totality.
Aristotle deals with infinity in the context of the
prime mover
Prime mover may refer to:
Philosophy
*Unmoved mover, a concept in Aristotle's writings
Engineering
* Prime mover (engine or motor), a machine that converts various other forms of energy (chemical, electrical, fluid pressure/flow, etc.) into ener ...
, in Book 7 of the same work, the reasoning of which was later studied and commented on by
Simplicius.
Roman
Plotinus
Plotinus
Plotinus (; , ''Plōtînos''; – 270 CE) was a Greek Platonist philosopher, born and raised in Roman Egypt. Plotinus is regarded by modern scholarship as the founder of Neoplatonism. His teacher was the self-taught philosopher Ammonius ...
considered infinity, while he was alive, during the 3rd century A.D.
Simplicius
Simplicius,
alive circa 490 to 560 AD,
thought the concept "Mind" was infinite.
Augustine
Augustine
Augustine of Hippo ( , ; ; 13 November 354 – 28 August 430) was a theologian and philosopher of Berber origin and the bishop of Hippo Regius in Numidia, Roman North Africa. His writings deeply influenced the development of Western philosop ...
thought infinity to be "incomprehensible for the human mind".
Early Indian thinking
The
Jain upanga
āgama Surya Prajnapti (c. 400 BC) classifies all numbers into three sets: enumerable, innumerable, and infinite. Each of these was further subdivided into three orders:
* Enumerable: lowest, intermediate and highest
* Innumerable: nearly innumerable, truly innumerable and innumerably innumerable
* Infinite: nearly infinite, truly infinite, infinitely infinite

The Jains were the first to discard the idea that all infinities were the same or equal. They recognized different types of infinities: infinite in length (one
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
), infinite in area (two dimensions), infinite in volume (three dimensions), and infinite perpetually (infinite number of dimensions).
According to Singh (1987), Joseph (2000) and Agrawal (2000), the highest enumerable number ''N'' of the Jains corresponds to the modern concept of
aleph-null
In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets. They were introduced by the mathematician Georg Cantor and are named after the symbol he used ...
(the
cardinal number
In mathematics, a cardinal number, or cardinal for short, is what is commonly called the number of elements of a set. In the case of a finite set, its cardinal number, or cardinality is therefore a natural number. For dealing with the cas ...
of the infinite set of integers 1, 2, ...), the smallest cardinal
transfinite number
In mathematics, transfinite numbers or infinite numbers are numbers that are " infinite" in the sense that they are larger than all finite numbers. These include the transfinite cardinals, which are cardinal numbers used to quantify the size of i ...
. The Jains also defined a whole system of infinite cardinal numbers, of which the highest enumerable number ''N'' is the smallest.
In the Jaina work on the
theory of sets, two basic types of infinite numbers are distinguished. On both physical and
ontological
Ontology is the philosophical study of being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every ...
grounds, a distinction was made between ("countless, innumerable") and ''ananta'' ("endless, unlimited"), between rigidly bounded and loosely bounded infinities.
Views from the Renaissance to modern times
Galileo
Galileo Galilei
Galileo di Vincenzo Bonaiuti de' Galilei (15 February 1564 – 8 January 1642), commonly referred to as Galileo Galilei ( , , ) or mononymously as Galileo, was an Italian astronomer, physicist and engineer, sometimes described as a poly ...
(February 15, 1564 – January 8, 1642
) discussed the example of comparing the
square number
In mathematics, a square number or perfect square is an integer that is the square (algebra), square of an integer; in other words, it is the multiplication, product of some integer with itself. For example, 9 is a square number, since it equals ...
s with the
natural number
In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positive in ...
s as follows:
: 1 → 1
2 → 4
3 → 9
4 → 16
…
It appeared by this reasoning as though a "set" (Galileo did not use the terminology) which is naturally smaller than the "set" of which it is a part (since it does not contain all the members) is in some sense the same "size". Galileo found no way around this problem:
The idea that size can be measured by one-to-one correspondence is today known as
Hume's principle
Hume's principle or HP says that, given two collections of objects \mathcal F and \mathcal G with properties F and G respectively, the number of objects with property F is equal to the number of objects with property G if and only if there is a ...
, although Hume, like Galileo, believed the principle could not be applied to the infinite. The same concept, applied by
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( ; ; – 6 January 1918) was a mathematician who played a pivotal role in the creation of set theory, which has become a foundations of mathematics, fundamental theory in mathematics. Cantor establi ...
, is used in relation to infinite sets.
Thomas Hobbes
Famously, the ultra-empiricist
Hobbes
Thomas Hobbes ( ; 5 April 1588 – 4 December 1679) was an English philosopher, best known for his 1651 book ''Leviathan'', in which he expounds an influential formulation of social contract theory. He is considered to be one of the founders ...
(April 5, 1588 – December 4, 1679
) tried to defend the idea of a potential infinity in light of the discovery, by
Evangelista Torricelli
Evangelista Torricelli ( ; ; 15 October 160825 October 1647) was an Italian people, Italian physicist and mathematician, and a student of Benedetto Castelli. He is best known for his invention of the barometer, but is also known for his advances i ...
, of a figure (
Gabriel's Horn) whose
surface area
The surface area (symbol ''A'') of a solid object is a measure of the total area that the surface of the object occupies. The mathematical definition of surface area in the presence of curved surfaces is considerably more involved than the d ...
is infinite, but whose
volume
Volume is a measure of regions in three-dimensional space. It is often quantified numerically using SI derived units (such as the cubic metre and litre) or by various imperial or US customary units (such as the gallon, quart, cubic inch) ...
is finite. Not reported, this motivation of Hobbes came too late as
curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.
Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
s having infinite length yet bounding finite areas were known much before.
John Locke
Locke (August 29, 1632 – October 28, 1704
) in common with most of the
empiricist
In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience and empirical evidence. It is one of several competing views within epistemology, along ...
philosophers, also believed that we can have no proper idea of the infinite. They believed all our ideas were derived from
sense data
The theory of sense data is a view in the philosophy of perception, popularly held in the early 20th century by philosophers such as Bertrand Russell, C. D. Broad, H. H. Price, A. J. Ayer, and G. E. Moore. Sense data are taken to be mind-depende ...
or "impressions," and since all sensory impressions are inherently finite, so too are our thoughts and ideas. Our idea of infinity is merely negative or privative.
He considered that in considerations on the subject of eternity, which he classified as an infinity, humans are likely to make mistakes.
Modern philosophical views
Modern discussion of the infinite is now regarded as part of set theory and mathematics. Contemporary philosophers of mathematics engage with the topic of infinity and generally acknowledge its role in mathematical practice. Although set theory is now widely accepted, this was not always so. Influenced by L.E.J Brouwer and
verificationism
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is meaningful only if it is either empirically verifiable (can be confirmed through the ...
in part,
Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
From 1929 to 1947, Witt ...
(April 26, 1889 – April 29, 1951
) made an impassioned attack upon
axiomatic set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
, and upon the idea of the actual infinite, during his "middle period".
Unlike the traditional empiricists, he thought that the infinite was in some way given to
sense experience.
Emmanuel Levinas
The philosopher
Emmanuel Levinas
Emmanuel Levinas (born Emanuelis Levinas ; ; 12 January 1906 – 25 December 1995) was a French philosopher of Lithuanian Jewish ancestry who is known for his work within Jewish philosophy, existentialism, and phenomenology, focusing on the rel ...
(January 12, 1906 – December 25, 1995
) uses infinity to designate that which cannot be defined or reduced to knowledge or power. In Levinas' magnum opus
Totality and Infinity he says :
Levinas also wrote a work entitled ''Philosophy and the Idea of Infinity'', which was published during 1957.
[E. Levinas ]
Collected Philosophical Papers (p.47)
(Translated by A. Lingis) Springer Science & Business Media, 31 March 1987 etrieved 2015-05-01/ref>
See also
*Infinite monkey theorem
The infinite monkey theorem states that a monkey hitting keys independently and at randomness, random on a typewriter keyboard for an infinity, infinite amount of time will almost surely type any given text, including the complete works of Willi ...
* Measure problem (cosmology)
*Philosophy of space and time
Philosophy of space and time is a branch of philosophy concerned with ideas about knowledge and understanding within space and time. Such ideas have been central to philosophy from its inception.
The philosophy of space and time was both an inspi ...
Notes
References
* D. P. Agrawal (2000).
Ancient Jaina Mathematics: an Introduction
'
Infinity Foundation
* L. C. Jain (1973). "Set theory in the Jaina school of mathematics", ''Indian Journal of History of Science''.
*
* A. Newstead (2001). "Aristotle and Modern Mathematical Theories of the Continuum", in ''Aristotle and Contemporary Science II'', D. Sfendoni-Mentzou, J. Hattiangadi, and D.M. Johnson, eds. Frankfurt: Peter Lang, 2001, 113–129, .
* A. Newstead (2009). "Cantor on Infinity in Nature, Number, and the Divine Mind", ''American Catholic Philosophical Quarterly'', 83 (4), 533–553.
*
* Ian Pearce (2002)
'' MacTutor History of Mathematics archive''.
* N. Singh (1988). 'Jaina Theory of Actual Infinity and Transfinite Numbers', '' Journal of Asiatic Society'', Vol. 30.
External links
* Thomas Taylor
''A Dissertation on the Philosophy of Aristotle, in Four Books. In which his principle physical and metaphysical dogmas are unfolded, and it is shown, from undubitable evidence, that his philosophy has not been accurately known since the destruction of the Greeks. The insufficiency also of the philosophy that has been substituted by the moderns for that of Aristotle, is demonstrated''
published by ''Robert Wilks, London'' 1812
{{DEFAULTSORT:Infinity (Philosophy)
*
Metaphysical properties
Physical cosmology