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, 1938 doğumlu)
- Thomas Aquinas (İtalya/Fransa, 1225–1274)
- Lennart Åqvist (İsveç, 1932 doğumlu)
- Aristoteles (Yunanistan, MÖ 384-322)
- Heiric of Auxerre (Fransa, 841–876)
B
- Bahmanyār (İran, ölümü 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, 1947 doğumlu)
- Jon Barwise (ABD, 1942–2000)
- James Earl Baumgartner (ABD, 1943–2011)
- John Lane Bell (İngiltere ve Kanada, 1945 doğumlu)
- Nuel Belnap (ABD, 1931 doğumlu)
- Paul Benacerraf (ABD, 1931 doğumlu)
- Jean Paul Van Bendegem (Belçika, 1953 doğumlu)
- Johan van Benthem (Hollanda, 1949 doğumlu)
- Paul Bernays (İsviçre, 1888–1977)
- Evert Willem Beth (Hollanda, 1908–1964)
- Jean-Yves Béziau (İsviçre, 1965 doğumlu)
- 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, 1940 doğumlu)
- 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ında öldü)
- Luitzen Egbertus Jan Brouwer (Hollanda, 1881–1966)
- Alan Richard Bundy (İngiltere, 1947 doğumlu)
- 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, 1947 doğumlu)
- Chrysippus (Yunanistan, MÖ 280 – MÖ 207 civarı)
- 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, 1950 doğumlu)
- Thierry Coquand (Fransa, 1961 doğumlu)
- John Corcoran (ABD, 1937–2021)
- Newton da Costa (Brezilya, 1929 doğumlu)
- William Craig (ABD, 1918–2016)
- Haskell Curry (ABD, 1900–1982)
- Tadeusz Czeżowski (Polonya, 1889–1981)
D
- Dirk van Dalen (Hollanda, 1932 doğumlu)
- Martin Davis (ABD, 1928 doğumlu)
- 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ında öldü)
- Michael A.E. Dummett (İngiltere, 1925–2011)
- Jon Michael Dunn (ABD, 1941–2021)
E
- Alexander Esenin-Volpin (Rusya, 1924–2016)
- John Etchemendy (ABD, 1952 doğumlu)
- Leonhard Euler (İsviçre, 1707-1783)
F
- Solomon Feferman (ABD, 1928–2016)
- Richard Ferrybridge (İngiltere, 14. yüzyıl)
- Hartry Field (ABD, 1946 doğumlu)
- Fine Kit (ABD, 1946 doğumlu)
- Melvin Fitting (ABD, 1942 doğumlu)
- Graeme Forbes (İskoçya, 20. yüzyıl)[1]
- Matthew Foreman (ABD, 1957 doğumlu)
- Michael Fourman (İngiltere, 1950 doğumlu)
- Roland Fraïssé (Fransa, 1920–2008)
- Abraham Fraenkel (Almanya, 1891–1965)
- Gottlob Frege (Almanya, 1848–1925)
- Harvey Friedman (ABD, 1948 doğumlu)
H
- Susan Haack (İngiltere, 1945 doğumlu)
- Petr Hájek (Çek Cumhuriyeti, 1941–2016)
- Leo Harrington (ABD, 1946 doğumlu)
- 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, 1926 doğumlu)
- Ehud Hrushovski (İsrail, 1959 doğumlu)
- Gérard Huet (Fransa, 1947 doğumlu)
Ben
- İ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, 1936 doğumlu)
- William Stanley Jevons (İngiltere, 1835-1882)
- John of St. Thomas/John Poinsot (Portekiz/İspanya, 1589-1644)
- William Ernest Johnson (İngiltere, 1858–1931)
- Dick de Jongh (Hollanda, 1939 doğumlu)
- 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, 1933 doğumlu)
- Alexander S. Kechris (ABD, 1946 doğumlu)
- Howard Jerome Keisler (ABD, 1936 doğumlu)
- 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, 1941 doğumlu)
- Georg Kreisel (Avusturya/İngiltere/ABD, 1923–2015)
- Saul Kripke (ABD, 1940 doğumlu)
- 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, 1928 doğumlu)
- 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, 1950 doğumlu)
- John Mair (İskoçya, 1467-1550)
- David Makinson (Avustralya, Birleşik Krallık, 1941 doğumlu)
- Isaac Malitz (ABD, 1947 doğumlu)
- María Manzano (İspanya, 1950 doğumlu)
- Gary R. Mar (ABD, 1952 doğumlu)
- Ruth Barcan Marcus (ABD, 1921–2012)
- Donald A. Martin (ABD, 1940 doğumlu)
- Richard Milton Martin (ABD, 1916–1985)
- Per Martin-Löf (İsveç, 1942 doğumlu)
- Yuri Matiyasevich (Rusya/Sovyetler Birliği, 1947 doğumlu)
- 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, 1938 doğumlu)
- Andrzej Mostowski (Polonya, 1913–1975)
N
- Pavel Naumov (Sovyetler Birliği/Rusya/ABD, 1970 doğumlu)
- Sara Negri (İtalya/Finlandiya, 1967 doğumlu)
- 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, 1932 doğumlu)
O
- William of Ockham (İngiltere, 1285-1349)
- Piergiorgio Odifreddi (İtalya, 1950 doğumlu)
- Ivan Orlov (Rusya, 1886–1936)
P
- John Pagus (Fransa, 1220–1229 dolayları)
- Jeff Paris (İngiltere, 1944 doğumlu)
- Charles Parsons (ABD, 1933 doğumlu)
- Solomon Passy (Bulgaristan, 1956 doğumlu)
- Venedikli Paul (İtalya, 1369–1429)
- Christine Paulin-Mohring (Fransa, 1962 doğumlu)
- Giuseppe Peano (İtalya, 1858–1932)
- Dan Pedersen (ABD, 1945 doğumlu)
- Charles Sanders Peirce (ABD, 1839–1914)
- Lorenzo Peña (İspanya, 1944 doğumlu)
- Chaim Perelman (Polonya, Belçika, 1912–1984)
- Rózsa Péter (Macaristan, 1905–1977)
- Paolo da Pergola (İtalya, 1455'te öldü)
- İ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ç, 1936 doğumlu)
- Mojżesz Presburger (Polonya, 1904–1943)
- Graham Priest (Avustralya, 1948 doğumlu)
- 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, 1931 doğumlu)
- 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, 1932 doğumlu)
- Sedulius Scottus (İrlanda/Fransa, 840–860 dolayları)
- John Duns Scotus (Birleşik Krallık, Fransa, y. 1266–1308)
- Stewart Shapiro (ABD, 1951 doğumlu)
- Fyodor Shcherbatskoy (Rusya, 1866–1942)
- Saharon Shelah (İsrail, 1945 doğumlu)
- Gila Sher (İsrail/ABD)
- William of Sherwood (İ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, 1936 doğumlu)
- Theodore Slaman (ABD, 1954 doğumlu)
- Raymond Smullyan (ABD, 1919–2017)
- Soissons William (Fransa, 12. yüzyıl)
- Robert M. Solovay (ABD, 1938 doğumlu)
- Sofist Richard (13. yüzyılın sonları civarı)
- İspanyalı Peter (13. yüzyıl)
- Bay. Spock (Vulkan, 23. yüzyılda doğdu)
- John R. Steel (ABD, 1948 doğumlu)
- Martin Stokhof (Hollanda, 1950 doğumlu)
- Ralph Strode (İngiltere, 1350–1400 dolayları)
- Richard Swineshead (İngiltere, y. 1340–1354 dolayları)
- Richard Sylvan, Richard Routley doğumlu (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, 1945 doğumlu)
- Vladimir Uspensky (Sovyetler Birliği/Rusya, 1930–2018)
V
- Lorenzo Valla (İtalya, y. 1407–1457)
- Moshe Y. Vardi (İsrail, 1954 doğumlu)
- 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, 1955 doğumlu)
- John Woods (Kanada, 1937 doğumlu)
- 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)
Kaynakça
- ^ "Graeme Forbes". 3 Temmuz 2016 tarihinde kaynağından arşivlendi.
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.