Chapter

Philosophy and Logical Foundations

Mathieu Marion

in Wittgenstein, Finitism, and the Foundations of Mathematics

Published in print August 2008 | ISBN: 9780199550470
Published online September 2011 | e-ISBN: 9780191701559 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780199550470.003.0006
Philosophy and Logical Foundations

More Like This

Show all results sharing these subjects:

  • History of Western Philosophy
  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

This chapter looks at some of the parallels and differences between intuitionism and Ludwig Wittgenstein's new logic. One good way to handle this topic is with the help of the notion of truth maker. This expression was introduced by Kevin Mulligan, Peter Simons, and Barry Smith in order to designate in a neutral fashion entities in virtue of which sentences and/or propositions are true. The basic intuitionist thesis is, on the other hand, that a mathematical proposition is made true by a proof of it. It is on the basis of this thesis that intuitionists developed a new interpretation of logical constants in the 1930s which has interesting affinities not with conceptions found in the Tractatus Logico-Philosophicus but with Wittgenstein's new form of analysis in the early 1930s.

Keywords: intuitionism; Ludwig Wittgenstein; logic; Kevin Mulligan; Peter Simons; Barry Smith; philosophy; intentionality; rules

Chapter.  19693 words. 

Subjects: History of Western Philosophy ; Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.