Hypertext

A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).

A

• Pierre Abélard (France, 1079–1142)
• Wilhelm Ackermann (Germany, 1896–1962)
• Sergei Adian (Russia/Soviet Union/Armenia, born 1931)
• Kazimierz Ajdukiewicz (Poland, 1890–1963)
• Alan Ross Anderson (USA, 1924–1972)
• Peter B. Andrews (USA, born 1938)
• Lennart Åqvist (b. Norway 1932)
• Aristotle (Greece, 384 BC – 322 BC)

B

• Bahmanyar (Iran, died 1067)
• Alexander Bain (1818–1903)
• Stefan Banach (Poland, 1892–1945)
• Yehoshua Bar-Hillel (Israel, 1915–1975)
• Henk Barendregt (Netherlands, born 1947)
• Jon Barwise (USA, 1942–2000)
• James Earl Baumgartner (USA, born 1943)
• Nuel Belnap (USA, born 1931)
• Paul Benacerraf (USA)
• Johan van Benthem (Netherlands, born 1949)
• Paul Bernays (Switzerland, 1888–1977)
• Evert Willem Beth (Netherlands, 1908–1964)
• Jean-Yves Béziau (Switzerland, born 1965)
• David Blitz (USA)
• Józef Maria Bocheński (Poland, 1902–1995)
• Bernard Bolzano (Austrian Empire, 1781–1848)
• Andrea Bonomì (Italy, born 1940)
• George Boole (England/Ireland, 1815–1864)
• George Boolos (USA, 1940–1996)
• Nicolas Bourbaki (pseudonym used by a group of French mathematicians, 20th century)
• Richard Brinkley (died c. 1379)
• Luitzen Egbertus Jan Brouwer (Netherlands, 1881–1966)
• Franco Burgersdijk (Netherlands, 1590–1629)
• Jean Buridan (France, c. 1300-post 1358)

C

• Georg Ferdinand Cantor (Germany, 1845–1918)
• Rudolf Carnap (Germany, 1891–1970)
• Lewis Carroll (UK, 1832–1898)
• Gregory Chaitin (Argentina/USA, born 1947)
• Chrysippus (Greece, c. 280 BC – c. 207 BC)
• Alonzo Church (USA, 1903–1995)
• Leon Chwistek (Poland, 1884–1944)
• Paul Joseph Cohen (USA, 1934–2007)
• Garlandus Compotista (11th century)
• S. Barry Cooper (UK, born 1943)
• Newton da Costa (Brazil, born 1929)
• William Craig (USA, born 1918)
• Haskell Curry (USA, 1900–1982)
• Tadeusz Czeżowski (Poland, 1889–1981)

D

• Martin Davis (USA, born 1928)
• Augustus De Morgan (UK, 1806–1871)
• Dharmakirti (India, c. 7th century)
• Dignāga (India, fl. 5th century)
• Diodorus Cronus (Greece, 4th-3rd century BC)
• Michael A. E. Dummett (UK, born 1925)
• John Dumbleton, (England, died c. 1349)

E

• Alexander Esenin-Volpin (Russia, born 1924)
• John Etchemendy (USA, born 1952)

F

• Solomon Feferman (USA, born 1928)
• Richard Ferrybridge (England, 14th century)
• Hartry Field (USA, born 1946)
• Kit Fine (USA, born 1946)
• Matthew Foreman (USA, born 1957)
• Michael Fourman (UK, born 1950)
• Adolf Fraenkel (Germany, 1891–1965)
• Roland Fraïssé (France, 1920–2008)
• Gottlob Frege (Germany, 1848–1925)
• Harvey Friedman (USA)

G

• Dov Gabbay (UK, born 1945)
• Haim Gaifman
• L. T. F. Gamut (collective pseudonym used by a group of Dutch logicians, fl. 1980s–1990s)
• Robin Gandy (Britain, 1919–1995)
• Sol Garfunkel (born 1943)
• Garlandus Compotista (France, c. 11th century)
• Akṣapāda Gautama, author of Nyāya Sūtras (India, c. 2nd century BC)
• Peter Geach (UK, born 1916)
• Gerhard Gentzen (Germany, 1909–1945)
• Joseph Diaz Gergonne (France, 1771–1859)
• Gilbert de la Porrée (France, 1070–1154)
• Jean-Yves Girard (France, born 1947)
• Kurt Gödel (Austria, USA, 1906–1978)
• Siegfried Gottwald (Germany, born 1943)
• Jeroen Groenendijk (Netherlands)

