Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Qu x27 est ce que l x27 inference une relecture du tractatus logico philosophicus

Document téléchargé depuis www cairn info - - - - h ? Centre Sèvres Document téléchargé depuis www cairn info - - - - h ? Centre Sèvres QU'EST-CE QUE L'INFÉRENCE UNE RELECTURE DU TRACTATUS LOGICO -PHILOSOPHICUS Mathieu Marion Centre Sèvres Archives de Philosophie - Tome pages à ISSN - Article disponible en ligne à l'adresse http www cairn info revue-archives-de- philosophie- - -page- htm Pour citer cet article Marion Mathieu Qu'est-ce que l'inférence Une relecture du Tractatus logico- philosophicus ? Archives de Philosophie Tome p - Distribution électronique Cairn info pour Centre Sèvres ? Centre Sèvres Tous droits réservés pour tous pays La reproduction ou représentation de cet article notamment par photocopie n'est autorisée que dans les limites des conditions générales d'utilisation du site ou le cas échéant des conditions générales de la licence souscrite par votre établissement Toute autre reproduction ou représentation en tout ou partie sous quelque forme et de quelque manière que ce soit est interdite sauf accord préalable et écrit de l'éditeur en dehors des cas prévus par la législation en vigueur en France Il est précisé que son stockage dans une base de données est également interdit CDocument téléchargé depuis www cairn info - - - - h ? Centre Sèvres Document téléchargé depuis www cairn info - - - - h ? Centre Sèvres Qu ? est-ce que l ? inférence Une relecture du Tractatus logico-philosophicus MATHIEU MARION Université d ? Ottawa Die logischen Operationenszeichen sind Interpunktionen L Wittgenstein RÉSUMÉ En logique mathématique on doit distinguer entre une conception axiomatique ? de la logique qui fut celle de Frege Russell et Hilbert et une conception plus pragmatique ? en termes d ? actes de preuves que l ? on retrouve dans les systèmes de déduction naturelle de Gentzen Des parallèles sont esquissés entre la conception de l ? inférence et de la logique dans le Tractatus Logico-philosophicus de Wittgenstein et celle de Gentzen Ce cadre permet en outre de jeter un regard neuf sur l ? argument de Wittgenstein sur suivre une règle ? MOTS -CLÉS Inférence Logique Mathématique Preuve Règle ABSTRACT In mathematical logic one must distinguish between the axiomatic ? conception 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 LogicoPhilosophicus and that of Gentzen These parallels help us to throw new light on Wittgenstein ? s argument on following a rule ? KEY WORDS Inference Logic Mathematics Proof Rule Archives de Philosophie C M MARION Document téléchargé depuis www cairn info - - - - h ? Centre Sèvres Document téléchargé depuis www cairn info - - - - h ? Centre Sèvres On assiste depuis quelques années à une recrudescence d ? intérêt envers le Tractatus logico-philosophicus Un préjugé tenace a encore cours de nos jours à propos de cette