Lista över logiker

En logiker är en person som studerar logik . Några kända logiker listas nedan i engelsk alfabetisk translitterationsordning (efter efternamn ).

A

• Peter Abelard (Frankrike, 1079–1142)
• Wilhelm Ackermann (Tyskland, 1896–1962)
• Sergei Adian (Ryssland/Sovjetunionen/Armenien, 1931–2020)
• Rodolphus Agricola (Tyskland, 1443/1444–1485)
• Kazimierz Ajdukiewicz (Polen, 1890–1963)
• Alcuin (England/Frankrike, ca 735–804)
• Alan Ross Anderson (USA, 1924–1972)
• Peter B. Andrews (USA, född 1938)
• Thomas av Aquino (Italien/Frankrike, 1225–1274)
• Lennart Åqvist (Sverige, född 1932)
• Aristoteles (Grekland, 384–322 f.Kr.)
• Heiric av Auxerre (Frankrike, 841–876)

B

• Bahmanyār (Iran, död 1067)
• Jayanta Bhatta (Indien, 850–910)
• Alexander Bain (Storbritannien, 1818–1903)
• Yehoshua Bar-Hillel (Israel, 1915–1975)
• Ruth Barcan Marcus (USA, 1921–2012)
• Henk Barendregt (Nederländerna, född 1947)
• Jon Barwise (USA, 1942–2000)
• James Earl Baumgartner (USA, 1943–2011)
• John Lane Bell (Storbritannien och Kanada, född 1945)
• Nuel Belnap (USA, född 1931)
• Paul Benacerraf (USA, född 1931)
• Jean Paul Van Bendegem (Belgien, född 1953)
• Johan van Benthem (Nederländerna, född 1949)
• Paul Bernays (Schweiz, 1888–1977)
• Evert Willem Beth (Nederländerna, 1908–1964)
• Jean-Yves Béziau (Schweiz, född 1965)
• Józef Maria Bocheński (Polen, 1902–1995)
• Boethius (Rom/östrogotiska kungariket, ca 480–524/525)
• Bernard Bolzano (österrikiska riket, 1781–1848)
• Andrea Bonomi (Italien, född 1940)
• George Boole (England/Irland, 1815–1864)
• George Boolos (USA, 1940–1996)
• Nicolas Bourbaki (pseudonym som används av en grupp franska matematiker, 1900-talet)
• Thomas Bradwardine (England, ca 1290–26 augusti 1349)
• Richard Brinkley (England, död ca 1379)
• Luitzen Egbertus Jan Brouwer (Nederländerna, 1881–1966)
• Alan Richard Bundy (Storbritannien, född 1947)
• Franco Burgersdijk (Nederländerna, 1590–1629)
• Jean Buridan (Frankrike, ca 1300–efter 1358)
• Walter Burley (England, ca 1275–1344/5)

C

• Chanakya (Indien, Mouryan Empire, 371–285 f.Kr.)
• Georg Ferdinand Cantor (Tyskland, 1845–1918)
• Rudolf Carnap (Tyskland, 1891–1970)
• Lewis Carroll (Storbritannien, 1832–1898)
• Categoriae decem (latin, femte århundradet)
• Gregory Chaitin (Argentina/USA, född 1947)
• Chrysippus (Grekland, ca 280 f.Kr. – ca 207 f.Kr.)
• Alonzo Church (USA, 1903–1995)
• Leon Chwistek (Polen, 1884–1944)
• Gordon H. Clark (USA, 1902–1985)
• Paul Joseph Cohen (USA, 1934–2007)
• Conimbricenses , namn under vilket jesuiterna från universitetet i Coimbra (Portugal) var kända (1591–1606)
• S. Barry Cooper (Storbritannien, 1943–2015)
• Jack Copeland (Storbritannien, född 1950)
• Thierry Coquand (Frankrike, född 1961)
• John Corcoran (USA, 1937–2021)
• Newton da Costa (Brasilien, född 1929)
• William Craig (USA, 1918–2016)
• Haskell Curry (USA, 1900–1982)
• Tadeusz Czeżowski (Polen, 1889–1981)

D

• Dirk van Dalen (Nederländerna, född 1932)
• Martin Davis (USA, 1928–2023)
• Augustus De Morgan (Storbritannien, 1806–1871)
• René Descartes (Frankrike, 1596–1650)
• Dharmakirti (Indien, ca 700-talet)
• Dignāga (Indien, fl. 500-talet)
• Diodorus Cronus (Grekland, 300-talet f.Kr.)
• Martin Dorp (Nederländerna, ca 1485–1525)
• John Dumbleton (England, död ca 1349)
• Michael AE Dummett (Storbritannien, 1925–2011)
• Jon Michael Dunn (USA, 1941–2021)

