Résumés
Résumé
Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».
Abstract
In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ».
Parties annexes
Bibliographie
- Beall, J. C. & G. Restall. Logical Pluralism, Oxford, Oxford University Press, 2006.
- Beebee, H. & Dodd, J. (ed.). Truthmakers : The Contemporary Debate, Oxford, Oxford University Press, 2005.
- Brouwer, L. E. J. Collected Works. Volume 1 : Philosophy and the Foundations of Mathematics, A. Heyting (ed.), Amsterdam, North-Holland, 1976.
- Brouwer, L. E. J. « Les principes logiques ne sont pas sûrs », dans F. Rivenc & P. de Rouilhan (ed.), Logique et fondements des mathématiques (1850 — 1914), Paris, Payot, 1992, 386-392.
- Church, A. Introduction to Mathematical Logic, Princeton, Princeton University Press, 1956.
- Diamond, C. L’esprit réaliste. Wittgenstein, la philosophie et l’esprit, Paris, Presses Universitaire de France, 2004.
- Dubucs, J. et S. Lapointe. « Preuves par excellence », Philosophiques, vol. 30, 2003, 219-234.
- Dummett, Sir Michael A. E. The Seas of Language, Oxford, Clarendon Press, 1993.
- Dummett, Sir Michael A. E. Elements of Intuitionism, 2e éd., Oxford, Clarendon Press, 2000.
- Frascolla, P. Wittgenstein’s Philosophy of Mathematics, Londres, Routledge, 1994.
- Frascolla, P. « The Tractatus System of Arithmetic », Synthese, vol. 112, 1997, 353-378.
- Granger, G.-G. « Wittgenstein et la métalangue », dans Invitation à la lecture de Wittgenstein, Aix-en-Provence, Alinéa, 1990, 159-171.
- Heyting, A. « Sur la logique intuitionniste », Académie royale de Belgique. Bulletin de la classe des sciences, vol. 16, 1930, 957-963.
- Heyting, A. « Die intuitionistische Grundlegung der Mathematik », Erkenntnis, vol. 2, 1931, 106-115.
- Kolmogorov, N. « Zur Deutung der intuitionistischen Logik », Mathematische Zeitschrift, vol. 35, 1932, 58-65.
- Lowe, E. J. & A. Rami (dir.). Truth and Truth-Making, Montreal/Kingston, McGill-Queen’s University Press, 2009.
- Mancosu, P. et M. Marion. « Wittgenstein’s Constructivization of Euler’s Proof of the Infinity of Prime Numbers », dans F. Stadler (dir.), The Vienna Circle and Logical Empiricism : Re-evaluation and Future Perspectives, Dordrecht, Kluwer, 2003, 171-188.
- Marion, M. Wittgenstein, Finitism and the Foundations of Mathematics, Oxford, Clarendon Press, 1998.
- Marion, M. « Qu’est-ce que l’inférence ? Une relecture du Tractatus logico-philosophicus », Archives de philosophie, vol. 64, 2001, 545-567.
- Marion, M. « Wittgenstein and Brouwer », Synthese, vol. 137, 2003, 103-127.
- Marion, M. « Brouwer on Hypotheses and the Middle Wittgenstein », dans M. van Atten, P. Boldini, M. Bourdeau & G. Heinzmann (dir.), One Hundred Years of Intuitionism (1907-2007). The Cerisy Conference, Bâle, Birkhäuser, 2008, 96-114.
- Marion, M. « Radical Anti-Realism, Wittgenstein and the Length of Proofs », Synthese, vol. 171, 2009, 419-432.
- Marion, M. « Wittgenstein on the Surveyability of Proofs », dans M. McGinn & O. Kuusela (dir.), The Oxford Handbook on Wittgenstein, Oxford, Clarendon Press, 2011, à paraître.
- Marion, M. & M. Okada. « Wittgenstein and Goodstein on the Equation Calculus and the Uniqueness Rule », 2011, à paraître.
- Monnoyer, J.-M. (dir.). Metaphysics and Truth-Makers, Francfort, Ontos Verlag, 2007.
- Mühlhölzer, F. « “A Mathematical Proof Must be Surveyable” What Wittgenstein Meant by This and What it Implies », Grazer Philosophische Studien, vol. 71, 2005, 57-86.
- Mulligan, K. « Truth and the Truth-Maker Principle in 1921 », dans Lowe & Rami (2009), 2009, 39-58.
- Mulligan, K., P. Simons & B. Smith. « Truth-Makers », Philosophy and Phenomenological Research, vol. 44, 1984, 287-321.
- Potter, M. Reason’s Nearest Kin, Oxford, Clarendon Press, 2000.
- Quine, W. v. « Grammar, Truth, and Logic », in S. Kanger & S. Öhman (ed.), Philosophy and Grammar, Dordrecht, D. Reidel, 1980, 17-28.
- Quine, W. v. Philosophy of Logic, 2e édition, Cambridge Mass., Harvard University Press, 1986.
- Sundholm, G. « Constructions, Proofs and the Meaning of Logical Constants », Journal of Philosophical Logic, vol. 12, 1983, 151-172.
- Sundholm, G. « Questions of Proof », Manuscrito, vol. 16, 1993, 47-70.
- Sundholm, G. « Existence, Proof, and Truth-Making : A Perspective on the Intuitionistic Conception of Truth ». Topoi, vol. 13, 1994a, 117-126.
- Sundholm, G. « Proof-Theoretical Semantics and the Fregean Identity Criteria for Propositions », The Monist, vol. 77, 1994b, 294-314.
- Sundholm, G. « Implicit Epistemic Aspects of Constructive Logic », Journal of Logic, Language, and Information, vol. 6, 1997, 191-212.
- Sundholm, G. « Inference, Consequence, Implication. A Constructivist Perspective », Philosophia Mathematica (3), vol. 6, 1998a, 178-194.
- Sundholm, G. « Inference vs. Consequence », in T. Childers (dir.), The Logica Yearbook 1997, Prague, Filosofia, The Institute of Philosophy, Academy of Sciences of the Czech Republic, 1998b, 26-35.
- Tarski, A. « Sur le concept de conséquence logique », dans Logique, sémantique et métamathématique 1923-1944, vol. 2, Paris, Armand Colin, 1974, 141-152.
- Tarski, A. « What are Logical Notions ? », History and Philosophy of Logic, vol. 7, 1986, 143-154.
- Wittgenstein, L. Remarques philosophiques, Paris, Gallimard, 1975.
- Wittgenstein, L. Grammaire philosophique, Paris, Gallimard, 1980.
- Wittgenstein, L. Remarques sur les fondements des mathématiques, Paris, Gallimard, 1983.
- Wittgenstein, L. Wittgenstein et le Cercle de Vienne. D’après les notes de Friedrich Waismann, Mauvezin, T.E.R, 1991.
- Wittgenstein, L. Tractatus logico-philosophicus, Paris, Gallimard, 1993.
- Wittgenstein, L. Cours sur les fondements des mathématiques. Cambridge 1939, Mauvezin, T.E.R, 1995.
10.7202/007740ar