邏輯學家列表
外觀
邏輯學家是學術研究主題為邏輯學的哲學家,數學家或其他人。下面按姓氏的英語的字母順序列出著名的邏輯學家。
A
[編輯]- 威廉·阿克曼(德國,1896年-1962年)
- Alan Ross Anderson(美國,1924年-1972年)
- 亞里士多德(古希臘,公元前384年-公元前322年)
B
[編輯]- 斯特凡·巴拿赫(波蘭,1892年-1945年)
- Yehoshua Bar-Hillel(以色列,1915年-1975年)
- Jon Barwise(美國,1942年-2000年)
- Nuel Belnap(1931年-)
- Johan van Benthem(荷蘭,1949年 -)
- Evert Willem Beth(荷蘭,1908年-1964年)
- 喬治·布爾(英國,1815年-1864年)
- George Boolos(美國,1940年-1996年)
- 尼古拉·布爾巴基(法國,一群數學家的筆名)
- 魯伊茲·布勞威爾(荷蘭,1881年-1966年)
C
[編輯]- 魯道夫·卡爾納普(德國,美國,1891年-1970年)
- 格奧爾格·康托爾(德國,1845年-1918年)
- 路易斯·卡羅(英國,1832年-1898年)
- 阿隆佐·邱奇(美國,1903年-1995年)
- 保羅·寇恩(美國,1934年-2007年)
- Newton da Costa(巴西,1929年-)
- Haskell Curry(美國,1900年-1982年)
D
[編輯]- 德·摩根(英國,1806年-1871年)
- Michael A. E. Dummett(1925年-)
- J. Michael Dunn(美國)
- John Duns Scotus(英國,約1266年-1308年)
E
[編輯]F
[編輯]- Solomon Feferman
- Adolf Fraenkel(德國,1891年-1965年)
- 戈特洛布·弗雷格(德國,1848年-1925年)
- Harvey Friedman
- Sy Friedman
G
[編輯]- L.T.F. Gamut(一群荷蘭邏輯學家的筆名)
- 格哈德·根岑(德國,1909年-1945年)
- Joseph Diaz Gergonne(法國,1771年-1859年)
- Jean-Yves Girard
- 庫爾特·哥德爾(奧地利,美國,1906年-1978年)
- Anil Gupta
H
[編輯]- Susann Haack(英國,1945年-)
- Leon Henkin
- Jacques Herbrand(法國)
- 阿蘭德·海廷(1898年-1980年)
- 大衛·希爾伯特(德國,1862年-1943年)
- 亞科·欣蒂卡(芬蘭,1929年-2015年)
- Alfred Horn(美國,1918年-2001年)
J
[編輯]- 斯坦尼斯瓦夫·亞希科夫斯基(波蘭,1906年-1965年)
- 威廉姆·斯坦利·傑文斯(英格蘭,1835年 – 1882年)
- 金岳霖(中國,1895年-1984年)
K
[編輯]- David Kaplan(美國,1933年-)
- Alexander S. Kechris
- 斯蒂芬·科爾·克萊尼(美國,1909年-1994年)
- 克里普克(美國,1940年-)
- 利奧波德·克羅內克(德國,1823年-1891年)
L
[編輯]- 萊布尼茨(德國,1646年-1716年)
- Clarence Irving Lewis(美國,1883年-1964年)
- David Lewis(美國,1941年-2001年)
- Adolf Lindenbaum(波蘭,1904年-1941年)
- Leopold Löwenheim(德國,1878年-1957年)
- 揚·武卡謝維奇(Jan Łukasiewicz,波蘭,1878年-1956年)
M
[編輯]- Hugh MacColl(蘇格蘭,1837年-1909年)
- Saunders MacLane(美國,1909年-)
- Ruth Barcan Marcus(美國,1921年-)
- Donald A. Martin
- C. A. Meredith(愛爾蘭,1904年-1976年)
- Richard Montague(美國,1930年-1971年)
- 奧古斯都·德·摩根(英國,1806年-1871年)
- Yiannis N. Moschovakis
N
[編輯]- 馮·諾伊曼(匈牙利,美國,1903年-1957年)
O
[編輯]P
[編輯]- 查爾斯·桑德斯·皮爾士(美國,1839年-1914年)
- 皮亞諾(義大利,1858年-1932年)
- Walter Pitts(美國,1923年-1969年)
- Emil Leon Post(美國,1897年-1954年)
- Dag Prawitz(瑞典,1936年-)
- Arthur Prior(紐西蘭,1914年-1969年)
- 希拉里·懷特哈爾·普特南(美國,1926年-)
Q
[編輯]- W. V. 蒯因(美國,1908年-2000年 )
R
[編輯]- 弗蘭克·普倫普頓·拉姆齊(英國,1903年-1930年)
- Abraham Robinson(以色列、英國、加拿大、美國,1918年-1974年)
- J. Barkley Rosser(美國,1907年-1989年)
- Richard Routley(紐西蘭,1935年-1996年)
- 伯特蘭·羅素(英國,1872年-1970年)
S
[編輯]- Albert of Saxony(德國,c. 1316年-1390年)
- Rolf Schock(b. 法國,1933年-1986年)
- Moses Schönfinkel(蘇聯,1889年-1942年)
- Saharon Shelah(以色列,1945年-)
- William of Sherwood(英格蘭,1190年-1249年)
- 雷德蒙·斯穆里安(美國,1919年-)
- Peter of Spain
- John R. Steel
- Patrick Suppes
- 蘇天輔(中國,1922年-2017年)
T
[編輯]- 塔斯基(波蘭,1902年-1983年)
- Pavel Tichy(捷克斯拉夫,1936年-1994年)
- Anne Sjerp Troelstra(荷蘭,1939年-)
- 阿蘭·圖靈(英國,1912年-1954年)
- Kazimierz Twardowski(波蘭,1866年-1938年)
U
[編輯]V
[編輯]- John Venn(英格蘭,1834年-1923年)
W
[編輯]- 王浩(華裔美國人,1921年-1995年)
- Isaac Watts(英格蘭,1674年-1748年)
- 阿弗烈·諾夫·懷海德(英國,1861年-1947年)
- 奧卡姆的威廉(英格蘭,約1285年—1349年)
- 維特根斯坦(奧地利,1889年-1951年)
- W. Hugh Woodin(美國,1955年-)
Y
[編輯]Z
[編輯]外部連結
[編輯]- 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.