Sources

Vous trouverez ici des sources et des lectures complémentaires sur les fondements de la logique : des manuels en ligne librement accessibles (REL) ainsi que des introductions de référence éprouvées, sous forme de livres imprimés.

Manuels en ligne librement accessibles

• 🇩🇪 Torsten Wilholt : Logik und Argumentation. https://www.philos.uni-hannover.de/fileadmin/philos/Dateien/Personen_-_Dokumente/Wilholt/Logik.pdf
• 🇬🇧 P. D. Magnus et al. : forall x: An Introduction to Formal Logic (Calgary). Le manuel de logique libre le plus répandu dans le monde anglophone, devenu un standard moderne pour l'introduction à la logique propositionnelle et à la logique des prédicats.
• 🇬🇧 Matthew Van Cleave : Introduction to Logic and Critical Thinking. Un manuel libre (REL) qui articule étroitement la logique avec la pensée critique et l'évaluation des arguments du quotidien.

Introductions de référence (livres)

• 🇫🇷 Robert Blanché : Introduction à la logique contemporaine. Armand Colin. Un classique francophone, qui présente la logique moderne dans son contexte historique et philosophique.
• 🇫🇷 Denis Vernant : Introduction à la logique standard. Flammarion, 2001. Une introduction rigoureuse à la logique classique (calcul des propositions et des prédicats), écrite pour un public philosophique.
• 🇩🇪 Ansgar Beckermann : Einführung in die Logik. De Gruyter, 4e édition 2014. Une introduction claire et didactiquement bien construite à la logique classique, très répandue dans les universités allemandes.
• 🇩🇪 Wolfgang Detel : Grundkurs Philosophie. Band 1: Logik. Reclam. Une entrée en matière compacte et agréable à lire dans la logique formelle, dans le cadre d'un cours de philosophie générale.
• 🇩🇪 Ernst Tugendhat, Ursula Wolf : Logisch-semantische Propädeutik. Reclam. Un classique qui relie logique et analyse du langage, en plaçant au centre le rapport entre langue et forme logique.
• 🇩🇪 Wesley C. Salmon : Logik. Reclam. Une introduction éprouvée et accessible à tous (en traduction allemande), qui traite aussi des inférences inductives et des raisonnements fallacieux.

Manuels de logique pour aller plus loin (librement accessibles)

• 🇩🇪 Holger Brenner : Einführung in die mathematische Logik. Cours Wikiversity. (Osnabrück 2018, cc-by-sa-4.0).
  • C'est un très bon cours de logique mathématique, mais peut-être un peu trop formel pour la plupart de nos lecteurs.
• 🇩🇪 Horst Wessel : Logik (1998, cc-by-sa-4.0).
  • Horst Wessel (1942-2019) était professeur de logique à l'université Humboldt de Berlin. Son manuel Logik est un exposé systématique et complet de la logique classique et non classique, exigeant mais qui introduit la matière avec beaucoup de soin.
• 🇩🇪 André Fuhrmann : Vorlesungen über Philosophische Logik. (cc-by-4.0)
  • André Fuhrmann est professeur de philosophie à l'université Goethe de Francfort, spécialisé en logique. Ses Vorlesungen vont au-delà de la logique propositionnelle et des prédicats classique et traitent aussi de systèmes non classiques comme les logiques modales et conditionnelles : elles conviennent donc comme lecture d'approfondissement.
• 🇬🇧 Andrew Lavin : Fundamentals of Logic. Un manuel en ligne libre (REL) très accessible, qui mène de l'analyse des arguments à la logique formelle et convient particulièrement bien comme point de départ.