Mantıkçılar listesi

Mantıkçı, matematiğin bir alt dalı olan mantık ile uğraşan kişidir. Bazı ünlü mantıkçılar İngilizce alfabetik harf çevirisi sırasına göre soyad temel alınarak aşağıda listelenmiştir.

A

• Peter Abelard (Fransa, 1079–1142)
• Wilhelm Ackermann (Almanya, 1896–1962)
• Sergei Adian (Rusya/Sovyetler Birliği/Ermenistan, 1931–2020)
• Rodolphus Agricola (Almanya, 1443/1444-1485)
• Kazimierz Ajdukiewicz (Polonya, 1890–1963)
• Alcuin (İngiltere/Fransa, y. 735–804)
• Alan Ross Anderson (ABD, 1924–1972)
• Peter B. Andrews (ABD, d. 1938)
• Thomas Aquinas (İtalya/Fransa, 1225–1274)
• Lennart Åqvist (İsveç, d. 1932)
• Aristoteles (Yunanistan, MÖ. 384-322)
• Auxerreli Heiric (Fransa, 841–876)

B

• Bahmanyār (İran, ö. 1067)
• Jayanta Bhatta (Hindistan, 850–910)
• Alexander Bain (İngiltere, 1818–1903)
• Yehoshua Bar-Hillel (İsrail, 1915–1975)
• Ruth Barcan Marcus (ABD, 1921–2012)
• Henk Barendregt (Hollanda, d. 1947)
• Jon Barwise (ABD, 1942–2000)
• James Earl Baumgartner (ABD, 1943–2011)
• John Lane Bell (İngiltere ve Kanada, d. 1945)
• Nuel Belnap (ABD, d. 1931)
• Paul Benacerraf (ABD, d. 1931)
• Jean Paul Van Bendegem (Belçika, d. 1953)
• Johan van Benthem (Hollanda, d. 1949)
• Paul Bernays (İsviçre, 1888–1977)
• Evert Willem Beth (Hollanda, 1908–1964)
• Jean-Yves Béziau (İsviçre, d. 1965)
• Józef Maria Bocheński (Polonya, 1902–1995)
• Boethius (Roma/Ostrogot Krallığı, y. 480–524/525)
• Bernard Bolzano (Avusturya İmparatorluğu, 1781–1848)
• Andrea Bonomi (İtalya, d. 1940)
• George Boole (İngiltere/İrlanda, 1815–1864)
• George Boolos (ABD, 1940–1996)
• Nicolas Bourbaki (bir grup Fransız matematikçi tarafından kullanılan takma ad, 20. yüzyıl)
• Thomas Bradwardine (İngiltere, y. 1290–26 Ağustos 1349)
• Richard Brinkley (İngiltere, ö. 1379 dolayları)
• Luitzen Egbertus Jan Brouwer (Hollanda, 1881–1966)
• Alan Richard Bundy (İngiltere, d. 1947)
• Franco Burgersdijk (Hollanda, 1590-1629)
• Jean Buridan (Fransa, y. 1300–1358 sonrası)
• Walter Burley (İngiltere, y. 1275-1344/5)

C

• Chanakya (Hindistan, Mouryan İmparatorluğu, MÖ. 371–285)
• Georg Ferdinand Cantor (Almanya, 1845–1918)
• Rudolf Carnap (Almanya, 1891–1970)
• Lewis Carroll (İngiltere, 1832–1898)
• Categoriae decem (Latince, beşinci yüzyıl)
• Gregory Chaitin (Arjantin/ABD, d. 1947)
• Chrysippus (Yunanistan, MÖ. Şablon:Yaklaık)
• Alonzo Church (ABD, 1903–1995)
• Leon Chwistek (Polonya, 1884–1944)
• Gordon H. Clark (ABD, 1902–1985)
• Paul Joseph Cohen (ABD, 1934–2007)
• Conimbricenses, Coimbra Üniversitesi (Portekiz) Cizvitlerinin bilinen ismi (1591-1606)
• S. Barry Cooper (Birleşik Krallık, 1943-2015)
• Jack Copeland (İngiltere, d. 1950)
• Thierry Coquand (Fransa, d. 1961)
• John Corcoran (ABD, 1937–2021)
• Newton da Costa (Brezilya, d. 1929)
• William Craig (ABD, 1918–2016)
• Haskell Curry (ABD, 1900–1982)
• Tadeusz Czeżowski (Polonya, 1889–1981)

