Formalism

In this essay I will show that whilst formalism is an attractive view it does not provide us with an adequate account of mathematics. I will begin with a brief outline of the basic position before going on to discuss it. Finally, I will discuss Hilbert’s programme.

In brief, formalism is the view that mathematics is the study of formal systems. This however does not tell the whole story and formalism can be divided into term formalism and game formalism (Shapiro, 2000: pp. 141-148). Term formalism is the view that mathematics is about characters or symbols. That is, the number 2 is just the character ‘2’. Whereas, game formalism is the view that mathematics is a game in the same way that chess is a game. There are characters, or pieces, that can only be manipulated according to specific rules. Consequently, mathematical practice is just like a game of chess and similarly meaningless.

On first glance, these views seem attractive for two reasons. First, it seems perfectly natural to agree that maths is just about symbol manipulation, what else could it be about? Second, formalism causes issues about the existence of numbers to fall away. Term formalism identifies numbers with characters and game formalism holds that mathematical symbols just are symbols.

There are, however problems with both these views. First, term formalism. If numbers are to be identified with characters then we encounter a problem. Consider the character ‘0’ and the character ‘0’. If the term formalist identifies numbers then since we have two separate characters we also have two separate numbers. 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. (Brown, 2008: pp. 76-82)

In conclusion, I have shown that the basic positions of formalism are unconvincing. I have also shown that whilst Hilbert’s programme failed for technical reasons there are also philosophical problems with it.

Works Cited

Brown, J., 2008. Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures. 2nd Edition. London: Routledge.

Shapiro, S., 2000. Thinking about mathematics: the philosophy of mathematics. Oxford: Oxford University Press.

In this essay I will show that whilst formalism is an attractive view it does not provide us with an adequate account of mathematics. I will begin with a brief outline of the basic position before going on to discuss it. Finally, I will discuss Hilbert’s programme.

In brief, formalism is the view that mathematics is the study of formal systems. This however does not tell the whole story and formalism can be divided into term formalism and game formalism (Shapiro, 2000: pp. 141-148). Term formalism is the view that mathematics is about characters or symbols. That is, the number 2 is just the character ‘2’. Whereas, game formalism is the view that mathematics is a game in the same way that chess is a game. There are characters, or pieces, that can only be manipulated according to specific rules. Consequently, mathematical practice is just like a game of chess and similarly meaningless.

On first glance, these views seem attractive for two reasons. First, it seems perfectly natural to agree that maths is just about symbol manipulation, what else could it be about? Second, formalism causes issues about the existence of numbers to fall away. Term formalism identifies numbers with characters and game formalism holds that mathematical symbols just are symbols.

There are, however problems with both these views. First, term formalism. If numbers are to be identified with characters then we encounter a problem. Consider the character ‘0’ and the character ‘0’. If the term formalist identifies numbers then since we have two separate characters we also have two separate numbers. 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. (Brown, 2008: pp. 76-82)

In conclusion, I have shown that the basic positions of formalism are unconvincing. I have also shown that whilst Hilbert’s programme failed for technical reasons there are also philosophical problems with it.

Works Cited

Brown, J., 2008. Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures. 2nd Edition. London: Routledge.

Shapiro, S., 2000. Thinking about mathematics: the philosophy of mathematics. Oxford: Oxford University Press.

Related

- Powerful Essays
## Ontology of Mathematics

- 1511 Words
- 7 Pages
- 5 Works Cited

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.

- 1511 Words
- 7 Pages
- 5 Works Cited

Powerful Essays - Better Essays
## Cantor's Diagonal Argument

- 1169 Words
- 5 Pages

Hence the result is given that the real numbers cannot be put into one-one correspondence with the natural numbers. This is that the set of real numbers is non-denumerable. Since we have the definition that two sets have the same cardinality ... ... middle of paper ... ...e real numbers than natural numbers. In conclusion, Wittgenstein’s Remarks on the Foundations of Mathematics offers a successful criticism of Cantor’s ideas. With particular reference to the Diagonal Argument, Wittgenstein has established that the difficulty in understanding or forming concepts of the sets which Cantor talks of makes it more difficult to impose theorems and proofs upon them.

