Portail:Logique/Images

• 
  Le mathématicien et logicien austro-américain Kurt Gödel en 1925.
• 
  Le philosophe et logicien grec antique Aristote.
• 
  Le mathématicien allemand Georg Cantor.
• 
  Le philosophe et logicien britannique Bertrand Russell en 1916.
• 
  Le mathématicien allemand David Hilbert en 1912.
• 
  L'escalier de Penrose, un objet impossible.
• 
  La machine analytique de Charles Babbage.
• 
  Le mathématicien et physicien hongro-américain John von Neuman dans les années 1940.
• 
  Le mathématicien et logicien français Jacques Herbrand juste avant sa mort en 1931.
• 
  Le mathématicien allemand Ernst Schröder dans les années 1890.
• 
  Statue en mémoire du mathématicien britannique Alan Turing au mémorial du Sackville Park.
• 
  Le mathématicien et linguiste italien Giuseppe Peano vers 1910.
• 
  Le philosophe, mathématicien et logicien allemand Gottfried Wilhelm Leibniz vers 1695.
• 
  Le mathématicien et logicien britannique George Boole vers 1860.
• 
  Le philosophe et logicien catalan médiéval Raymond Lulle.
• 
  Le philosophe et logicien anglais médiéval Guillaume d'Ockham.
• 
  Les Principia Mathematica de Bertrand Russell et Alfred North Whitehead.
• 
  Le Tractacus logico-philosophicus de Ludwig Wittgenstein.
• 
  Le logicien américain Stephen Kleene en 1978.
• 
  Le logicien américain d'origine polonaise Alfred Tarski en 1968.
• 
  Le mathématicien et logicien britannique Auguste De Morgan en 1882.
• 
  Illustration des lois de De Morgan.
• 
  Le mathématicien et logicien français Louis Couturat.
• 
  Le philosophe et logicien britannique Alfred North Whitehead.
• 
  Illustration de la combinatoire dans le De arte combinatoria de Gottfried Wilhelm Leibniz.
• 
  Un cube impossible.
• 
  Le triangle de Penrose, un objet impossible.
• 
  Le mathématicien et physicien britannique Roger Penrose en 2005.
• 
  Le logicien soviétique Moses Schönfinkel en 1922.
• 
  Le logicien et théoricien de l'informatique américano-canadien Stephen Cook en 2008.
• 
  Le logicien et philosophe américain Saul Kripke en 2005.
• 
  L'économiste et logicien britannique William Stanley Jevons.
• 
  Le philosophe, sémiologue et logicien américain Charles Sanders Peirce.
• 
  Illustration du paradoxe d'Achille et de la tortue, un des paradoxes de Zénon.
• 
  Le logicien allemand Gerhard Gentzen en 1945.
• 
  La règle du modus ponens, dite aussi de l'« élimination de l'implication », en déduction naturelle.
• 
  La règle de coupure dans l'article original de Gerhard Gentzen.