Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus

Archives de Philosophie 3 (3):545-567 (2001)
  Copy   BIBTEX

Abstract

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 ».

Categories

Keywords

Reprint years

DOI

10.3917/aphi.643.0545

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The problem of basic deductive inference.Gordon Barnes - manuscript
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
Deflationism and Logic.Christopher Gauker - 1999 - Facta Philosophica (1):167-199.
Pragmatic concepts of valid inference and of implication.S. Łuszczewska-Romahnowa - 1962 - Studia Logica 13 (1):208-208.
Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus using Rule of Inference $R_e$. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):602-603.
Inference in conditional probability logic.Niki Pfeifer & Gernot Kleiter - 2006 - Kybernetika 42 (2):391--404.
On Ockham's Supposition Theory and Karger's Rule of Inference.Ned Markosian - 1988 - Franciscan Studies 48 (1):40-52.
Empirical equivalence, explanatory force, and the inference to the best theory.Igor Douven - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):281-309.
Connectionist inference models.Ron Sun - manuscript
On practical inference, with an excursus on theoretical inference.Ernest Sosa - 1970 - Logique Et Analyse 13 (49):215-230.
On the justification of inductive rules of inference.Klemens Szaniawski - 1962 - Studia Logica 13 (1):225-225.
Likelihood and convergence.Elliott Sober - 1988 - Philosophy of Science 55 (2):228-237.
Are there universal principles or forms of evidential inference? : of inference networks and onto-epistemology.Peter Tillers - 2011 - In Philip Dawid, William Twining & Mimi Vasilaki (eds.), Evidence, Inference and Enquiry. Oup/British Academy. pp. 245.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.

Analytics

Added to PP
2013-11-23

Downloads
31 (#504,675)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mathieu Marion
Université du Québec à Montréal

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.

Add more citations

References found in this work

No references found.

Add more references