- 1169 Words
- 5 Pages

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

- 3426 Words
- 14 Pages

The doubt experiment does not seem to give positive results for mathematical operations. Consciousness of carrying out a mathematical proposition, however, unlike putting forth a result of an operation, is immune to doubt. Statements of consciousness of mathematical or logical operations are instances of 'I think' and hence the argument 'I count, therefore I am' is equivalent to 'I think, therefore I am.' If impugning the veridicality of mathematical propositions could not pose a difficulty for Descartes's epistemology which he thought to establish on consciousness of thinking alone, then he cannot be seen to avoid the question. Discarding mathematical propositions themselves on the grounds that they are not immune to doubt evoked by a powerful agent does not generate a substantial problem for Descartes provided that he believes that he can justify them by appeal to God's benevolence.

- 3426 Words
- 14 Pages

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

- 1803 Words
- 8 Pages

The analysis of infinite series in mathematical propositions is Leibniz’s source of inspiration for the acc... ... middle of paper ... ...lanation for contingency. Why should not we conclude that some necessary truths are demonstrable and others are not? This new approach to this question would avoid making the distinction between necessity and contingency. The objections raised against Leibniz’s argument draw attention to infinite non-recurring decimals and approximations like pi or √2 (square root of 2), in order to show that not all finite propositions are necessary, but that some necessary truths also rely on infinite proof. The second objection to this view concerns the notion of possible worlds.

- 1803 Words
- 8 Pages

Satisfactory Essays - Powerful Essays
## Importance of Mathematics in Alice's Adventures in Wonderland

- 1800 Words
- 8 Pages
- 5 Works Cited

From this evidence, he concludes that mathematics is meaningless in Wonderland, with no defined structure. But Rackin is making this assertion bas... ... middle of paper ... ...ate on its own number system, completely foreign to us due to the limited examples of numbers and their role in the story. Putting the details aside, the idea of such structures challenge Rackin's idea that Wonderland is truly chaotic. But from the text, explicit numeric and spatial relationship patterns do exist in Wonderland, and that is enough to justify mathematical structure, according to the contemporary definition of mathematics. Notes 1.

- 1800 Words
- 8 Pages
- 5 Works Cited

Powerful Essays - 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 - Satisfactory Essays
## Extending a Kantian Dichotomy to a Poincaréan Trichotomy

- 2976 Words
- 12 Pages
- 5 Works Cited

(3) These were motivated by a fear that Kant's conceptualism, of the mind imposing space and time on the world, may lead to anti-realism, such as that of Husserl's bracketing the existence of the world based on his extensions of Descartes and Kant. (4) Nominalism and idealism are anti-realist but conceptualism and conventionalism need not be. I extend the typology of knowledge by adding knowledge by invention. Many fundamental propositions of mathematics, science and metaphysics hence shift from the realm of synthetic à priori to the realm of knowledge by invention. For Poincaré fundamental definitions of mathematics are neither à priori nor à posteriori, but conventional.

- 2976 Words
- 12 Pages
- 5 Works Cited

Satisfactory 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 - Good Essays
## Husserl’s Conceptions of Formal Mathematics

- 3100 Words
- 13 Pages
- 5 Works Cited

Some of these areas (like material geometry) seek to deal with the physical world, while others (like material logic) deal with abstract objects, so I avoid using the word “Platonic”, which suggests only the latter. By formal mathematics, I will mean mathematics done as is typical in the 20th century, purely axiomatically, without regard to what sorts of objects it might actually describe. Thus, for formal geometry it is irrelevant whether the objects described are physical objects in actual space, or n-tuples of real nu... ... middle of paper ... ... Bouvier, Bonn, 1981. Tieszen, Richard L. “Mathematical Intuition: Phenomenology and Mathematical Knowledge”. Kluwer, Boston, 1989.

- 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

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. How we can gain truth in mathematics actually it is from logic as one of the ways. We can say this statement easily from adding numbers because when we add a number to another number it will get an absolute number. Peano axioms are the evidence for this claim. As example if we plus one with one the outcome can’t be other number except two.

- 881 Words
- 4 Pages
- 1 Works Cited

Good Essays