An ontological theorist generally begins his discussion with a preconceived notion of what

kind of thing an object will turn out to be. Instead, we will here begin with a Thomassonian

approach to the ontology of mathematics. First, let us consider what happens when we

rst come to determine a mathematical proposition (which I will use synonymously with

'mathematical entitty'). A mathematician does not feel as though he creates mathematical

theories. Pythagoras can hardly be thought to have created the claim that a2 + b2 = c2. It

becomes clear that a mathematical proposition is a discovered one; that is, we would hardly

nd ourselves contending that Pythagoras created his famous theorem. Regardless of who

discovers it, the same mathematical proposition would be discovered. However, what exactly

is Pythagoras discovering when he puts a2 + b2 = c2 to paper (or papyrus)? Pythagoras

is certainly not noting the existence of the formula, but, rather, he is noticing the relation

between a hypoteneuse and its sides. This relationship comes to be expressed in his formula.

So we already see that while a genuine relationship exists between a hypoteneuse and its

sides, a genuine theorem is contingent on language; the language in this case is that of

mathematics.

We are met, then, with two questions. The rst is whether we should consider the terms

of mathematics, such as wo" or four," to abstract or concrete. The second is whether

we should consider the relationships expressed by mathematics, such as one plus one" or

wo sets of two," to be abstract or concrete. A ctional approach, as that suggested by

Harty Field [3], would say that mathematical terms are literally false. So, when we say

1

'a2 + b2 = c2 is true' wha...

... middle of paper ...

...th them [1]. This question aside, it seems

to me that the most plausible candidate for an ontology of mathematics is that of abstract

artifacts. As with all theories, there will likely be problems which will arise, but I believe I

have given ample evidence in the case against constructivism and ctionalism and signicant

evidence for an abstract artifact mathematical theory.

References

[1] Benacerraf, Paul. Mathematical Truth" Journal of Philosophy 70 (1973), pp. 661-80.

[2] Brown, J.R. Constructivism." Philosophy of Mathematics Handout.

[3] Field, Harty. Introduction: ctionalism, epistemology and modality." Realism, Mathe-

matics, and Modality Handout.

[4] McEvoy, Mark. Miscellaneous class notes.

[5] Thomasson, Amie. Fictional Characters as Abstract Artifacts". Fiction and Metaphysics

(Cambridge: Cambridge University Press, 1999), pp. 5-23, 155, 156.

kind of thing an object will turn out to be. Instead, we will here begin with a Thomassonian

approach to the ontology of mathematics. First, let us consider what happens when we

rst come to determine a mathematical proposition (which I will use synonymously with

'mathematical entitty'). A mathematician does not feel as though he creates mathematical

theories. Pythagoras can hardly be thought to have created the claim that a2 + b2 = c2. It

becomes clear that a mathematical proposition is a discovered one; that is, we would hardly

nd ourselves contending that Pythagoras created his famous theorem. Regardless of who

discovers it, the same mathematical proposition would be discovered. However, what exactly

is Pythagoras discovering when he puts a2 + b2 = c2 to paper (or papyrus)? Pythagoras

is certainly not noting the existence of the formula, but, rather, he is noticing the relation

between a hypoteneuse and its sides. This relationship comes to be expressed in his formula.

So we already see that while a genuine relationship exists between a hypoteneuse and its

sides, a genuine theorem is contingent on language; the language in this case is that of

mathematics.

We are met, then, with two questions. The rst is whether we should consider the terms

of mathematics, such as wo" or four," to abstract or concrete. The second is whether

we should consider the relationships expressed by mathematics, such as one plus one" or

wo sets of two," to be abstract or concrete. A ctional approach, as that suggested by

Harty Field [3], would say that mathematical terms are literally false. So, when we say

1

'a2 + b2 = c2 is true' wha...

... middle of paper ...

...th them [1]. This question aside, it seems

to me that the most plausible candidate for an ontology of mathematics is that of abstract

artifacts. As with all theories, there will likely be problems which will arise, but I believe I

