Cursus de logique formelle
cursus logique sciences note-mature
En français
La France dispose probablement du meilleur cours introductif, par un logicien et philosophe de la logique et du langage, responsable du cursus de philosophie analytique à la Sorbonne. Son manuel y est employé dans les 3 premières années et ouvre même sur les logiques hétérodoxes et des réflexions de philosophie des sciences :
- 📖 Wagner, P. (2014). Logique et Philosophie : Manuel d’Introduction pour les Étudiants du Supérieur. Ellipses.
En anglais
En cours très introductif, ce classique de pédagogie du célèbre logicien Tarsky :
- 📖 Tarski, A. (1994). Introduction to Logic and to the Methodology of the Deductive Sciences (4th ed.). Oxford University Press.
Selon Peter Smith qui a enseigné la logique formelle pendant 30 ans à Oxford, a fait un cursus de référence sur l’étude de la logique formelle en comparant des dizaines de livres, les deux meilleurs manuels introductifs à la logique formelle sont :
- 📖 Smith, N. J .J. (2012). Logic: The Laws of Truth. Princeton University Press.
- 📖 Magnus, P. D., Button T. (2018). forall x. University of Cambridge.
Il est particulièrement dithyrambique sur celui de Smith (2012), qui est beaucoup plus vaste (350 pages de plus) que celui de Magnus & Button (2018) qui convient plutôt pour une brève introduction.
Puis, plus avancé, le cursus élitiste et progressif mélangeant livres et articles comparés méticuleusement et proposés par Peter Smith, professeur de logique réputé à Cambridge avec plus de 30 ans d’expérience :
- 📰 Smith, P. (2024, January 5). Beginning Mathematical Logic: A Study Guide (corrected reprint).
https://www.logicmatters.net/tyl/
Sans oublier l’appendice et les notes de livres de ce guide se trouvant dans des documents séparés sur la même page :
- 📰 Apppendix: Some Big Books on Mathematical Logic.
- 📰 Book Notes.
Je suggère deux livres supplémentaires intéressants :
- 📖 Wolf, R. S. (2005). A Tour through Mathematical Logic. Mathematical Association of America.
Qui a une approche historique de l’évolution de la logique formelle.
- 📖 Read, S. (1989). Relevant Logic: A Philosophical Examination of Inference. Blackwell.
Qui présente la logique de la pertinence, concurrente de la logque classique, et qui entend en corriger les erreurs qui conduisent à ses paradoxes.
todo-trier quid de https://forallx.openlogicproject.org/html/index.html
https://builds.openlogicproject.org/ ?