List of logicians
From Exampleproblems
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
- Wilhelm Ackermann (Germany, 1896 - 1962)
- Alan Ross Anderson (USA, 1924 - 1972)
- Aristotle (Greece, 384 B.C. - 322 B.C.)
B
- Stefan Banach (Poland, 1892 - 1945)
- Yehoshua Bar-Hillel (Israel, 1915 - 1975)
- Jon Barwise (USA, 1942 - 2000)
- Nuel Belnap (1931 - )
- Johan van Benthem (Netherlands, 1949 -)
- Evert Willem Beth (Netherlands, 1908 - 1964)
- George Boole (UK, 1815 - 1864)
- George Boolos (USA, 1940 - 1996)
- Nicolas Bourbaki (Pseudonym used by a cabal of French mathematicians)
- Luitzen Egbertus Jan Brouwer (Netherlands, 1881 - 1966)
C
- Rudolf Carnap (Germany, 1891 - 1970)
- Georg Ferdinand Cantor (Germany, 1845 - 1918)
- Lewis Carroll (UK, 1832 - 1898)
- Alonzo Church (USA, 1903 - 1995)
- Paul Joseph Cohen (USA, 1934 - )
- Newton da Costa (Brazil, 1929 - )
- Haskell Curry (USA, 1900 - 1982)
D
- Augustus De Morgan (UK, 1806 - 1871)
- Michael A. E. Dummett (1925 - )
- J. Michael Dunn (USA)
- John Duns Scotus (England, c. 1266-1308)
E
F
- Solomon Feferman
- Adolf Fraenkel (Germany, 1891 - 1965)
- Gottlob Frege (Germany, 1848 - 1925)
- Harvey Friedman
- Sy Friedman
G
- L.T.F. Gamut (collective pseudonym used by a group of Dutch logicians)
- Gerhard Gentzen (Germany, 1909 - 1945)
- Jean-Yves Girard
- Kurt Gödel, (Austria, USA, 1906 - 1978)
- Anil Gupta
H
- Susan Haack (UK, 1945 - )
- Leon Henkin
- Jacques Herbrand (France)
- Arend Heyting (1898 - 1980)
- David Hilbert (Germany, 1862 - 1943)
- Alfred Horn (USA, 1918 - 2001)
J
K
- David Kaplan (USA, 1933 - )
- Alexander S. Kechris
- Stephen Cole Kleene (USA, 1909 - 1994)
- Saul Kripke (USA, 1940 - )
L
- Gottfried Wilhelm Leibniz (Germany, 1646 - 1716)
- Clarence Irving Lewis (USA, 1883 - 1964)
- David Lewis (USA, 1941 - 2001)
- Adolf Lindenbaum (Poland, 1904 - 1941)
- Leopold Löwenheim (Germany, 1878 - 1957)
- Jan Łukasiewicz (Poland, 1878 - 1956)
M
- Saunders MacLane (USA, 1909 - )
- Ruth Barcan Marcus (USA, 1921 - )
- Donald A. Martin
- C. A. Meredith (Ireland, 1904 - 1976)
- Richard Montague (USA, 1930 - 1971)
- Yiannis N. Moschovakis
N
- John von Neumann (Hungary, USA, 1903 - 1957)
O
P
- Charles Sanders Peirce (USA, 1907 - 1989)
- Giuseppe Peano (Italy, 1858 - 1932)
- Walter Pitts (USA, 1923 - 1969)
- Emil Leon Post (USA, 1897 - 1954)
- Dag Prawitz (Sweden, 1936 - )
- Arthur Prior (New Zealand, 1914 - 1969)
- Hilary Putnam (USA, 1926 - )
Q
- W. V. Quine (USA, 1908 - 2000 )
R
- Frank Plumpton Ramsey (UK, 1903 - 1930)
- Abraham Robinson (Israel, UK, Canada, USA, 1918 - 1974)
- J. Barkley Rosser (USA, 1907 - 1989)
- Richard Routley (New Zealand, 1935 - 1996)
- Bertrand Russell (UK, 1872 - 1970)
S
- Albert of Saxony (Germany, c. 1316 - 1390)
- Moses Schönfinkel (USSR)
- Saharon Shelah (Israel, 1945 - )
- Raymond Smullyan (USA, 1919 - )
- Peter of Spain
- John R. Steel
- Patrick Suppes
T
- Alfred Tarski (Poland, 1902 - 1983)
- Pavel Tichy (Czechoslovakia, 1936 - 1994)
- Anne Sjerp Troelstra (Netherlands, 1939 - )
- Alan Turing (UK, 1912 - 1954)
- Kazimierz Twardowski (Poland, 1866 - 1938)
U
V
W
- Alfred North Whitehead (UK, 1861 - 1947)
- William of Sherwood (England, 1190 - 1249)
- Ludwig Wittgenstein (Austria, 1889 - 1951)
- W. Hugh Woodin (USA, 1955 - )
Y
Z
- Lotfi Zadeh (Azerbaijan/USA, 1921 - )
- Ernst Zermelo (Germany, 1871 - 1953)
External links
- The MacTutor History of Mathematics archive: http://www-history.mcs.st-and.ac.uk/history/ -- Very complete list of detailed biographies. Many logicians are included.et:Loogikute loend
