Portail:Logique/Histoire
L'histoire de la logique est intimement liée à l'histoire des sciences ainsi qu'à l'histoire de la philosophie.
Certains grands logiciens occidentaux sont entre autres :
- Dans l'Antiquité :
- Au Moyen-Âge :
- À l'Époque moderne :
- Au XIXe siècle :
- AU XXe siècle :
- Kurt Gödel
- David Hilbert
- Wilhelm Ackermann
- Bertrand Russell
- Ludwig Wittgenstein
- Alfred North Whitehead
- Alfred Tarski
- Emil Post
- Jan Łukasiewicz
- Alan Turing
- Alonzo Church
- Willard Van Orman Quine
- Thoralf Skolem
- Rózsa Péter
- Jacques Herbrand
- Gerhard Gentzen
- Raphael Robinson
- Julia Robinson
- Stephen Cole Kleene
- Paul Bernays
- Saul Kripke
- Clarence Irving Lewis
Certains des ouvrages classiques de l'histoire de la logique sont entre autres :
- l'Organon d'Aristote (IVe siècle av. J.-C.) ;
- Les Lois de la pensée de George Boole (1854) ;
- l'Idéographie (Begriffschrifft) de Gottlob Frege (1879) ;
- les Principia Mathematica de Bertrand Russell et Alfred North Whitehead (1910) ;
- le Tractatus logico-philosophicus de Ludwig Wittgenstein (1921) ;
- les Principes de logique théorique de David Hilbert et Wilhelm Ackermann (1928).