Aristotelian realist philosophy of mathematics

Last updated

In the philosophy of mathematics, Aristotelian realism holds that mathematics studies properties such as symmetry, continuity and order that can be immanently realized in the physical world (or in any other world there might be). It contrasts with Platonism in holding that the objects of mathematics, such as numbers, do not exist in an "abstract" world but can be physically realized. [1] It contrasts with nominalism, fictionalism, and logicism in holding that mathematics is not about mere names or methods of inference or calculation but about certain real aspects of the world.

Contents

Aristotelian realists emphasize applied mathematics, especially mathematical modeling, rather than pure mathematics as philosophically most important. Marc Lange argues that "Aristotelian realism allows mathematical facts to be explainers in distinctively mathematical explanations" in science as mathematical facts are themselves about the physical world. [2] Paul Thagard describes Aristotelian realism as "the current philosophy of mathematics that fits best with what is known about minds and science." [3]

History

Although Aristotle did not write extensively on the philosophy of mathematics, his various remarks on the topic exhibit a coherent view of the subject as being both about abstractions and applicable to the real world of space and counting. [4] Until the eighteenth century, the most common philosophy of mathematics was the Aristotelian view that it is the "science of quantity", with quantity divided into the continuous (studied by geometry) and the discrete (studied by arithmetic). [5]

Aristotelian approaches to the philosophy of mathematics were rare in the twentieth century but were revived by Penelope Maddy in Realism in Mathematics (1990) and by a number of authors since 2000 such as James Franklin, [6] Anne Newstead, [7] Donald Gillies, and others.

Numbers and sets

Aristotelian views of (cardinal or counting) numbers begin with Aristotle's observation that the number of a heap or collection is relative to the unit or measure chosen: "'number' means a measured plurality and a plurality of measures ... the measure must always be some identical thing predicable of all the things it measures, e.g. if the things are horses, the measure is 'horse'." [8] Glenn Kessler develops this into the view that a number is a relation between a heap and a universal that divides it into units; for example, the number 4 is realized in the relation between a heap of parrots and the universal "being a parrot" that divides the heap into so many parrots. [9] [10] [5] :36–8

On an Aristotelian view, ratios are not closely connected to cardinal numbers. They are relations between quantities such as heights. A ratio of two heights may be the same as the relation between two masses or two time intervals. [5] :34–5

Aristotelians regard sets as well as numbers as instantiated in the physical world (rather than being Platonist entities). Maddy argued that when an egg carton is opened, a set of three eggs is perceived (that is, a mathematical entity realized in the physical world). [11] However not all mathematical discourse needs to be interpreted realistically; for example Aristotelians may regard the empty set and zero as fictions, [5] :234–40 and possibly higher infinities.

Structural properties

The seven bridges of Konigsberg, studied by Euler Konigsberg riddle.png
The seven bridges of Königsberg, studied by Euler

Aristotelians regard non-numerical structural properties like symmetry, continuity and order as equally important as numbers. Such properties are realized in physical reality, and are the subject matter of parts of mathematics. For example group theory classifies the different kinds of symmetry, while the calculus studies continuous variation. Provable results about such structures can apply directly to physical reality. For example Euler proved that it was impossible to walk once and once only over the seven bridges of Königsberg. [5] :48–56

Epistemology

Since mathematical properties are realized in the physical world, they can be directly perceived. For example, humans easily perceive facial symmetry.

Aristotelians also accord a role to abstraction and idealisation in mathematical thinking. This view goes back to Aristotle's statement in his Physics that the mind 'separates out' in thought the properties that it studies in mathematics, considering the timeless properties of bodies apart from the world of change (Physics II.2.193b31-35).

At the higher levels of mathematics, Aristotelians follow the theory of Aristotle's Posterior Analytics , according to which the proof of a mathematical proposition ideally allows the reader to understand why the proposition must be true. [5] :192–6

Objections to Aristotelian realism

A problem for Aristotelian realism is what account to give of higher infinities, which may not be realized or realizable in the physical world. How to apply Aristotle's theory of Potentiality and actuality to Zermelo–Frankel set theory. Mark Balaguer writes:

"Set theory is committed to the existence of infinite sets that are so huge that they simply dwarf garden variety infinite sets, like the set of all the natural numbers. There is just no plausible way to interpret this talk of gigantic infinite sets as being about physical objects." [12]

Aristotelians reply that sciences can deal with uninstantiated universals; for example the science of color can deal with a shade of blue that happens not to occur on any real object. [13] However that does require denying the instantiation principle, held by most Aristotelians, which holds that all genuine properties are instantiated. One Aristotelian philosopher of mathematics who denies the instantiation principle on the basis of Frege’s distinction between sense and reference is Donald Gillies. He has used this approach to develop a method of dealing with very large transfinite cardinals from an Aristotelian point of view. [14]