H

• Susan Haack (UK, born 1945)
• Petr Hájek (Czech Republic, born 1941)
• Leo Harrington (USA)
• Robert S. Hartman (Germany, USA, 1910–1973)
• Georg Wilhelm Friedrich Hegel (1770–1831)
• Jean Van Heijenoort (France, USA, 1912–1986)
• Leon Henkin (USA, 1921–2006)
• Jacques Herbrand (France, 1908–1931)
• Arend Heyting (Netherlands, 1898–1980)
• David Hilbert (Germany, 1862–1943)
• Jaakko Hintikka (Finland, born 1929)
• Alfred Horn (USA, 1918–2001)
• William Alvin Howard (born 1926)
• Ehud Hrushovski (Israel, born 1959)

I

• Ibn Taymiyyah (Turkey, born 1263–1328 CE)
• Marsilius of Inghen (Netherlands, between 1330 & 1340–1396)

J

• Giorgi Japaridze
• Stanisław Jaśkowski (Poland, 1906–1935)
• Richard Jeffrey (USA, 1926–2002)
• Ronald Jensen (USA, Europe, born 1936)
• William Stanley Jevons (England, 1835–1882)
• William Ernest Johnson (Britain, 1858–1931)
• Dick de Jongh (Netherlands, born 1939)
• Bjarni Jónsson (Iceland, born 1920)
• Philip Jourdain (Britain, 1879–1919)

K

• David Kaplan (USA, born 1933)
• Alexander S. Kechris (USA, born 1946)
• Richard Kilvington (England, c. 1305–1361)
• Stephen Cole Kleene (USA, 1909–1994)
• Tadeusz Kotarbiński (Poland, 1886–1981)
• Robert Kowalski (USA, UK, born 1941)
• Georg Kreisel (Austria/Britain/USA, born 1923)
• Saul Kripke (USA, born 1940)
• Leopold Kronecker (Germany, 1823–1891)

L

• Christine Ladd-Franklin (USA, 1847–1930)
• Gottfried Wilhelm Leibniz (Germany, 1646–1716)
• Stanisław Leśniewski (Poland, 1886–1939)
• Clarence Irving Lewis (USA, 1883–1964)
• David Kellogg Lewis (USA, 1941–2001)
• Adolf Lindenbaum (Poland, 1904–1941)
• Ramon Llull (Catalonia, 1232–1315)
• Martin Löb (Germany, 1921–2006)
• Paul Lorenzen (Germany, 1915–1994)
• Jerzy Łoś (Poland, 1920–1998)
• Hermann Lotze (Germany 1817–1881)
• Leopold Löwenheim (Germany, 1878–1957)
• Jan Łukasiewicz (Poland, 1878–1956)

M

• Hugh MacColl (Scotland, 1837–1909)
• Saunders MacLane (USA, 1909–2005)
• Dugald Macpherson (UK)
• Penelope Maddy (USA)
• David Makinson (Australia, UK, born 1941)
• John Mair (Scotland, 1467–1550)
• Isaac Malitz (USA, born 1947)
• Ruth Barcan Marcus (1921–2012)
• Per Martin-Löf (Sweden, born 1942)
• Donald A. Martin (USA, born 1940)
• Richard Milton Martin (USA, 1916–1985)
• Yuri Matiyasevich (Russia/Soviet Union, born 1947)
• C. A. Meredith (Ireland, 1904–1976)
• Bob Meyer (USA, 1932–2009)
• John Stuart Mill (England, 1806–1873)
• Richard Montague (USA, 1930–1971)
• Yiannis N. Moschovakis (USA, born 1938)
• Andrzej Mostowski (Poland, 1913–1975)

N