D

• Dirk van Dalen (Hollanda, d. 1932)
• Martin Davis (ABD, d. 1928)
• Augustus De Morgan (İngiltere, 1806-1871)
• René Descartes (Fransa, 1596-1650)
• Dharmakirti (Hindistan, y. 7. yüzyıl)
• Dignāga (Hindistan, 5. yüzyıl dolayları)
• Diodorus Cronus (Yunanistan, MÖ. 4.–3. yy)
• Martin Dorp (Hollanda, y. 1485–1525)
• John Dumbleton (İngiltere, ö. 1349 dolayları)
• Michael A.E. Dummett (İngiltere, 1925–2011)
• Jon Michael Dunn (ABD, 1941–2021)

E

• Alexander Esenin-Volpin (Rusya, 1924–2016)
• John Etchemendy (ABD, d. 1952)
• Leonhard Euler (İsviçre, 1707-1783)

F

• Solomon Feferman (ABD, 1928–2016)
• Richard Ferrybridge (İngiltere, 14. yüzyıl)
• Hartry Field (ABD, d. 1946)
• Fine Kit (ABD, d. 1946)
• Melvin Fitting (ABD, d. 1942)
• Graeme Forbes (İskoçya, 20. yüzyıl)
• Matthew Foreman (ABD, d. 1957)
• Michael Fourman (İngiltere, d. 1950)
• Roland Fraïssé (Fransa, 1920–2008)
• Abraham Fraenkel (Almanya, 1891–1965)
• Gottlob Frege (Almanya, 1848–1925)
• Harvey Friedman (ABD, 1d. 948)

H

• Susan Haack (İngiltere, d. 1945)
• Petr Hájek (Çek Cumhuriyeti, 1941–2016)
• Leo Harrington (ABD, d. 1946)
• Robert S. Hartman (Almanya/ABD, 1910–1973)
• Georg Wilhelm Friedrich Hegel (Almanya, 1770–1831)
• Jean Van Heijenoort (Fransa/ABD, 1912–1986)
• Leon Henkin (ABD, 1921–2006)
• Jacques Herbrand (Fransa, 1908–1931)
• Arend Heyting (Hollanda, 1898–1980)
• David Hilbert (Almanya, 1862–1943)
• Jaakko Hintikka (Finlandiya, 1929–2015)
• Alfred Horn (ABD, 1918–2001)
• William Alvin Howard (ABD, d. 1926)
• Ehud Hrushovski (İsrail, d. 1959)
• Gérard Huet (Fransa, d. 1947)

İ

• İbn Teymiyye (Türkiye, MS. 1263-1328)
• Inghen Marsilius (Hollanda/Fransa/Almanya, 1330/1340-1396)

J

• Giorgi Japaridze (Gürcistan, 20. yüzyıl)
• Stanisław Jaśkowski (Polonya, 1906–1965)
• Richard Jeffrey (ABD, 1926–2002)
• Ronald Jensen (ABD, Avrupa, d. 1936)
• William Stanley Jevons (İngiltere, 1835-1882)
• St. Thomaslı John/John Poinsot (Portekiz/İspanya, 1589-1644)
• William Ernest Johnson (İngiltere, 1858–1931)
• Dick de Jongh (Hollanda, d. 1939)
• Bjarni Jónsson (İzlanda, 1920–2016)
• Philip Jourdain (İngiltere, 1879–1919)
• Joachim Jungius (Almanya, 1587-1657)
• Jñanasrimitra (Hindistan, 10. yüzyıl)

