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, Pierre. (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, Alfred. (1994). Introduction to Logic and to the Methodology of the Deductive Sciences (4th ed.). Oxford University Press.
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, Peter. (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, Robert S. (2005). A Tour through Mathematical Logic. Mathematical Association of America.
Qui a une approche historique de l’évolution de la logique formelle. - 📰 READ, Stephen. (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/ ?