E

• Alexander Esenin-Volpin (Ryssland, 1924–2016)
• John Etchemendy (USA, född 1952)
• Leonhard Euler (Schweiz, 1707–1783)

F

• Solomon Feferman (USA, 1928–2016)
• Richard Ferrybridge (England, 1300-talet)
• Hartry Field (USA, född 1946)
• Kit Fine (USA, född 1946)
• Melvin Fitting (USA, född 1942)
• Graeme Forbes (Skottland, 1900-talet)
• Matthew Foreman (USA, född 1957)
• Michael Fourman (Storbritannien, född 1950)
• Roland Fraïssé (Frankrike, 1920–2008)
• Abraham Fraenkel (Tyskland, 1891–1965)
• Gottlob Frege (Tyskland, 1848–1925)
• Harvey Friedman (USA, född 1948)

G

• Dov Gabbay (Storbritannien, född 1945)
• Haim Gaifman (USA, född 1934)
• LTF Gamut (kollektiv pseudonym som används av en grupp holländska logiker, fl. 1980-1990-talen)
• Robin Gandy (Storbritannien, 1919–1995)
• Sol Garfunkel (USA, född 1943)
• Garlandus Compotista (Frankrike, ca 1000-talet)
• Akṣapāda Gautama , författare till Nyāya Sūtras och grundare av Nyayas skola för tanke och logik (Indien, ca 2:a århundradet f.Kr.)
• Gangesha Upadhyaya , författare till Tattvacintāmaṇi (En tanke-juvel av sanning) och grundare av Navya-Nyāya (Indien, ca 1300-talet e.Kr.)
• Peter Geach (Storbritannien, 1916–2013)
• Gerhard Gentzen (Tyskland, 1909–1945)
• Joseph Diaz Gergonne (Frankrike, 1771–1859)
• Gilbert de la Porrée (Frankrike, 1070–1154)
• Jean-Yves Girard (Frankrike, född 1947)
• Kurt Gödel (Österrike, USA, 1906–1978)
• Reuben Louis Goodstein (England, 1912–1985)
• Valentin Goranko (Bulgarien/Sverige, född 1959)
• Siegfried Gottwald (Tyskland, 1943–2015)
• Jeroen Groenendijk (Nederländerna, född 1949)

H

• Susan Haack (Storbritannien, född 1945)
• Petr Hájek (Tjeckien, 1941–2016)
• Leo Harrington (USA, född 1946)
• Robert S. Hartman (Tyskland/USA, 1910–1973)
• Georg Wilhelm Friedrich Hegel (Tyskland, 1770–1831)
• Jean Van Heijenoort (Frankrike/USA, 1912–1986)
• Leon Henkin (USA, 1921–2006)
• Jacques Herbrand (Frankrike, 1908–1931)
• Arend Heyting (Nederländerna, 1898–1980)
• David Hilbert (Tyskland, 1862–1943)
• Jaakko Hintikka (Finland, 1929–2015)
• Alfred Horn (USA, 1918–2001)
• William Alvin Howard (USA, född 1926)
• Ehud Hrushovski (Israel, född 1959)
• Gérard Huet (Frankrike, född 1947)

jag

• Ibn Taymiyyah (Turkiet, 1263–1328 e.Kr.)
• Marsilius av Inghen (Nederländerna/Frankrike/Tyskland, 1330/1340–1396)

J

• Giorgi Japaridze (Georgien, 1900-talet)
• Stanisław Jaśkowski (Polen, 1906–1965)
• Richard Jeffrey (USA, 1926–2002)
• Ronald Jensen (USA, Europa, född 1936)
• William Stanley Jevons (England, 1835–1882)
• Johannes av St. Thomas /John Poinsot (Portugal/Spanien, 1589–1644)
• William Ernest Johnson (Storbritannien, 1858–1931)
• Dick de Jongh (Nederländerna, född 1939)
• Bjarni Jónsson (Island, 1920–2016)
• Philip Jourdain (Storbritannien, 1879–1919)
• Joachim Jungius (Tyskland, 1587–1657)
• Jñanasrimitra (Indien, 1000-talet)

K

• David Kaplan (USA, född 1933)
• Alexander S. Kechris (USA, född 1946)
• Howard Jerome Keisler (USA, född 1936)
• Ahmed Raza Khan (Indien, 1856–1921)
• Richard Kilvington (England, ca 1305–1361)
• Robert Kilwardby (England, ca 1215–1279)
• Stephen Cole Kleene (USA, 1909–1994)
• Tadeusz Kotarbiński (Polen, 1886–1981)
• Robert Kowalski (USA, Storbritannien, född 1941)
• Georg Kreisel (Österrike/Storbritannien/USA, 1923–2015)
• Saul Kripke (USA, 1940-2022)
• Leopold Kronecker (Tyskland, 1823–1891)
• Kenneth Kunen (USA, 1943–2020)
• Kurt Friedrich Gödel (Österrike-Ungern, 1906-1978)