K

• David Kaplan (ABD, d. 1933)
• Alexander S. Kechris (ABD, d. 1946)
• Howard Jerome Keisler (ABD, d. 1936)
• Ahmed Raza Khan (Hindistan, 1856–1921)
• Richard Kilvington (İngiltere, y. 1305-1361)
• Robert Kilwardby (İngiltere, y. 1215-1279)
• Stephen Cole Kleene (ABD, 1909–1994)
• Tadeusz Kotarbiński (Polonya, 1886–1981)
• Robert Kowalski (ABD, İngiltere, d. 1941)
• Georg Kreisel (Avusturya/İngiltere/ABD, 1923–2015)
• Saul Kripke (ABD, d. 1940)
• Leopold Kronecker (Almanya, 1823–1891)
• Kenneth Kunen (ABD, 1943–2020)

L

• Christine Ladd-Franklin (ABD, 1847–1930)
• Joachim Lambek (Kanada, 1922–2014)
• Johann Heinrich Lambert (Fransa/Almanya, 1728–1777)
• Karel Lambert (ABD, d. 1928)
• Gottfried Wilhelm Leibniz (Almanya, 1646-1716)
• Stanisław Leśniewski (Polonya, 1886–1939)
• Clarence Irving Lewis (ABD, 1883–1964)
• David Kellogg Lewis (ABD, 1941–2001)
• Adolf Lindenbaum (Polonya, 1904–1941)
• Per Lindström (İsveç, 1936–2009)
• Ramon Llull (İspanya, 1232-1315)
• Martin Löb (Almanya, 1921–2006)
• Paul Lorenzen (Almanya, 1915–1994)
• Jerzy Łoś (Polonya, 1920–1998)
• Hermann Lotze (Almanya, 1817–1881)
• Leopold Löwenheim (Almanya, 1878–1957)
• Jan Łukasiewicz (Polonya, 1878–1956)

E

• Hugh MacColl (İskoçya, 1837–1909)
• Saunders MacLane (ABD, 1909–2005)
• Dugald Macpherson (İngiltere, 20. yüzyıl)
• Penelope Maddy (ABD, d. 1950)
• John Mair (İskoçya, 1467-1550)
• David Makinson (Avustralya, Birleşik Krallık, d. 1941)
• Isaac Malitz (ABD, d. 1947)
• María Manzano (İspanya, d. 1950)
• Gary R. Mar (ABD, d. 1952)
• Ruth Barcan Marcus (ABD, 1921–2012)
• Donald A. Martin (ABD, d. 1940)
• Richard Milton Martin (ABD, 1916–1985)
• Per Martin-Löf (İsveç, d. 1942)
• Yuri Matiyasevich (Rusya/Sovyetler Birliği, d. 1947)
• C. A. Meredith (İrlanda, 1904–1976)
• Bob Meyer (ABD, 1932–2009)
• John Stuart Mill (İngiltere, 1806–1873)
• Grigori Mints (Sovyetler Birliği/Estonya/ABD, 1939–2014)
• Richard Montague (ABD, 1930–1971)
• Yiannis N. Moschovakis (ABD, d. 1938)
• Andrzej Mostowski (Polonya, 1913–1975)

N

• Pavel Naumov (Sovyetler Birliği/Rusya/ABD, d. 1970)
• Sara Negri (İtalya/Finlandiya, d. 1967)
• Edward Nelson (ABD, 1932–2014)
• John von Neumann (Macaristan, ABD, 1903–1957)
• John Henry Newman (1801–1890) (bkz. Grammar of Assent)
• Jean Nicod (Fransa, 1893–1924)
• Pyotr Novikov (Rusya/Sovyetler Birliği, 1901–1975)
• Nagarjuna (Hindistan, y. 150–y. 250)
• Anil Nerode (ABD, d. 1932)

O

