Les livres en ligne des éditions Agone http://agone.revues.org Les livres en ligne des éditions Agone. Collection Banc d'essais Lodel 0.8 Index des noms propres http://agone.revues.org/index201.html Adorno, Theodor W. 20, 23, 142, 184Alain 39Althusser, Louis 40, 43-44, 54, 160, 179, 184Apel, Karl-Otto 184, 193Arendt, Hannah 117Aristote 87, 180Aubenque, Pierre 126Augustin 261Austin, John 174-175, 179, 194, 212, 216-217…Badiou, Alain 165-168, 180-181, 195-196, 198-199Bahr, Hermann 36Baumgarten, Eduard 152Benn, Gottfried 51, 151Bergson, Henri 169, 184, 241, 251, 272Bernhardt, Thomas 147Bloom, Harold 211Blumenberg, Hans 142, 225Bohr, Niels 226, 261Böll, Heinrich 151Boltzmann, Ludwig 50Bolzano, Bernhard 194-195Bonaparte, Napoléon 246-247Bourdieu, Pierre xv, 141,143Bouwsma, Oets Kolk 3-4Brecht, Bertolt 96Brentano, Franz 169, 186, 194-195Bricmont, Jean xiii, 17, 158Broch, Hermann 49-51…Calvino, Italo 243-244Carnap, Rudolf x, 91, 116-118, 165, 167, 170, 175-177, 179, 184, 212, 257Cavaillès, Jean 166Cavell, Stanley 88, 91, 189Chomsky, Noam 46, 56-57, 64Cohen, Paul 181Cousin, Victor xiiCusset, François xv-xvi, 32, 149, 161, 215…Dallago, Carl 155Darwin, Charles 51Davidson, Donald 179, 183-185, 217Débat (Le) xviDebray, Régis vii-viiiDegas, Edgar 246Deleuze, Gilles xv-xvi, 27, 37, 190, 215, 232-236Dennett, Daniel 202Derrida, Jacques xv, 121, 132, 134-141, 143-144, 146-150, 154, 158, 160, 174-176, 183-184, 187, 190-193, 197, 205-206, 211-218, 222, 231-232, 235-239Descartes, René 56, 64, 72-74, 78, 97, 111, 246-248, 250Descombes, Vincent 238Dewey, John 76-77, 83, 170, 199, 211, 217, 238-239Diamond, Cora 189Döblin, (...)contact@agone.org Thu, 12 Mar 2009 00:00:00 +0100 http://agone.revues.org/index201.html Index des noms http://agone.revues.org/index221.html Angelelli, Ignazio 177, 183, 185, 293-294Aristote 28, 36-37, 55, 60, 65, 156, 252Arnauld, Antoine 70, 193, 209, 271, 279, 295Augustin (saint) 197, 226…Belaval, Yvon 44, 47, 53-55, 57, 200, 202, 291Bennett, Jonathan 21, 290Boltzmann, Ludwig 127-134, 292Boutroux, Émile 122-123, 292Bradwardine, Thomas 241Brecht, Bertolt 26-27Brouwer, L. E. J. 53, 147…Carnap, Rudolf 1-2, 20, 147, 153, 293Cros, Charles 286, 296…Dedekind, Richard 172-173, 293Des Bosses, Bartholomée 215, 227Dummett, Michael 138Duns Scot, Jean 241…Febvre, Lucien 18, 290Fénelon, François 241-242, 295Feyerabend, Paul 1Foucault, Michel 2-4, 6, 45, 289Frege, Gottlob 54, 120, 122, 124-128, 134-138, 141-142, 167-179, 181-187, 292-294Freud, Sigmund 164…Galien 36Galilée 28Gödel, Kurt 56, 58, 141-152, 154-155, 157-162, 165, 291, 293Gueroult, Martial 46, 191, 205-211, 269, 290…Hacking, Ian 26-27, 43-48, 50-51, 57, 60, 62, 66-67, 74-75, 290-291Hardy, Godfrey H. 74, 291Hartmann, Nicolai 12Harvey, William 36Hatfield, Gary 119, 292Hegel Georg Wilhelm F. 1, 138Helmholtz, Hermann von 118-119, 258-261, 263, 266, 281-282, 286, 292, 295Hertz, Heinrich 128-129Hilbert, David 151, 157Hintikka, Jaakko 180-181, 293Hume, David 28, 117, 128, 175Husserl, Edmund 128, 130, 135-136, 170-171, 292-293…Ishiguro, Hidé 69, 71, 291…Krüger, Lorenz 33, 290Kuhn, Thomas 1, 4, 29…Laporte, Jean 60…Mach, Ernst 127-128, 131, 292Malebranche, Nicolas 191Marion, Jean-Luc 59, 64, (...)contact@agone.org Thu, 12 Mar 2009 00:00:00 +0100 http://agone.revues.org/index221.html Origine des textes http://agone.revues.org/index222.html « La philosophie et son histoire » a pour origine une conférence donnée sur ce thème devant des professeurs de philosophie du Pas-de-Calais. Une transcription en a été publiée dans la revue Noroît (Arras), mars et avril 1986, n° 296 et 297. Le texte a été revu et complété en 2005.« Descartes, le “bon sens”, la logique et les vérités éternelles » est le texte d’une conférence donnée dans le cadre du Segundo Congresso Internacional de Ontologia (San Sebastian-Barcelona, 24 au 31 mars 1996). Il a été publié dans Victor Gomez Pin (dir.), Descartes, Lo racional y lo real, Universitat Autonoma de Barcelona, Servei de Publicacions, Bellaterra, 1999, p. 9-22.« Vérité et démontrabilité chez Leibniz » est inédit.« Le problème de l’a priori et la conception évolutionniste des lois de la pensée » a été publié dans la Revue de théologie et de philosophie, 1991, n° 123, p. 353-368.« Utopie et réalité : Leibniz, Gödel et les possibilités de la logique mathématique » est le texte d’une conférence donnée au colloque « La constitution des systèmes leibniziens » (Institut Henri Poincaré, 20-21 mars 1998). Il a été publié sous le titre « Mathématiques et logique chez Leibniz » dans la Revue d’histoire des sciences, 2001, n° 54/2, p. 225-248.« Frege critique de Kant » a été publié dans la Revue internationale de philosophie, 1979, n° 130, p. 739-760.« La théorie du possible chez Descartes » a (...)contact@agone.org Thu, 12 Mar 2009 00:00:00 +0100 http://agone.revues.org/index222.html Abréviations http://agone.revues.org/index223.html AT : René Descartes, Œuvres, Charles Adam et Paul Tannery (dir.), Vrin, Paris, 1996, 11 tomes.BS : Gottlob Frege, Idéographie (Begriffsschrift, 1879), traduction par Corine Besson, Vrin, Paris, 1999.CFH : Frege-Husserl. Correspondance, traduction par Gérard Granel, Trans-Europ-Express, Mauvezin, 1987.CP : Emmanuel Kant, Kritik der reinen Vernunft, in Kant’s Gesammelte Schriften, herausgegeben von der Königlich Preussischen Akademie der Wissenschaften, Band III, Berlin, 1904.— Emmanuel Kant, Critique de la raison pure, traduction par Alexandre Delamarre et François Marty à partir de celle de Jules Barni, in Emmanuel Kant, Œuvres philosophiques I, Ferdinand Alquié (dir.), Gallimard, « La Pléiade », Paris, 1980.[Nous donnons en référence la pagination de l’édition allemande suivie de celle de la traduction française. Conformément à l’usage, les lettres A et B renvoient respectivement au texte de la première édition (1781) et à celui de la seconde (1787) quand ils sont différents.]CW : Kurt Gödel, Collected Works, S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons et R. M. Soloway (dir.), Oxford UP, New York/Oxford, 1995.ELP : Gottlob Frege, Écrits logiques et philosophiques, traduction par Claude Imbert, Seuil, Paris, 1971.EP : Gottlob Frege, Écrits posthumes, traduction sous la direction de Philippe de Rouilhan et Claudine Tiercelin, Jacqueline Chambon, Nîmes, 1994.FA : Gottlob Frege, Les Fondements de l’arithmétique (1884), (...)contact@agone.org Thu, 12 Mar 2009 00:00:00 +0100 http://agone.revues.org/index223.html Descartes, le « bon sens », la logique et les vérités éternelles http://agone.revues.org/index212.html 1. Descartes, Leibniz et la démonstrationDans un article publié en 1986, Ian Hacking a opposé de la façon suivante l’attitude de Descartes et celle de Leibniz à l’égard de la démonstration : « Leibniz savait ce qu’est une démonstration ; Descartes ne le savait pas. Si l’on prête à ce fait l’attention qu’il exige, cela aide à résoudre certains problèmes d’interprétation qui ont tendance à devenir insaisissables. Ce n’est pas mon but principal aujourd’hui. Je m’intéresse davantage à la préhistoire qu’à l’histoire. Le concept leibnizien de la démonstration est presque le même que le nôtre. Il n’a pas existé jusqu’à une époque qui est en gros la sienne. Comment est-il devenu possible ? Descartes, d’après Leibniz, a fourni la plus grande partie de la technologie requise pour la formation de ce concept et cependant a délibérément reculé devant tout ce qui pouvait ressembler à notre concept de démonstration. Je soutiens que Descartes, dans son rejet implicite de notre idée de démonstration, et Leibniz, dans son attachement excessif à elle, essaient tous les deux de remédier à un malaise fondamental dans l’épistémologie du xviie siècle. Je parle d’un malaise plutôt que d’un problème ou d’une difficulté, car il n’était pas formulé et n’était peut-être pas formulable. […] Leibniz était sûr que la vérité mathématique est constituée par la démonstration, alors que Descartes estimait (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index212.html Vérité et démontrabilité chez Leibniz http://agone.revues.org/index213.html 1. Analyse des termes et analyse des propositionsUn des objectifs poursuivis par Leibniz dans les Recherches générales sur l’analyse des notions et des vérités (1686) est de rapprocher le plus possible l’une de l’autre l’analyse des termes et l’analyse des propositions, ou encore celle des notions et celle des vérités, qui, à ses yeux, sont exactement de la même nature et doivent être expliquées par la même théorie. Pour lui, la proposition est simplement une espèce particulière de terme, un terme que l’on peut appeler « complexe », par opposition à ses constituants non propositionnels, qui sont des termes incomplexes. Un terme ou un concept complexe est « ce qui implique en soi une énonciation ou encore une affirmation ou une négation, le vrai ou le faux » [RG, 131]. Un terme incomplexe n’implique en principe rien de tel. Cela pourrait sembler une raison suffisante de reconnaître l’existence d’une différence de catégorie entre les termes incomplexes et les propositions, et de leur appliquer un traitement différent. Mais, pour Leibniz, la différence est plus apparente que réelle et n’a, en tout cas, rien d’essentiel. Il faut noter, pour éviter un malentendu qui a été souvent commis, que, lorsque Leibniz parle de « termes » et de la substitution d’un terme à un autre dans une proposition, il n’entend pas par « terme » et « proposition » les expressions linguistiques concernées, mais les concepts (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index213.html Le problème de l’a priori et la conception évolutionniste des lois de la pensée http://agone.revues.org/index214.html Dans la Critique de la raison pure, Kant définit l’entendement comme une spontanéité de la connaissance (par opposition à la réceptivité de la sensibilité), un pouvoir de penser ou de former des concepts ou un pouvoir de formuler des jugements, toutes définitions qui, estime-t-il, reviennent au même, lorsqu’elles sont correctement comprises. Mais la formule qui lui semble exprimer le plus adéquatement la nature de l’entendement est celle qui consiste à le caractériser comme étant le pouvoir des règles. L’entendement « est, nous dit-il, occupé à chaque instant à épier les phénomènes dans le but d’y découvrir une règle quelconque » [CP, A 126/1425] ; et les règles, en tant qu’elles sont objectives, s’appellent lois. Mais, bien que nous puissions découvrir par l’expérience un bon nombre de ces lois, les règles suprêmes auxquelles obéissent les phénomènes ne sont pas des règles que nous avons pu, à proprement parler, y trouver, mais des règles que nous leur avons imposées, des règles que certaines formulations kantiennes nous incitent à considérer comme étant des règles que nous y avons mises. Ces règles n’enregistrent pas simplement la présence d’un ordre et d’une régularité que nous avons pu constater dans l’expérience, ce sont elles qui imposent aux phénomènes l’ordre et la régularité avec lesquels nous les voyons se présenter. À la question de savoir comment peut se réaliser l’accord que nous (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index214.html Utopie et réalité : Leibniz, Gödel et les possibilités de la logique mathématique http://agone.revues.org/index216.html 1. La référence leibnizienne chez GödelDans « Russell’s Mathematical Logic » (1944), Gödel distingue deux aspects fondamentaux différents de la logique : « La logique mathématique, qui n’est rien d’autre qu’une formulation précise et complète de la logique formelle, a deux aspects tout à fait différents. D’un côté, elle est une section des mathématiques traitant de classes, relations, combinaisons de symboles, etc., au lieu de nombres, fonctions, figures géométriques, etc. De l’autre, c’est une science, antérieure à toutes les autres, qui contient les idées et les principes sous-jacents à toutes les sciences. C’est dans ce deuxième sens qu’elle a été conçue en premier lieu par Leibniz dans sa Characteristica universalis, dont elle aurait formée une partie centrale. Mais il a fallu presque deux siècles après la mort de Leibniz pour que cette idée d’un calcul logique réellement suffisant pour le genre de raisonnement qui apparaît dans les sciences exactes soit mise en œuvre (tout au moins sous une certaine forme, sinon sous la forme que Leibniz avait en tête) par Frege et Peano. » [PM, 447]Leibniz a, bien entendu, apporté une contribution tout à fait déterminante au premier aspect. Et il est même le premier à avoir reconnu tout à fait clairement qu’on peut proprement calculer sur bien autre chose que des nombres et qu’il peut par conséquent y avoir une mathématique non seulement des nombres, mais (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index216.html Frege critique de Kant http://agone.revues.org/index217.html 1. Logique et arithmétiqueDu point de vue de Frege, l’expression « théorie formelle de l’arithmétique » peut désigner deux conceptions très différentes, dont il a défendu l’une avec autant d’acharnement qu’il a combattu l’autre. La seconde est la conception formaliste vulgaire selon laquelle, en arithmétique, « les signes sont vides et constituenteux-mêmes les nombres » [KS, 105]. La première est celle qui attribue à l’arithmétique un caractère formel, au sens de « purement logique », qui la distingue radicalement de la géométrie et la rapproche de la logique proprement dite. « La première dit que toutes les propositions arithmétiques peuvent être déduites uniquement de définitions de façon purement logique et, en conséquence, doivent effectivement en être déduites. Par là, l’arithmétique se trouve mise en opposition avec la géométrie qui, comme tout mathématicien en est sans doute convaincu, a besoin de certains axiomes qui lui sont propres, dont le contraire – considéré d’un point de vue purement logique – serait tout aussi possible, c’est-à-dire sans contradiction. Parmi toutes les raisons qui parlent en faveur de cette façon de voir, je n’en mentionnerai qu’une ici, qui repose sur l’applicabilité non limitée (umfassend)des théories arithmétiques. Effectivement, il est possible de compter à peu près tout ce qui peut devenir un objet de la pensée : l’idéal aussi bien que le réel, les (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index217.html La théorie du possible chez Descartes http://agone.revues.org/index218.html Comme le remarque Guéroult, la doctrine du possible et de l’impossible, chez Descartes, « est entièrement originale et très différente de toutes les conceptions des grands cartésiens, Malebranche, Spinoza, Leibniz ». Gueroult suggère néanmoins qu’« elle renferme plus qu’en germe, quoique sous une forme très particulière, la distinction, reprise par Leibniz, de la nécessité absolue et de la nécessité ex hypothesi ».Comme la doctrine cartésienne de la création des vérités éternelles semble impliquer que toute nécessité est en fait hypothétique et suspendue aux libres décrets de la volonté divine, le rapprochement est à première vue surprenant. La conception de Descartes et celle de Leibniz semblent effectivement en tous points opposées. Pour Descartes, il n’y a pas de pays ou de région des possibles, parmi lesquels Dieu a choisi le monde réel en vertu du principe du meilleur. Une proposition nécessaire ne peut pas être considérée comme vraie dans tous les mondes possibles, puisque Dieu est le créateur non seulement des réalités mais également des possibilités et des impossibilités. Il n’y a pas de vérités communes à tous les mondes possibles si l’on admet que Dieu a créé également les essences et les possibles. Est possible en soi – mais pas nécessairement quoad nos (relativement à nous) – tout ce que Dieu peut faire ; mais Dieu a fait le possible lui-même, en tout cas le possible quoad nos. Leibniz (...)contact@agone.org Wed, 11 Mar 2009 00:00:00 +0100 http://agone.revues.org/index218.html