Chapter

From Truth-Functional Logic to a Logic of Equations

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.0005
From Truth-Functional Logic to a Logic of Equations

More Like This

Show all results sharing these subjects:

  • History of Western Philosophy
  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

In order to appreciate fully the depth of Ludwig Wittgenstein's commitment to finitism, one ought to look for the causes of his change of mind on quantification. They are to be found in underlying changes in the notion of analysis which took place in the first steps away from Tractatus Logico-Philosophicus in the manuscripts of 1929. Upon his return to Cambridge in January of that year, Wittgenstein immediately started writing extensively. This was a period of intense intellectual fervor. Early entries in his notebooks indicate that he had started to think afresh some of the problems even before his arrival in Cambridge and that he moved in new directions very quickly. This indicates that Wittgenstein had already given up or was about to give up one of the cental claims of the Tractatus Logico-Philosophicus.

Keywords: finitism; quantification; Ludwig Wittgenstein; Tractatus Logico-Philosophicus; logic; colour exclusion

Chapter.  15578 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.