• William of Ockham (İngiltere, 1285-1349)
• Piergiorgio Odifreddi (İtalya, d. 1950)
• Ivan Orlov (Rusya, 1886–1936)

P

• John Pagus (Fransa, 1220–1229 dolayları)
• Jeff Paris (İngiltere, d. 1944)
• Charles Parsons (ABD, d. 1933)
• Solomon Passy (Bulgaristan, d. 1956)
• Venedikli Paul (İtalya, 1369–1429)
• Christine Paulin-Mohring (Fransa, d. 1962)
• Giuseppe Peano (İtalya, 1858–1932)
• Dan Pedersen (ABD, d. 1945)
• Charles Sanders Peirce (ABD, 1839–1914)
• Lorenzo Peña (İspanya, d. 1944)
• Chaim Perelman (Polonya, Belçika, 1912–1984)
• Rózsa Péter (Macaristan, 1905–1977)
• Paolo da Pergola (İtalya, ö. 1455)
• İspanyalı Peter (13. yüzyıl, genellikle Papa John XXI olduğu varsayılır)
• Diyalektikçi Philo (Yunanistan, MÖ. 4.–3. yy)
• Walter Pitts (ABD, 1923–1969)
• Porphyry (y. 234–y. 305)
• Henry Pogorzelski (ABD, 1922–2015)
• Emil Leon Post (ABD, 1897–1954)
• Dag Prawitz (İsveç, d. 1936)
• Mojżesz Presburger (Polonya, 1904–1943)
• Graham Priest (Avustralya, d. 1948)
• Arthur Prior (Yeni Zelanda, Birleşik Krallık, 1914–1969)
• Hilary Putnam (ABD, 1926–2016)
• Platon (Yunan, MÖ. 427–347)

Q

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

R

• Michael O. Rabin (İsrail, ABD, d. 1931)
• Constantin Rădulescu-Motru (Romanya, 1868–1957)
• Frank Plumpton Ramsey (İngiltere, 1903–1930)
• Petrus Ramus (Fransa, 1515-1572)
• Helena Rasiowa (Polonya, 1917–1994)
• Carveth Read (İngiltere, 1848–1931)
• Abraham Robinson (İsrail, Birleşik Krallık, Kanada, ABD, 1918–1974)
• Raphael M. Robinson (ABD, 1911–1995)
• Julia Robinson (ABD, 1919–1985)
• J. Barkley Rosser (ABD, 1907–1989)
• Richard Routley, daha sonra Richard Sylvan (Yeni Zelanda, 1935–1996)
• Frederick Rowbottom (İngiltere, 1938–2009)
• Ian Rumfitt (İngiltere, 20. yüzyıl)
• Bertrand Russell (İngiltere, 1872–1970)

S

• Giovanni Girolamo Saccheri (İtalya, 1667-1733)
• Raghunatha Siromani (Hindistan, y. 1477–1547)
• Gerald Sacks (ABD, 1933–2019)
• Sakson Albert (Almanya, y. 1316-1390)
• Rolf Schock (ABD, İsveç, 1933–1986)
• Moses Schönfinkel (SSCB, 1889–1942)
• Ernst Schröder (Almanya, 1841–1902)
• Kurt Schütte (Almanya, 1909–1998)
• Dana Scott (ABD, d. 1932)
• Sedulius Scottus (İrlanda/Fransa, 840–860 dolayları)
• John Duns Scotus (Birleşik Krallık, Fransa, y. 1266–1308)
• Stewart Shapiro (ABD, d. 1951)
• Fyodor Shcherbatskoy (Rusya, 1866–1942)
• Saharon Shelah (İsrail, d. 1945)
• Gila Sher (İsrail/ABD)
• Sherwoodlu William (İngiltere, 1190–1249)
• Hui Shi (Çin, MÖ. 4. yy dolayları)
• Kilikyalı Simplikios (Türkiye/İran, y. 490–y. 560)
• Raghunatha Siromani (Hindistan, 1470'ler–1550'ler)
• Thoralf Skolem (Norveç 1887–1963)
• Dimiter Skordev (Bulgaristan, d. 1936)
• Theodore Slaman (ABD, d. 1954)
• Raymond Smullyan (ABD, 1919–2017)
• Soissons William (Fransa, 12. yüzyıl)
• Robert M. Solovay (ABD, d. 1938)
• Sofist Richard (13. yüzyılın sonları civarı)
• Bay. Spock (Vulkan, 23. yüzyılda doğdu)
• John R. Steel (ABD, d. 1948)
• Martin Stokhof (Hollanda, d. 1950)
• Ralph Strode (İngiltere, 1350–1400 dolayları)
• Richard Swineshead (İngiltere, y. 1340–1354 dolayları)
• Richard Sylvan, doğum adı: Richard Routley (Yeni Zelanda, 1935–1996)

