본문 바로가기
  • Home

The mathematical proof surveyability-With priority given to Wittgenstein's philosophy of mathematics-

  • Philosophical Investigation
  • 2005, 17(), pp.369~404
  • Publisher : Institute of philosophy in Chung-Ang Univ.
  • Research Area : Humanities > Philosophy

박만엽 1

1중앙대학교

Candidate

ABSTRACT

This paper is focused on the following aspects: With priority given to Wittgenstein's philosophy of mathematics, the concept of mathematical proof' surveyability is elucidated and it will be discussed how it is connected with his later philosophy. In order to this study, above all it will be needed that the problem of anti-Platonism and grammar is deeply investigated. According to Wittgenstein, logical inferring is just not the same sort of things as ‘wff's proof.’ Futhermore, he maintains that in order to function at all within a proof the symbols in logic and mathematics must have some meaning outside the axiomatic system. However, Wittgenstein insists that mathematics doesn't need any foundation. Because mathematical proof is above all human institutions, it must be able to convince us of what it is supposed to prove. Therefore mathematical proof must be surveyable. With respect to this, Dummett's suggestion which Wittgenstein is in the position of a full-blooded finitism is wrong. Finally, I will argue that the concept of surveyability is more extended in his later philosophy. In so doing, I will show that the concept of motley in mathematics is also applied in philosophy. Consequently, Wittgenstein's surveyability is closely related to the new way of seeing.

Citation status

* References for papers published after 2023 are currently being built.