Looking for a reference on a kind of mathematical platonism?

What is platonism math?

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. Just as electrons and planets exist independently of us, so do numbers and sets.

Is mathematical Platonism true?

Mathematical Platonism, formally defined, is the view that (a) there exist abstract objects—objects that are wholly nonspatiotemporal, nonphysical, and nonmental—and (b) there are true mathematical sentences that provide true descriptions of such objects.

What are the major views of platonism?

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and non-mental. Platonism in this sense is a contemporary view.

Do you think mathematical Platonism is plausible?

The central core of Frege’s argument for arithmetic-object platonism continues to be taken to be plausible, if not correct, by most contemporary philosophers. Yet its reliance on the category “singular term” presents a problem for extending it to a general argument for object platonism.

Who founded Logicism?

mathematician Gottlob Frege

logicism, school of mathematical thought introduced by the 19th–20th-century German mathematician Gottlob Frege and the British mathematician Bertrand Russell, which holds that mathematics is actually logic.

What did Plato contribute to mathematics?

Plato’s contributions to mathematics were focused on the foundations of mathematics. He discussed the importance of examining the hypotheses of mathematics. He also drew attention toward the importance of making mathematical definitions clear and precise as these definitions are fundamental entities in mathematics.

What Platonism teaches?

Something of Platonism, nonetheless, survived in Aristotle’s system in his beliefs that the reality of anything lay in a changeless (though wholly immanent) form or essence comprehensible and definable by reason and that the highest realities were eternal, immaterial, changeless self-sufficient intellects which caused …

Was Aristotle a Platonist?

“The title of this work indicates quite clearly where the author stands regarding the relationship of these two ancient philosophers: Aristotle, contrary to the usual thinking in the philosophical literature, is a Platonist.

What is a Platonic form example?

The Platonic Forms, according to Plato, are just ideas of things that actually exist. They represent what each individual thing is supposed to be like in order for it to be that specific thing. For example, the Form of human shows qualities one must have in order to be human. It is a depiction of the idea of humanness.

What are the three philosophies of mathematics?

During the first half of the 20th century, the philosophy of mathematics was dominated by three views: logicism, intuitionism, and formalism.

What is neo logicism?

by Zermelo-Fraenkel set theory (ZF). Mathematics, on this view, is just applied set theory. Recently, ‘neologicism’ has emerged, claiming to be a successor to the original project. It was shown to be (relatively) consistent this time and is claimed to be based on logic, or at least logic with analytic truths added.

What is the difference between logicism and formalism?

In short: Logicism: the foundation of mathematics can be achieved by logical elements like formation rules, or ‘grammatical’ rules, and some philosophical notions. Formalism: formal elements can ground mathematics, but not necessarily logical elements(and I would say the less philosophical the better for them).

What is mathematical intuitionism?

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality.

What is constructivism math?

In the philosophy of mathematics, constructivism asserts that it is necessary to find (or “construct”) a specific example of a mathematical object in order to prove that an example exists.

What is a math axiom?

In mathematics or logic, an axiom is an unprovable rule or first principle accepted as true because it is self-evident or particularly useful. “Nothing can both be and not be at the same time and in the same respect” is an example of an axiom.

What are the 7 axioms?

What are the 7 Axioms of Euclids?

  • If equals are added to equals, the wholes are equal.
  • If equals are subtracted from equals, the remainders are equal.
  • Things that coincide with one another are equal to one another.
  • The whole is greater than the part.
  • Things that are double of the same things are equal to one another.

Who is the father of geometry?

Euclid

Euclid, The Father of Geometry.

What are some good examples of axioms?

Examples of axioms can be 2+2=4, 3 x 3=4 etc. In geometry, we have a similar statement that a line can extend to infinity. This is an Axiom because you do not need a proof to state its truth as it is evident in itself.

What is an example of an axiom in math?

For example, an axiom could be that a + b = b + a for any two numbers a and b. Axioms are important to get right, because all of mathematics rests on them. If there are too few axioms, you can prove very little and mathematics would not be very interesting.

What is a well known mathematical theorem?

One of the best-known theorems is the Pythagorean Theorem. It was named for the Greek mathematician Pythagoras, who was the leader of a small group of mathematicians who worshipped math and devoted themselves to the study of numbers and philosophy.

What are the 4 axioms?

AXIOMS

  • Things which are equal to the same thing are also equal to one another.
  • If equals be added to equals, the wholes are equal.
  • If equals be subtracted from equals, the remainders are equal.
  • Things which coincide with one another are equal to one another.
  • The whole is greater than the part.

What is Euclid postulate?

Euclid’s postulates were : Postulate 1 : A straight line may be drawn from any one point to any other point. Postulate 2 :A terminated line can be produced indefinitely. Postulate 3 : A circle can be drawn with any centre and any radius. Postulate 4 : All right angles are equal to one another.

What are the 5 Euclidean postulates?

The five postulates on which Euclid based his geometry are:

  • To draw a straight line from any point to any point.
  • To produce a finite straight line continuously in a straight line.
  • To describe a circle with any center and distance.
  • That all right angles are equal to one another.