• Edward Nelson (USA, born 1932)
• John von Neumann (Hungary, USA, 1903–1957)
• Jean Nicod (France, 1893–1924)
• Pyotr Novikov (Russia/Soviet Union, 1901–1975)

O

• William of Ockham (England, 1285–1349)
• Piergiorgio Odifreddi (Italy, born 1950)
• Ivan Orlov (Russia, 1886–1936)

P

• John Pagus (France, fl. 1220–1229)
• Jeff Paris (UK, born 1944)
• Charles Parsons (USA, born 1933)
• Solomon Passy (Bulgaria, born 1956)
• Giuseppe Peano (Italy, 1858–1932)
• Charles Sanders Peirce (USA, 1839–1914)
• Lorenzo Peña (Spain, born 1944)
• Paolo da Pergola (Italy, died 1455)
• Chaim Perelman (Poland, Belgium, 1912–1984)
• Philo the Dialectician (Greece, 4th-3rd century BC)
• Walter Pitts (USA, 1923–1969)
• Emil Leon Post (USA, 1897–1954)
• Dag Prawitz (Sweden, born 1936)
• Mojżesz Presburger (Poland, 1904–1943)
• Graham Priest (Australia, born 1948)
• Arthur Prior (New Zealand, UK, 1914–1969)
• Hilary Putnam (USA, born 1926)

Q

• Willard Van Orman Quine (USA, 1908–2000)

R

• Michael O. Rabin (Israel, USA, born 1931)
• Constantin Rădulescu-Motru (1868–1957)
• Frank Plumpton Ramsey (UK, 1903–1930)
• Helena Rasiowa (Poland, 1917–1994)
• Carveth Read (Britain, 1848–1931)
• Abraham Robinson (Israel, UK, Canada, USA, 1918–1974)
• Raphael M. Robinson (USA, 1911–1995)
• Hartley Rogers, Jr
• J. Barkley Rosser (USA, 1907–1989)
• Richard Routley, later Richard Sylvan (New Zealand, 1935–1996)
• Bertrand Russell (UK, 1872–1970)

S

• Gerald Sacks (USA)
• Giovanni Girolamo Saccheri, (Italy, 1667–1733)
• Albert of Saxony (Germany, c. 1316–1390)
• Rolf Schock (USA, Sweden, 1933–1986)
• Moses Schönfinkel (USSR, 1889–1942)
• Ernst Schröder (Germany, 1841–1902)
• Dana Scott (USA, born 1932)
• John Duns Scotus (Britain, France, c. 1266–1308)
• Fyodor Shcherbatskoy (Russia, 1866–1942)
• Saharon Shelah (Israel, born 1945)
• William of Sherwood (England, 1190–1249)
• Hui Shi (China, fl. 4th century BC)
• Christoph von Sigwart (Germany, 1830–1894)
• Raghunatha Siromani (India, 1470s–1550s)
• Thoralf Skolem (Norway 1887–1963)
• Dimiter Skordev (Bulgaria, born 1936)
• Theodore Slaman (USA)
• Raymond Smullyan (USA, born 1919)
• Robert M. Solovay (USA, born 1938)
• Richard the Sophister (fl. late 1200s)
• Peter of Spain (13th century)
• John R. Steel (USA)
• Martin Stokhof (Netherlands)
• Ralph Strode (England, fl. 1350–1400)
• Akṣapāda Gautama (India)
• Richard Swineshead (England, fl. c. 1340–1354)
• Richard Sylvan, born Richard Routley (New Zealand, 1935–1996)

T

• Gaisi Takeuti (Japan, born 1926)
• Alfred Tarski (Poland, 1902–1983)
• Theophrastus (Greece, 371 - c. 287 BC)
• Pavel Tichý (Czechoslovakia, New Zealand, 1936–1994)
• Anne Sjerp Troelstra (Netherlands, born 1939)
• Alan Turing (UK, 1912–1954)
• Kazimierz Twardowski (Poland, 1866–1938)

U

• Udayana (India, 10th century)
• Alasdair Urquhart (Britain, born 1945)

V

• Nicolai A. Vasiliev (Russia, 1880–1940)
• Robert Lawson Vaught (USA, 1926–2002)
• Paul of Venice (Italy, 1368–1428)
• John Venn (England, 1834–1923)