have given ample evidence in the case against constructivism and ctionalism and signicant

evidence for an abstract artifact mathematical theory.

References

[1] Benacerraf, Paul. Mathematical Truth" Journal of Philosophy 70 (1973), pp. 661-80.

[2] Brown, J.R. Constructivism." Philosophy of Mathematics Handout.

[3] Field, Harty. Introduction: ctionalism, epistemology and modality." Realism, Mathe-

matics, and Modality Handout.

[4] McEvoy, Mark. Miscellaneous class notes.

[5] Thomasson, Amie. Fictional Characters as Abstract Artifacts". Fiction and Metaphysics

(Cambridge: Cambridge University Press, 1999), pp. 5-23, 155, 156.

Related

- Better Essays
## Mathematics

- 1081 Words
- 5 Pages

The certainty of mathematics is merely conditional; it rests upon assumptions that cannot be proven within mathematics, but only within the philosophy of mathematics. Exactly the same problem applies with respect to the primary problems of philosophy. We can easily give practical arguments that seem very convincing, but when we analyze these arguments philosophically, we often find that the simple conventions of ordinary argument cannot be regarded as adequate.

- 1081 Words
- 5 Pages

Better Essays - Better Essays
## Formalism

- 1195 Words
- 5 Pages
- 2 Works Cited

A view I’m sure the term formalist does not want to defend. In which case the term formalist has to draw a distinction between token and type. Fo... ... middle of paper ... ...cond part of Gödel’s theorem shows that if T is consistent then the consistency of T cannot be proven within T. This leaves Hilbert’s programme in tatters. Hilbert had hoped to give a proof of the consistency of mathematics using finite methods but Gödel’s theorem shows that such a proof cannot be found. Hilbert’s programme cannot establish the certainty of mathematics.

- 1195 Words
- 5 Pages
- 2 Works Cited

Better Essays - Satisfactory Essays
## Necessary And Infinite Truths Analysis

- 1803 Words
- 8 Pages

Leibniz’s account of contingency changes the approach we have towards the analytic theory truth. He devises a method to distinguish the role of both necessity and contingency in truth conditions. In Necessary and Contingent Truths, Leibniz draws inspiration from mathematics to examine the dichotomy between the finite demonstrability of necessary truths and the infinite demonstrability of contingent truths. Consequently, Leibniz denies the Principle of Analytic Demonstrability by which a proposition is analytic if it is demonstrable. This is because both contingent and necessary truths are analytic but the former cannot be demonstrated while the latter can in virtue of the theory of infinite analysis.

- 1803 Words
- 8 Pages

Satisfactory Essays - Satisfactory Essays
## Reflexive Substantion of an One-Way Ascendancy of Mathematics over Ethics

- 2412 Words
- 10 Pages
- 3 Works Cited

