000 01117cam a2200217 4500500
005 20250112022804.0
041 _afre
042 _adc
100 1 0 _aMarion, Mathieu
_eauthor
245 0 0 _aWhat is Inference? Re-reading Tractatus Logico-Philosophicus;1
260 _c2001.
500 _a23
520 _a"In mathematical logic, one must distinguish between the ""axiomatic"" conception of logic, which was that of Frege, Russell, and Hilbert and a more ""pragmatic"" conception in terms of acts of proof, which is to be found in Gentzen's systems of natural deduction. Parallels are drawn between the conception of inference and logic in Wittgenstein's Tractatus Logico-Philosophicus and that of Gentzen. These parallels help us to throw new light on Wittgenstein's argument on ""following a rule""."; 1
690 _aInference
690 _aLogic
690 _aRule
690 _aProof
690 _aMathematics
786 0 _nArchives de philosophie | Volume 64 | 3 | 2001-09-01 | p. 545-567 | 0003-9632
856 4 1 _uhttps://shs.cairn.info/journal-archives-de-philosophie-2001-3-page-545?lang=en
999 _c140383
_d140383