Ce n'est qu'à une époque relativement récente qu'on a vraiment commencé à s'intéresser à l'histoire de la logique. Jusqu'au milieu du xixe siècle régnait en effet l'idée que la logique n'avait pas d'histoire, étant, pour l'essentiel, sortie « close et achevée » de l'esprit d'Aristote. Le renouveau de la logique depuis 1850 environ a peu à peu permis de replacer Aristote dans une perspective historique, de comprendre la signification et la portée de la logique stoïcienne, d'apprécier les travaux des scolastiques, de reconnaître en Leibniz un précurseur des conceptions modernes. Si on laisse à part la logique indienne qui s'est développée indépendamment, l'histoire de la logique occidentale nous apparaît aujourd'hui ponctuée par trois grandes époques créatrices, où cette discipline prend chaque fois une forme originale : la logique grecque avec Aristote et les stoïciens, la logique médiévale qui culmine au xive siècle, enfin, depuis le milieu du xixe siècle, la logique symbolique moderne. Entre elles, s'intercalent deux longues périodes de relative stagnation.
Bibliographie
Études particulièresJ. Biard, Logique et théorie du signe au XIVe siècle, Vrin, Paris, 1989
L. Couturat, La Logique de Leibniz, Paris, 1901, réimpr. Olms
K. Gödel, « La Logique mathématique de Russell », in Cahiers pour l'analyse, no 10, pp. 84-107, 1969
G. G. Granger, La Théorie aristotélicienne de la science, Aubier, Paris, 1976
G. Heinzmann, Entre intuition et analyse. Poincaré et le concept de prédicativité, A. Blanchard, Paris, 1985
J. Largeault, Logique et philosophie chez Frege, Nauwelaerts, Paris, 1970
J. Łukasiewicz, Aristotle's Syllogistic, Oxford, 2e éd. 1957
G. Patzig, Die aristotelische Syllogistik, Göttingen, 2e éd. 1963
P. de Rouilhan, Le Paradoxe de Frege, Minuit, Paris, 1988
J. Sebestik, Logique et mathématique chez Bernard Bolzano, Vrin, 1992
P. Tichy, The Foundations of Frege's Logic, de Gruyter, Berlin, 1988.Ouvrages générauxR. Blanché, La Logique et son histoire, Armand Colin, Paris, 1970
J. M. Bochenski, Formale Logik, Fribourg-Munich, 1956
F. Enriques, L'Évolution de la logique, Paris, 1926
J. Jörgensen, A Treatise of Formal Logic, vol. I : Historical Development, Copenhague-Londres, 1931
W. & M. Kneale, The Development of Logic, Oxford, 1962
T. Kotarbinski, Leçons sur l'histoire de la logique (Wykłady z dziejów logiki), trad. A. Posner, P.U.F., Paris, 1965
Poincaré, Russell, Zermelo et Peano, G. Heinzmann éd., A. Blanchard, 1986
K. Prantl, Geschichte der Logik im Abendlande, 4 vol., Leipzig, 1855-1870, continuée par W. Risse, Die Logik der Neuzeit, I, 1500-1640, Stuttgart, 1964
F. Rivenc & P. de Rouilhan dir., Logique et fondements des mathématiques : anthologie (1850-1914), Payot, Paris, 1992
H. Scholz, Esquisse d'une histoire de la logique (Abriss der Geschichte der Logik), Aubier-Montaigne, Paris, 1968
J. Van Heijenoort, From Frege to Gödel, Harvard Univ. Press, Cambridge (É.-U.), 1967.
Retour en haut