L

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

M

• Hugh MacColl (Skottland, 1837–1909)
• Saunders Mac Lane (USA, 1909–2005)
• Dugald Macpherson (Storbritannien, 1900-talet)
• Penelope Maddy (USA, född 1950)
• John Mair (Skottland, 1467–1550)
• David Makinson (Australien, Storbritannien, född 1941)
• Isaac Malitz (USA, född 1947)
• María Manzano (Spanien, född 1950)
• Gary R. Mar (USA, född 1952)
• Ruth Barcan Marcus (USA, 1921–2012)
• Donald A. Martin (USA, född 1940)
• Richard Milton Martin (USA, 1916–1985)
• Per Martin-Löf (Sverige, född 1942)
• Yuri Matiyasevich (Ryssland/Sovjetunionen, född 1947)
• CA Meredith (Irland, 1904–1976)
• Bob Meyer (USA, 1932–2009)
• John Stuart Mill (England, 1806–1873)
• Grigori Mints (Sovjetunionen/Estland/USA, 1939–2014)
• Richard Montague (USA, 1930–1971)
• Yiannis N. Moschovakis (USA, född 1938)
• Andrzej Mostowski (Polen, 1913–1975)

N

• Sara Negri (Italien/Finland, född 1967)
• Edward Nelson (USA, 1932–2014)
• John von Neumann (Ungern, USA, 1903–1957)
• John Henry Newman (1801–1890) (se Grammar of Assent )
• Jean Nicod (Frankrike, 1893–1924)
• Pyotr Novikov (Ryssland/Sovjetunionen, 1901–1975)
• Nagarjuna (Indien, c.150–c.250)
• Anil Nerode (USA, född 1932)

O

• William av Ockham (England, 1285–1349)
• Piergiorgio Odifreddi (Italien, född 1950)
• Ivan Orlov (Ryssland, 1886–1936)

P

• John Pagus (Frankrike, fl. 1220–1229)
• Jeff Paris (Storbritannien, född 1944)
• Charles Parsons (USA, född 1933)
• Solomon Passy (Bulgarien, född 1956)
• Paulus av Venedig (Italien, 1369–1429)
• Christine Paulin-Mohring (Frankrike, född 1962)
• Giuseppe Peano (Italien, 1858–1932)
• Dan Pedersen (USA, född 1945)
• Charles Sanders Peirce (USA, 1839–1914)
• Lorenzo Peña (Spanien, född 1944)
• Chaïm Perelman (Polen, Belgien, 1912–1984)
• Rózsa Péter (Ungern, 1905–1977)
• Paolo da Pergola (Italien, död 1455)
• Petrus av Spanien (1200-talet, antas vanligtvis vara påven Johannes XXI )
• Dialektikern Philo (Grekland, 300-talet f.Kr.)
• Walter Pitts (USA, 1923–1969)
• Porfyr (c. 234–c. 305)
• Henry Pogorzelski (USA, 1922–2015)
• Emil Leon Post (USA, 1897–1954)
• Dag Prawitz (Sverige, född 1936)
• Mojżesz Presburger (Polen, 1904–1943)
• Graham Priest (Australien, född 1948)
• Arthur Prior (Nya Zeeland, Storbritannien, 1914–1969)
• Hilary Putnam (USA, 1926–2016)
• Platon (grekiska, 427–347 f.Kr.)

F

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

R

• Michael O. Rabin (Israel, USA, född 1931)
• Constantin Rădulescu-Motru (Rumänien, 1868–1957)
• Frank Plumpton Ramsey (Storbritannien, 1903–1930)
• Petrus Ramus (Frankrike, 1515–1572)
• Helena Rasiowa (Polen, 1917–1994)
• Carveth Read (Storbritannien, 1848–1931)
• Abraham Robinson (Israel, Storbritannien, Kanada, USA, 1918–1974)
• Raphael M. Robinson (USA, 1911–1995)
• Julia Robinson (USA, 1919–1985)
• J. Barkley Rosser (USA, 1907–1989)
• Richard Routley , senare Richard Sylvan (Nya Zeeland, 1935–1996)
• Frederick Rowbottom (Storbritannien, 1938–2009)
• Ian Rumfitt (Storbritannien, 1900-talet)
• Bertrand Russell (Storbritannien, 1872–1970)

S

