List of logicians
|
|
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).
Contents: Top - 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
- Wilhelm Ackermann (Germany, 1896 - 1962)
- Alan Ross Anderson (1924-1972)
- Aristotle (Greece, 384 B.C. - 322 B.C.)
B
- Stefan Banach (Poland, 1892-1945)
- Yehoshua Bar-Hillel (Israel, 1915-1975)
- Jon Barwise (US, 1942 -2000)
- Nuel Belnap (1931-)
- Johan van Benthem (Netherlands, 1949-)
- George Boole (Britain, 1815 - 1864)
- George Boolos (US, 1940 - 1996)
- Nicolas Bourbaki (Pseudonym used by a cabal of French mathematicians)
- Luitzen Egbertus Jan Brouwer (Netherlands, 1881 - 1966)
C
- Rudolf Carnap
- Lewis Carroll
- Georg Ferdinand Cantor (Germany, 1845 - 1918)
- Alonzo Church (USA, 1903 - 1995)
- Paul Joseph Cohen (USA, 1934 - )
- Newton da Costa
- Haskell Curry
D
- Augustus de Morgan (India, Britain 1806 - 1871)
- Michael A. E. Dummett (1925-)
- J. Michael Dunn
E
F
- Solomon Feferman
- Gottlob Frege (Germany, 1848 - 1925)
- Adolf Fraenkel (Germany, 1891 - 1965)
G
- L.T.F. Gamut (collective pseudonym used by a group of Dutch logicians)
- Gerhard Gentzen (Germany, 1909 - 1945)
- Kurt Gödel, (Austria, USA, 1906 - 1978)
- Anil Gupta
H
- Susan Haack
- Leon Henkin
- Jacques Herbrand (France)
- Arend Heyting (1898-1980)
- David Hilbert (Germany, 1862 - 1943)
J
K
- David Kaplan
- Stephen Cole Kleene (USA, 1909 - 1994)
- Saul Kripke (USA, 1940 - )
L
- Gottfried Wilhelm Leibniz (Germany, 1646 - 1716)
- Clarence Irving Lewis
- David Lewis (philosopher)
- Adolf Lindenbaum (Poland, 1904 - 1941/2)
- Leopold Löwenheim
- Jan Łukasiewicz
M
- Ruth Barcan Marcus
- Richard Montague (USA, 1930 - 1971)
- Saunders MacLane (USA, 1909 - )
N
- John von Neumann (Hungary, USA, 1903 - 1957)
O
P
- Charles Sanders Peirce
- Giuseppe Peano (Italy, 1858 - 1932)
- Walter Pitts
- Dag Prawitz
- Arthur Prior
- Hilary Putnam
Q
- W. V. Quine (USA, 1908 - 2000 )
R
- Frank Plumpton Ramsey (Britain, 1903 - 1930)
- Abraham Robinson (Israel, UK, Canada, USA, 1918-1974)
- J. Barkley Rosser (USA)
- Richard Routley
- Bertrand Russell (Britain, 1872 - 1970)
S
- Albert of Saxony
- Moses Schönfinkel (USSR)
- Saharon Shelah (Israel, 1945 - )
- Raymond Smullyan
- Peter of Spain
- Patrick Suppes
T
- Alfred Tarski (Poland, 1902 - 1983)
- Pavel Tichy (Czechoslovakia, 1936 - 1994)
- Anne Sjerp Troelstra (Netherlands, 1939)
- Alan Turing (Britain, 1912 - 1954)
- Kazimierz Twardowski (Poland, 1866 - 1938)
U
V
W
- Alfred North Whitehead (Britain, 1861 - 1947)
- Ludwig Wittgenstein (Austria, 1889 - 1951)
Y
Z
- Ernst Zermelo (Germany, 1871 - 1953)
- Lotfi Zadeh (Azerbaijan, 1921 - ?)
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