He considers that the mathematical truth is "applicable solely to the symbols," the symbols being "words," that "do not signify anything in the real world." Thus, the correct opinion, pointed out, remains unsubstantiated, since nowhere is it related to the philosophical categories. In the substantion, offered by this paper, we proceed from the assumption that the variety of the mathematical symbols, at any rate, is reduced to and ensues from the aim: namely-to study the quantitative characteristics of "the qualities" from "the being." That connects the mathematical symbols with "the real world," i.e.-it reveals the possibility of a substantiating, since those characteristics interact. Following the construction of the foundations of mathematics, we should agree that the interaction among its concepts (i.e.

- 2412 Words
- 10 Pages
- 3 Works Cited

Satisfactory Essays - Good Essays
## Husserl’s Conceptions of Formal Mathematics

- 3100 Words
- 13 Pages
- 5 Works Cited

Husserl’s Conceptions of Formal Mathematics Edmund Husserl’s conception of mathematics was a unique blend of Platonist and formalist ideas. He believed that mathematics had reached a mixed state combining Platonic and formal elements and that both were important for the pursuit of the sciences, as well as for each other. However, he seemed to believe that only the Platonic aspects had significance for his science of phenomenology. Because of the significance of the distinction between these two types of mathematics, I will always use one of the adjectives “material” or “formal” when discussing any branch of mathematics, unless I specifically mean to include both. First, I must specify what I mean by each of these terms.

- 3100 Words
- 13 Pages
- 5 Works Cited

Good Essays - Good Essays
## To What Extent Various Types and Methods of Proving Truth are Valid in Mathematics, Art and Ethics

- 881 Words
- 4 Pages
- 1 Works Cited

Truth commonly defines as fact or reality. In further study truth has been distinguish into differences meaning according to area of knowledge and issues. Sometime we need multiple to prove a truth but sometime we just need a method to release a fact. That various method leads to many arguments when we need to gain the knowledge. Hence “To what extent various types and methods of gaining of truth are different in mathematics, art and ethics” Most of mathematicians claim that mathematics’ truth was an absolute truth.

- 881 Words
- 4 Pages
- 1 Works Cited

Good Essays - Good Essays
## The Importance Of Logic And Mathematics

- 1191 Words
- 5 Pages

In math, an axiom's truth is also seen as self-evident, thus it has no, or requires no, proof as they are inherently logical or not logical. You cannot use principles, or the process of deduction, to show that there truth can be demonstrated. Theorems rely on axioms as their starting point, but the theorems truth can be shown by proof based on these. A real life situation connected to this topic is the Pythagorean Theorem, for example, the axiom that all right angles are equal, and the straight line can be drawn from one point to another is an assumption of the Pythagorean Theorem. This theorem also has an extensive proof based on these assumptions within it.

- 1191 Words
- 5 Pages

Good Essays - Satisfactory Essays
## Comparing Spinoza’s Ethics and Dostoyevsky’s Notes from the Underground

- 2477 Words
- 10 Pages

Dostoyevsky stands on the opposite side of the spectrum, exposing the shortcomings of reason with frightful realism. He, in my opinion, makes incredibly insightful points about this discrepancy between how things "should" be and how they are. When comparing the manifestos of these two thinkers, Spinoza’s Ethics and Dostoyevsky’s Notes from the Underground, one can easily see the difference in language. Spinoza’s language is strictly mathematical. He is not concerned with engaging the reader.

- 2477 Words
- 10 Pages

Satisfactory Essays - Satisfactory Essays
## The Cartesian Doubt Experiment and Mathematics

- 3426 Words
- 14 Pages

The Cartesian Doubt Experiment and Mathematics ABSTRACT: The view that Descartes called mathematical propositions into doubt as he impugned all beliefs concerning common-sense ontology by assuming that all beliefs derive from perception seems to rest on the presupposition that the Cartesian problem of doubt concerning mathematics is an instance of the problem of doubt concerning existence of substances. I argue that the problem is not 'whether I am counting actual objects or empty images,' but 'whether I am counting what I count correctly.' Considering Descartes's early works, it is possible to see that for him, the proposition '2+3=5' and the argument 'I think, therefore I am,' were equally evident. But Descartes does not found his epistemology upon the evidence of mathematical propositions. The doubt experiment does not seem to give positive results for mathematical operations.

- 3426 Words
- 14 Pages

Satisfactory Essays - Powerful Essays
## Mathematical Ethics

- 4154 Words
- 17 Pages
- 10 Works Cited

Mathematical Ethics Philosophers since antiquity have argued the merits of mathematics as a normative aid in ethical decision-making and of the mathematization of ethics a theoretical discipline. Recently, Anagnostopoulos, Annas, Broadie and Hutchinson have probed such issues said to be of interest to Aristotle. Despite their studies, the sense in which Aristotle either opposed or proposed a mathematical ethics in subject-matter and method remains unclear. This paper attempts to clarify the matter. It shows Aristotle’s matrix of exactness and inexactness for ethical subject-matter and ethical method in the Nicomachean Ethics.

- 4154 Words
- 17 Pages
- 10 Works Cited

Powerful Essays