W

• Hao Wang (China/USA, 1921–1995)
• Isaac Watts (England, 1674–1748)
• Richard Whately (England, 1787–1863)
• Alfred North Whitehead (UK, 1861–1947)
• Ludwig Wittgenstein (Austria, UK, 1889–1951)
• W. Hugh Woodin (USA, born 1955)
• Georg Henrik von Wright (Finland, UK, 1916–2003)

X

This section is empty. You can help by adding to it.

Y

• Jin Yuelin (China, 1895–1984)

Z

• Ernst Zermelo (Germany, 1871–1953)
• Aleksandr Zinovyev (Soviet Union, 1922–2006)

External links

• The MacTutor History of Mathematics archive Very complete list of detailed biographies. Many logicians are included.
• A selection of great logicians with detailed bibliographies (in progress)

v t e Logic   Overview Academic areas Argumentation theory Axiology Critical thinking Computability theory Formal semantics History of logic Informal logic Logic in computer science Mathematical logic Mathematics Metalogic Metamathematics Model theory Philosophical logic Philosophy Philosophy of logic Philosophy of mathematics Proof theory Set theory Foundational concepts Abduction Analytic truth Antinomy A priori Deduction Definition Description Entailment Induction Inference Logical consequence Logical form Logical implication Logical truth Name Necessity Meaning Paradox Possible world Presupposition Probability Reason Reasoning Reference Semantics Statement Strict implication Substitution Syntax Truth Truth value Validity   Philosophical logic Critical thinking and Informal logic Analysis Ambiguity Argument Belief Bias Credibility Evidence Explanation Explanatory power Fact Fallacy Inquiry Opinion Parsimony Premise Propaganda Prudence Reasoning Relevance Rhetoric Rigor Vagueness Theories of deduction Constructivism Dialetheism Fictionalism Finitism Formalism Intuitionism Logical atomism Logicism Nominalism Platonic realism Pragmatism Realism   Metalogic and metamathematics Cantor's theorem Church's theorem Church's thesis Consistency Effective method Foundations of mathematics Gödel's completeness theorem Gödel's incompleteness theorems Soundness Completeness Decidability Interpretation Löwenheim–Skolem theorem Metatheorem Satisfiability Independence Type–token distinction Use–mention distinction   Mathematical logic General Formal language Formation rule Formal system Deductive system Formal proof Formal semantics Well-formed formula Set Element Class Classical logic Axiom Natural deduction Rule of inference Relation Theorem Logical consequence Axiomatic system Type theory Symbol Syntax Theory Traditional logic Proposition Inference Argument Validity Cogency Syllogism Square of opposition Venn diagram Propositional calculus and Boolean logic Boolean functions Propositional calculus Propositional formula Logical connectives Truth tables Predicate First-order Quantifiers Predicate Second-order Monadic predicate calculus Set theory Set Empty set Enumeration Extensionality Finite set Function Subset Power set Countable set Recursive set Domain Range Ordered pair Uncountable set Model theory Model Interpretation Non-standard model Finite model theory Truth value Validity Proof theory Formal proof Deductive system Formal system Theorem Logical consequence Rule of inference Syntax Computability theory Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function   Non-classical logic Modal logic Alethic Axiologic Deontic Doxastic Epistemic Temporal Intuitionism Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory Fuzzy logic Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations Substructural logic Structural rule Relevance logic Linear logic Paraconsistent logic Dialetheism Description logic Ontology Ontology language   Logicians Anderson Aristotle Averroes Avicenna Bain Barwise Bernays Boole Boolos Cantor Carnap Church Chrysippus Curry De Morgan Frege Geach Gentzen Gödel Hilbert Kleene Kripke Leibniz Löwenheim Peano Peirce Putnam Quine Russell Schröder Scotus Skolem Smullyan Tarski Turing Whitehead William of Ockham Wittgenstein Zermelo   Lists Topics Outline of logic Index of logic articles Mathematical logic Boolean algebra Set theory Other Logicians Rules of inference Paradoxes Fallacies Logic symbols Portal Category Outline WikiProject Talk changes