• Giovanni Girolamo Saccheri (Italien, 1667–1733)
• Raghunatha Siromani (Indien, ca 1477–1547)
• Gerald Sacks (USA, 1933–2019)
• Albert av Sachsen (Tyskland, ca 1316–1390)
• Rolf Schock (USA, Sverige, 1933–1986)
• Moses Schönfinkel (USSR, 1889–1942)
• Ernst Schröder (Tyskland, 1841–1902)
• Kurt Schütte (Tyskland, 1909–1998)
• Dana Scott (USA, född 1932)
• Sedulius Scottus (Irland/Frankrike, fl. 840–860)
• John Duns Scotus (Storbritannien, Frankrike, ca 1266–1308)
• Stewart Shapiro (USA, född 1951)
• Fjodor Shcherbatskoy (Ryssland, 1866–1942)
• Saharon Shelah (Israel, född 1945)
• Gila Sher (Israel/USA)
• William av Sherwood (England, 1190–1249)
• Hui Shi (Kina, fl. 300-talet f.Kr.)
• Simplicius av Kilikien (Turkiet/Iran, ca 490–ca 560)
• Raghunatha Siromani (Indien, 1470-1550-talen)
• Thoralf Skolem (Norge 1887–1963)
• Dimiter Skodev (Bulgarien, född 1936)
• Theodore Slaman (USA, född 1954)
• Raymond Smullyan (USA, 1919–2017)
• William av Soissons (Frankrike, 1100-talet)
• Robert M. Solovay (USA, född 1938)
• Richard the Sophister (fl. sent 1200-tal)
• Peter av Spanien (1200-talet)
• Mr Spock (Vulcan, född 2200-talet)
• John R. Steel (USA, född 1948)
• Martin Stokhof (Nederländerna, född 1950)
• Ralph Strode (England, fl. 1350–1400)
• Richard Swineshead (England, fl. ca 1340–1354)
• Richard Sylvan , född Richard Routley (Nya Zeeland, 1935–1996)

T

• Gaisi Takeuti (Japan, 1926–2017)
• Alfred Tarski (Polen, 1902–1983)
• Theophrastus (Grekland, 371–c. 287 f.Kr.)
• Pavel Tichý (Tjeckoslovakien, Nya Zeeland, 1936–1994)
• Friedrich Adolf Trendelenburg (Tyskland, 1802–1872)
• Anne Sjerp Troelstra (Nederländerna, 1939–2019)
• Alan Turing (Storbritannien, 1912–1954)
• Kazimierz Twardowski (Polen, 1866–1938)
• Thales of Miletus (Turkiet, 626 f.Kr. - 545 f.Kr.)

U

• Udayana , författare till Nyayakusumanjali ( rationell teologi för att bevisa Guds existens med hjälp av logik) (Indien, 1000-talet)
• Udyotakara (Indien, ca 600-talet e.Kr.)
• Alasdair Urquhart (Storbritannien, född 1945)
• Vladimir Uspensky (Sovjetunionen/Ryssland, 1930–2018)

V

• Lorenzo Valla (Italien, ca 1407–1457)
• Moshe Y. Vardi (Israel, född 1954)
• Nicolai A. Vasiliev (Ryssland, 1880–1940)
• Robert Lawson Vaught (USA, 1926–2002)
• Paulus av Venedig (Italien, 1368–1428)
• John Venn (England, 1834–1923)
• Juan Luis Vives (Spanien, 1493–1540)
• Pakṣilasvāmin Vātsyāyana skrev den första kända kommentaren till Goutamas Nyaya Sutras (500-talet e.Kr.)

W

• Hao Wang (Kina/USA, 1921–1995)
• Isaac Watts (England, 1674–1748)
• Richard Whately (England, 1787–1863)
• Alfred North Whitehead (Storbritannien, 1861–1947)
• Ludwig Wittgenstein (Österrike, Storbritannien, 1889–1951)
• Christian Wolff (Tyskland, 1679–1754)
• W. Hugh Woodin (USA, född 1955)
• John Woods (Kanada, född 1937)
• Georg Henrik von Wright (Finland, Storbritannien, 1916–2003)

Y

• Jin Yuelin (Kina, 1895–1984)

Z

• Jacopo Zabarella (Italien, 1533–1589)
• Lotfi A. Zadeh (USA, 1921–2017)
• Ernst Zermelo (Tyskland, 1871–1953)
• Alexander Zinoviev (Sovjetunionen, 1922–2006)

externa länkar

• MacTutor History of Mathematics-arkivet - mycket komplett lista med detaljerade biografier. Många logiker ingår.
• Ett urval av stora logiker med detaljerade bibliografier (pågår)