Introduction 1cm Logique séance 1

Introduction
Logique
séance 1
M. Cozic
M. Cozic Introduction Logique séance 1

remerciements à ...
I...D. Bonnay
M. Cozic Introduction Logique séance 1

introduction
M. Cozic Introduction Logique séance 1

repères historiques
Ila logique est une discipline très ancienne, constituée dès
les philosophes grecs - en particulier Aristote et les
Stoïciens - voir Blanché & Dubucs (1996)
Il’importance accordée à la logique a varié selon les écoles
et les époques, mais une grande partie de ce qu’on traite
en logique aujourd’hui faisait déjà l’objet de discussions et
de théories:
•le raisonnement avec des quantificateurs (“Tous”,
“Certains”, “Aucun”; ex: Aristote)
•le raisonnement avec des connecteurs propositionnels (ex:
les Stoïciens)
•le raisonnement avec des modalités aléthiques
(“impossible”, “nécessaire”...) et temporelles (ex: Aristote,
les Mégariques)
M. Cozic Introduction Logique séance 1

repères historiques
Ila logique a connu des développements importants au
Moyen-Age (ex: Guillaume d’Ockham, Summa Logicae,
1323)
ILeibniz plaçait beaucoup d’espoir dans la construction
d’une langue logique, la lingua characteristica
IKant, Critique de la raison pure: la logique est achevée
“Il est encore remarquable à propos [de la logique] que,
jusqu’ici, elle n’a pu faire un seul pas en avant, et qu’ainsi,
selon toute apparence, elle semble close et achevée."
M. Cozic Introduction Logique séance 1