T

• Gaisi Takeuti (Japonya, 1926–2017)
• Alfred Tarski (Polonya, 1902–1983)
• Theophrastus (Yunanistan, y. MÖ. 371–287)
• Pavel Tichý (Çekoslovakya, Yeni Zelanda, 1936–1994)
• Friedrich Adolf Trendelenburg (Almanya, 1802-1872)
• Anne Sjerp Troelstra (Hollanda, 1939–2019)
• Alan Turing (İngiltere, 1912–1954)
• Kazimierz Twardowski (Polonya, 1866–1938)

U

• Udayana, Nyayakusumanjali'nin yazarı (rasyonel teoloji mantığı kullanarak Tanrı'nın varlığını kanıtlamak için) (Hindistan, 10. yüzyıl)
• Udyotakara (Hindistan, y. MÖ. 6. yüzyıl)
• Alasdair Urquhart (İngiltere, d. 1945)
• Vladimir Uspensky (Sovyetler Birliği/Rusya, 1930–2018)

V

• Lorenzo Valla (İtalya, y. 1407–1457)
• Moshe Y. Vardi (İsrail, d. 1954)
• Nicolai A. Vasiliev (Rusya, 1880–1940)
• Robert Lawson Vaught (ABD, 1926–2002)
• Venedikli Paul (İtalya, 1368–1428)
• John Venn (İngiltere, 1834–1923)
• Juan Luis Vives (İspanya, 1493–1540)
• Pakṣilasvāmin Vātsyāyana Goutama'nın Nyaya Sutraları üzerine bilinen ilk yorumu yazdı (MÖ. 5. yüzyıl)

W

• Hao Wang (Çin/ABD, 1921–1995)
• Isaac Watt (İngiltere, 1674-1748)
• Richard Whately (İngiltere, 1787-1863)
• Alfred North Whitehead (İngiltere, 1861–1947)
• Ludwig Wittgenstein (Avusturya, Birleşik Krallık, 1889–1951)
• Christian Wolff (Almanya, 1679-1754)
• W. Hugh Woodin (ABD, d. 1955)
• John Woods (Kanada, d. 1937)
• Georg Henrik von Wright (Finlandiya, Birleşik Krallık, 1916–2003)

Y

• Jin Yuelin (Çin, 1895–1984)

Z

• Jacopo Zabarella (İtalya, 1533-1589)
• Lotfi A. Zadeh (ABD, 1921–2017)
• Ernst Zermelo (Almanya, 1871–1953)
• Alexander Zinoviev (Sovyetler Birliği, 1922–2006)

Ayrıca bakınız

• Kadın mantıkçılar listesi

Dış bağlantılar

• "The MacTutor History of Mathematics archive". MacTutor History of Mathematics archive. 3 Şubat 1999 tarihinde kaynağından arşivlendi. very complete list of detailed biographies. Many logicians are included. 
• "A Selection of Great Logicians with detailed bibliographies (in progress)". 27 Ocak 2016 tarihinde kaynağından arşivlendi.