Plan de cours - UQAM | Département de philosophie

UQAM PLAN DE COURS
PHI-3509 (20) HISTOIRE DE LA LOGIQUE
(Hiver 2012)
Mardi 9h30 à 12h30
Salle: A-1825
Professeur : Alain VOIZARD
Bureau: W-5330 (secrétariat du Département de philosophie: W-5350)
Téléphone : 987-3000 poste 8942#
Courrier électronique : [email protected]
Heures de disponibilité: Sans rendez-vous: mercredi 14h00-16h30
Avec rendez-vous: lundi au vendredi
DESCRIPTION (du cours selon l'annuaire)
Les principales étapes du développement de la logique et les problématiques
philosophiques qui ont accompagné chacune d'elles. Par une présentation informelle des
contenus logiques proprement dits, cette reconstruction historique fait état de jalons
comme : la syllogistique, la quantification, les fonctions de vérité, la sémantique formelle,
les logiques épistémique, déontique, dialogique, etc., les rapports privilégiés que, grâce à
la logique, la philosophie a successivement entretenus avec les sciences, les
mathématiques et l'étude des langues naturelles.
CONTENU DU COURS (voir également le calendrier)
Dans ce cours d'histoire de la logique, nous concentrerons notre attention sur
l'histoire de la logique formelle d'Aristote à nos jours. Nous suivrons les textes de
R. Blanché & J. Dubucs et de W. & M. Kneale (voir bibliographie). Cette histoire
chronologique de la logique sera complétée et ponctuée par l'étude de certains des textes
les plus importants de la logique. Il n'y a malheureusement que peu de ces textes qui
remplissent à la fois les trois conditions supplémentaires d'être traduit en français, d'être
d'une grande importance théorique et de ne présupposer qu'un minimum de
connaissances techniques (en mathématiques et en logique). Nous nous pencherons sur
les plus importants de ceux qui remplissent toutes ces conditions. (Il est à noter que ce
cours ne présuppose absolument aucune connaissance technique de la logique formelle.)
OBJECTIFS
L'objectif le plus général tient en peu de mots : faire découvrir et, on l'espère,
apprécier l'univers de la logique dans un contexte qui ne présuppose aucune
connaissance technique de la logique formelle.
Ce cours vise évidemment à faire connaître les principales étapes de l'histoire de
la logique, mais au-delà de cela, il vise aussi à faire connaître la logique elle-même à
travers, notamment, la lecture de certains textes-jalons de ce domaine de la philosophie.
1
Enfin, mais dans une moindre mesure, ce cours servira, de par sa nature,
d'introduction à la philosophie de la logique. En effet, en parcourant l'histoire de la
logique nous serons amenés à nous interroger sur la nature de la logique ainsi que sur
son histoire à titre de domaine particulier de la philosophie et de l'histoire des sciences.
TYPES D'ACTIVITÉ D'ENSEIGNEMENT
Exposés magistraux pendant lesquels les étudiantes et les étudiants sont
invité(e)s à intervenir pour discuter la matière au programme ainsi que les textes dont la
lecture sera suggérée (et dans certains cas obligatoire). Étant donné qu'il n'y a (à ce jour)
que peu d'étudiants inscrits au cours, nous nous permettrons de transformer certaines
rencontres en quasi-séminaire à l'occasion de la présentation de questions qui se prêtent
plus spécifiquement à la discussion.
ÉVALUATION
Neuf contrôles de lecture du texte de Robert Blanché et Jacques Dubucs
(1970/1996) La logique et son histoire, et un travail. Les étudiants devront faire au moins
sept des neuf contrôles de lecture. Chaque contrôle vaudra 10% pour un total de 70% de
la note finale. Les étudiant(e)s qui feraient plus de sept contrôles pourront retenir les sept
meilleures notes.
Le travail lui-même sera à remettre à la dernière rencontre (ou avant) (30%). Il
s’agit d’un mémoire de recherche sur un auteur ou une période de l’histoire de la logique
formelle. Les étudiant(e)s devraient s’attendre à lire au moins un court texte d’auteur
pour éviter que le mémoire ne se base que sur la seule lecture de texte de seconde main.
LECTURES OBLIGATOIRES
Le texte de Blanché & Dubucs (voir bibliographie le texte de Blanché qui est
précédé d’un *) est considéré comme manuel. Plusieurs autres textes seront suggérés et
certains courts textes d'auteurs, devront être lus. Un recueil (précédé de * dans la
bibliographie) regroupe plusieurs textes fondamentaux. Seul son prix prohibitif m'incite à
ne pas en suggérer fortement l'achat...
2
CALENDRIER
Cours #
Date
Contenu
1
10 jan.
2
17 jan.
3
24 jan.
4
31 jan.
5
7 fév.
6
14 fév.
7
21 fév.
8
9
28 fév.
6 mars
10
13 mars
11
20 mars
12
27 mars
13
3 avril
14
10 avril
15
17 avril
Présentation du syllabus. Entente d'évaluation.
Introduction générale. Qu'est-ce que la
logique? Quelques définitions. Les débuts de la
logique. Platon, Aristote.
Aristote
Aristote, les mégariques et les stoïciens.
CL#1 chapitres 1 & 2
Mégariques et stoïciens (suite). Logique
médiévale, terminisme et nominalisme. Lulle,
Ockham.
CL#2 chapitre 3
Renaissance et modernité. La logique de PortRoyal.
CL#3 chapitre 4 & 5
G.W. Leibniz.
CL#4 chapitre 6 & 7
Semaine de lecture.
Mill. Boole : algèbre et logique.
De Morgan, Peirce, la théorie des relations.
CL#5 chapitre 8
Frege
Frege, Peano et les débuts de la formalisation.
CL#6 chapitre 9
Begriffsschrift, Principia Mathematica (suite).
K.Gödel.
CL#7 chapitre 10
La logique moderne et les logiques déviantes.
CL#8 chapitre 11
Conclusion
Remise du travail (35%).
CL#9 chapitre 12
BIBLIOGRAPHIE
ARISTOTE Organon (trad. J. Tricot) Paris, Vrin: I. Catégories ; II. de l'Interprétation ; III. Les
Premiers Analytiques ; IV. Les Seconds Analytiques ; V. Les Topiques ; VI. Les Réfutations
Sophistiques.
ARNAULD, A. & P. NICOLE [1662] La logique ou l'art de penser, Paris : Jules Delalain, 1864.
ASHWORTH, E.J. [1974] Language and Logic in the Post-Medieval Period, Dordrecht : D.Reidel.
BENACERRAF, P. & H. PUTNAM [1964] Philosophy of Mathematics: Selected Readings,
Cambridge : Cambridge University Press, 1983 (2nd ed.).
BENCIVENGA, E. [1993] Logic and Other Nonsense, Princeton : Princeton University Press.
BENMAKHLOUF, A. [2002] Frege : le nécessaire et le superflu, Paris : Vrin.
3
*
BLANCHÉ, R. [1955] L'axiomatique, Paris, P.U.F.
BLANCHÉ, R. [1968] Introduction à la logique contemporaine, Paris : Armand Colin.
BLANCHÉ, R. & J. DUBUCS [1970/1996] La logique et son histoire, Paris : Armand Colin.
BOCHENSKI, I.M. [1961] A History of Formal Logic, Notre-Dame : Indiana.
BOLL, M. & J. REINHART [1961] Histoire de la logique, Paris : PUF (Que sais-je?).
BOLZANO, B. [1972] Theory of Science, Berkeley : University of California Press.
BOOLE, G. [1847] Analyse mathématique de la logique, dans Gillot [1962], pp.13-88.
BOOLE, G. [1854] The Laws of Thought, New York : Dover (trad. franç. chez Vrin, 1993).
CAVAILLES, J. [1962] Philosophie Mathématique, Paris : Hermann.
CAVAILLES, J. [1976] Sur la logique et la théorie de la science, Paris : Vrin.
COUTURAT, L. [1901/1961] La logique de Leibniz, Hildeshein : Georg Olms.
COUTURAT, L. [1904/05] «Les principes mathématiques –avec un appendice sur la
philosophie des mathématiques de Kant», Revue de métaphysique et de morale 12 et 13.
DOMINICY, M. [1984] La naissance de la grammaire moderne : langage, logique et philosophie à
Port-Royal, Bruxelles : Mardaga.
DUMITRIU, A. [1977] History of Logic, Tunbridge Wells : Abacus Press.
DUMMETT, M. [1978a] Philosophie de la logique, Paris : Minuit.
DUMMETT, M. [1978b] Truth and Other Enigmas, London : Duckworth.
DUMMETT, M. [1991a] Frege: Philosophy of Mathematics, Cambridge (Mass..) : Harvard
University Press.
ENRIQUES, F. & G.E. MONOD-HERZEN [1926] L'évolution de la logique, Paris : Chiron.
FREGE, G. [1984] Collected Writings on Mathematics, Logic, and Philosophy (1873-1926), Oxford :
Basil Blackwell.
FREGE, G. [1950] The Foundations of Arithmetic, Oxford : Basil Blackwell, 1986.
FREGE, G. [1964] The Basic Laws of Arithmetic, Los Angeles : University of California Press.
FREGE, G. [1979] Posthumous Writings, Chicago : The University of Chicago Press.
GILLOT, F. [1962] Algèbre et logique, Paris : Librairie Scientifique Albert Blanchard.
GLYMOUR, C. [1992] Thinking Things Through: An Introduction to Philosophical Issues and
Achievements, Cambridge [Mass.], MIT Press.
GOCHET, P. & GRIBOMONT P. [1991] Logique (Vol. 1: Méthodes pour l'informatique
fondamentale), Paris : Hermès.
GÖDEL, K. [1969] «La logique mathématique de Russell», Cahier pour l'analyse 10, pp.84-107.
GÖDEL, K. [1986] Collected Works, Volume 1 Publications 1929-1936, Oxford : Clarendon Press.
GÖDEL, K. [1989] «Sur les propositions formellement indécidables des Principia Mathematica
et les systèmes apparentés I*», dans Le théorème de Gödel, Paris : Seuil, pp.106-143.
GRATTAN-GUINNESS, I. [1980] History and Philosophy of Logic (2 vols.), Tunbridge Wells :
Abacus Press.
HAACK, S. [1974] Deviant Logic: Some Philosophical Issues, Cambridge : Cambridge University
Press.
HACKING, I. [1975] The Emergence of Probability, Cambridge : Cambridge University Press.
van HEIJENOORT, J. ed. [1967] From Frege to Gödel: A Source Book in Mathematical Logic, 18791931, Cambridge (Mass.) : Cambridge University Press.
van HEIJENOORT, J. Selected Essays, Napoli : Bibliopolis.
HILBERT, D. [1905] «Sur les fondements de la logique et de l'arithmétique», L'Enseignement
mathématique 7e année, pp.89-103.
HOUSER, N. & C. KLOESEL eds. [1992] The Essential Peirce. Selected Philosophical Writings
Volume 1 [1867-1893], Bloomington : Indiana University Press.
4
*
*
HOWELL, W.S. [1971] Eighteenth-Century British Logic and Rhetoric, Princeton : Princeton
University Press.
ISHIGURO, I. [1972] Leibniz's Philosophy of Logic and Language, Cambridge : Cambridge
University Press.
JEVONS, W.S. [1870] Réalisation mécanique de l'inférence logique, dans Gillot [1962], pp.89-124.
JEVONS, W.S. [1884] Elementary Lessons in Logic: Deductive and Inductive, London : Macmillan
and Co.
KOTARBINSKI, T. [1964] Leçons d'histoire de la logique, Paris : PUF.
KLEMKE, E.D. ed. [1968] Essays on Frege, Chicago : University of Illinois Press.
KNECHT, H.H. [1981] La logique chez Leibniz, Lausanne : L'Âge d'Homme.
KNEALE, W. & M. KNEALE [1962] The Development of Logic, Oxford : Clarendon Press.
LARGEAULT, J. [1970] Logique et philosophie chez Frege, Paris : Béatrice-Nauwelaerts.
LARGEAULT, J. [1972] Logique mathématique : Textes, Paris : Armand Colin.
LEIBNIZ, G.W. [1969] Nouveaux essais sur l'entendement humain, Paris : Garnier Flammarion.
LEIBNIZ, G.W. [1969] Philosophical Papers and Letters, (Loemker, L.E. ed.) Dordrecht : Reidel.
MARTIN, G. [1960] Leibniz : Logique et métaphysique, Paris : Beauchesne [1966].
MARTIN, L. [1975] La critique du discours : Sur la logique de Port-Royal et les Pensées de Pascal,
Paris : Minuit.
Mates, B. [1953] Stoïc Logic, New York.
MILL, J.S. [1906] A System of Logic, London, Longmans : Green, and Co.
MOODY, E.A. [1975] Studies in Medieval Philosophy, Science and Logic (Collected Papers 19331969), Berkeley : University of California Press.
NUCHELMANS, G. [1973] Theories of the Proposition : Ancient and Medieval Conceptions of the
Bearers of Truth and Falsity, Amsterdam : North-Holland.
D'OCKHAM , G. [1988] Somme de logique, Mauvezin : TER.
PARKINSON, G.H.R. [1965] Logic and Reality in Leibniz's Metaphysics, Oxford : Clarendon
Press.
POINCARÉ, H. [1894] La science et l'hypothèse, Paris : Flammarion, 1968.
POINCARÉ, H. [1905/06] «Les mathématiques et la logique» Revue de métaphysique et de
morale: –13 pp.815-835; –14 pp.17-34; –14 pp.294-317.
POINCARÉ, H. [1906] «A propos de la logistique», Revue de métaphysique et de morale 14
pp.866-868.
PRIOR, A.N. [1962] Formal Logic, Oxford : Clarendon Press.
RAMSEY, F.P. [1978] Foundations: Essays in Philosophy, Logic, Mathematics and Economics,
London : Routledge and Kegan Paul.
RICHARD, J. [1905] «Les principes des mathématiques et le problème des ensembles», Revue
générale des sciences pures et appliquées 16, p.541.
RIVENC, F. & P. de ROUILHAN [1992] Logique et fondements des mathématiques. Anthologie
(1850-1914), Paris : Payot.
RUSSELL, B. [1900] The Philosophy of Leibniz, London : George Allen and Unwin Ltd.
RUSSELL, B. [1903] The Principles of Mathematics, London : George Allen and Unwin.
RUSSELL, B. [1906] «Les paradoxes de la logique», Revue de métaphysique et de morale 14,
pp. 29-53.
RUSSELL, B. & A.N. WHITEHEAD [1910a] Principia Mathematica.
RUSSELL, B. [1910b] «La théorie des types logiques», Revue de métaphysique et de morale 18,
pp. 263-301.
RUSSELL, B. [1917] Mysticism and Logic, New York : Doubleday & Company.
RUSSELL, B. [1956] Logic and Knowledge, London : George Allen & Unwin Ltd.
5
SCHOLZ, H. [1968] Esquisse d'une histoire de la logique, Paris : Aubier.
SURMA, S.J. ed. [1973] Studies in the History of Mathematical Logic, Wroclaw : Ossolineum.
THAYER, H.S. The Logic of Pragmatism : An Examination of John Dewey's Logic, Westport
(Conn.) : Greenwood Press.
WAGNER, P. [1998] La machine en logique, Paris : PUF.
WITTGENSTEIN, L. [1921] Tractatus Logico-Philosophicus, London : Routledge & Kegan Paul
Ltd.
WOLLENSKI, J. [1989] Logic and Philosophy in the Lvov-Warsaw School, Dordrecht : Kluwer.
ZERMELO, E. [1909] «Sur les ensembles finis et le principe de l'induction complète», Acta
mathematica 32, pp.185-193.
6