Another objection to Aristotelianism is that mathematics deals with idealizations of the physical world, not with the physical world itself. Aristotle himself was aware of the argument that geometers study perfect circles but hoops in the real world are not perfect circles, so it seems that mathematics must be studying some non-physical (Platonic) world. [15] Aristotelians reply that applied mathematics studies approximations rather than idealizations and that as a result modern mathematics can study the complex shapes and other mathematical structures of real things. [5] :225–9 [16]

Related Research Articles

In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.

<span class="mw-page-title-main">Nominalism</span> Philosophy emphasizing names and labels

In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universals – things that can be instantiated or exemplified by many particular things. The other version specifically denies the existence of abstract objects – objects that do not exist in space and time.

<span class="mw-page-title-main">Problem of universals</span> Philosophical question of whether properties exist and, if so, what they are

The problem of universals is an ancient question from metaphysics that has inspired a range of philosophical topics and disputes: "Should the properties an object has in common with other objects, such as color and shape, be considered to exist beyond those objects? And if a property exists separately from objects, what is the nature of that existence?"

<span class="mw-page-title-main">Reality</span> Sum or aggregate of all that is real or existent

Reality is the sum or aggregate of all that is real or existent within the universe, as opposed to that which is only imaginary, nonexistent or nonactual. The term is also used to refer to the ontological status of things, indicating their existence. In physical terms, reality is the totality of a system, known and unknown.

The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives.

In philosophy, philosophy of physics deals with conceptual and interpretational issues in modern physics, many of which overlap with research done by certain kinds of theoretical physicists. Philosophy of physics can be broadly divided into three areas:

Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathematics; the abstract nature of mathematical objects presents special philosophical challenges.

<span class="mw-page-title-main">Aristotelianism</span> Philosophical tradition inspired by the work of Aristotle

Aristotelianism is a philosophical tradition inspired by the work of Aristotle, usually characterized by deductive logic and an analytic inductive method in the study of natural philosophy and metaphysics. It covers the treatment of the social sciences under a system of natural law. It answers why-questions by a scheme of four causes, including purpose or teleology, and emphasizes virtue ethics. Aristotle and his school wrote tractates on physics, biology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, and government. Any school of thought that takes one of Aristotle's distinctive positions as its starting point can be considered "Aristotelian" in the widest sense. This means that different Aristotelian theories may not have much in common as far as their actual content is concerned besides their shared reference to Aristotle.

Quantity or amount is a property that can exist as a multitude or magnitude, which illustrate discontinuity and continuity. Quantities can be compared in terms of "more", "less", or "equal", or by assigning a numerical value multiple of a unit of measurement. Mass, time, distance, heat, and angle are among the familiar examples of quantitative properties.

Philosophical realism – usually not treated as a position of its own but as a stance towards other subject matters – is the view that a certain kind of thing has mind-independent existence, i.e. that it exists even in the absence of any mind perceiving it or that its existence is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality entirely.

<span class="mw-page-title-main">David Malet Armstrong</span> Australian philosopher

David Malet Armstrong, often D. M. Armstrong, was an Australian philosopher. He is well known for his work on metaphysics and the philosophy of mind, and for his defence of a factualist ontology, a functionalist theory of the mind, an externalist epistemology, and a necessitarian conception of the laws of nature. He was elected a Foreign Honorary Member of the American Academy of Arts and Sciences in 2008.

The instantiation principle or principle of instantiation or principle of exemplification is the concept in metaphysics and logic that there can be no uninstantiated or unexemplified properties. In other words, it is impossible for a property to exist which is not had by some object.

James Franklin is an Australian philosopher, mathematician and historian of ideas.

Australian realism, also called Australian materialism, is a school of philosophy that flourished in the first half of the 20th century in several universities in Australia including the Australian National University, the University of Adelaide, and the University of Sydney, and whose central claim, as stated by leading theorist John Anderson, was that "whatever exists … is real, that is to say it is a spatial and temporal situation or occurrence that is on the same level of reality as anything else that exists". Coupled with this was Anderson's idea that "every fact is a complex situation: there are no simples, no atomic facts, no objects which cannot be, as it were, expanded into facts." Prominent players included Anderson, David Malet Armstrong, J. L. Mackie, Ullin Place, J. J. C. Smart, and David Stove. The label "Australian realist" was conferred on acolytes of Anderson by A. J. Baker in 1986, to mixed approval from those realist philosophers who happened to be Australian. David Malet Armstrong "suggested, half-seriously, that 'the strong sunlight and harsh brown landscape of Australia force reality upon us'".

Metaontology or meta-ontology is the study of the field of inquiry known as ontology. The goal of meta-ontology is to clarify what ontology is about and how to interpret the meaning of ontological claims. Different meta-ontological theories disagree on what the goal of ontology is and whether a given issue or theory lies within the scope of ontology. There is no universal agreement whether meta-ontology is a separate field of inquiry besides ontology or whether it is just one branch of ontology.

In philosophy and theology, infinity is explored in articles under headings such as the Absolute, God, and Zeno's paradoxes.

Mathematics has no generally accepted definition. Different schools of thought, particularly in philosophy, have put forth radically different definitions. All proposed definitions are controversial in their own ways.

In the philosophy of science, structuralism asserts that all aspects of reality are best understood in terms of empirical scientific constructs of entities and their relations, rather than in terms of concrete entities in themselves.

Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures of mathematical objects. Mathematical objects are exhaustively defined by their place in such structures. Consequently, structuralism maintains that mathematical objects do not possess any intrinsic properties but are defined by their external relations in a system. For instance, structuralism holds that the number 1 is exhaustively defined by being the successor of 0 in the structure of the theory of natural numbers. By generalization of this example, any natural number is defined by its respective place in that theory. Other examples of mathematical objects might include lines and planes in geometry, or elements and operations in abstract algebra.

<span class="mw-page-title-main">Quine–Putnam indispensability argument</span> Argument in the philosophy of mathematics

The Quine–Putnam indispensability argument is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics.

References

  1. Franklin, James (7 April 2014). "The mathematical world". Aeon. Retrieved 30 June 2021.
  2. Lange, Marc (2021). "What could mathematics be for it to function in distinctively mathematical scientific explanations?". Studies in History and Philosophy of Science A. 87: 44–53. doi:10.1016/j.shpsa.2021.02.002. PMID   34111822. S2CID   233545723 . Retrieved 30 June 2021.
  3. Thagard, Paul (2019). Natural Philosophy: From Social Brains to Knowledge, Reality, Morality, and Beauty. New York: Oxford University Press. p. 442. ISBN   9780190686444.
  4. Bostock, D. (16 August 2012). "Aristotle's philosophy of mathematics". In Shields, C.J. (ed.). Oxford Handbook of Aristotle. Oxford: Oxford University Press. ISBN   9780195187489.
  5. 1 2 3 4 5 6 7 Franklin, James (2014). An Aristotelian Realist Philosophy of Mathematics: Mathematics as the Science of Quantity and Structure. Basingstoke: Palgrave Macmillan. p. 123. ISBN   9781137400727.
  6. Franklin, James (2022). "Mathematics as a science of non-abstract reality: Aristotelian realist philosophies of mathematics". Foundations of Science. 27 (2): 327–344. doi:10.1007/s10699-021-09786-1. S2CID   233658181 . Retrieved 30 June 2021.
  7. A.G.J. Newstead, (2001). "Aristotle and modern mathematical theories of the continuum", in D. Sfendoni-Mentzou, J. Hattiangadi, and D.M. Johnson (eds), Aristotle and Contemporary Science, Peter Lang, 113-129.
  8. Aristotle, Metaphysics 1088a4-11.
  9. Kessler, Glenn (1980). "Frege, Mill and the foundations of arithmetic". Journal of Philosophy. 77 (2): 65–79. doi:10.2307/2025431. JSTOR   2025431 . Retrieved 30 June 2021.
  10. Forrest, Peter; Armstrong, D.M. (1987). "The nature of number". Philosophical Papers. 16 (3): 165–186. doi:10.1080/05568648709506275 . Retrieved 30 June 2021.
  11. Maddy, Penelope (1990). Realism in Mathematics. Oxford: Oxford University Press. p. 58-67. ISBN   9780198240358.
  12. Balaguer, Mark (2018). "Fictionalism in the Philosophy of Mathematics". Stanford Encyclopedia of Philosophy. Retrieved 30 June 2021.
  13. Franklin, James (2015). "Uninstantiated properties and semi-Platonist Aristotelianism". Review of Metaphysics. 69: 25–45. Retrieved 29 June 2021.
  14. Gillies, Donald (2015). "An Aristotelian approach to mathematical ontology". In Davis, Ernest; Davis, Philip J. (eds.). Mathematics, Substance and Surmise. Cham: Springer. pp. 147–176. ISBN   9783319214726.
  15. Aristotle, Metaphysics 997b35-998a4.
  16. A.Newstead, J. Franklin, (2009). "The Epistemology of Geometry I: The Problem of Exactness", ASCS09 Proceedings of the 9th Conference of the Australasian Society for Cognitive Science, Sydney, 254-260, Article DOI: 10.5096/ASCS200939.

Bibliography