Lista logików - List of logicians
Logik jest osoba, która studiuje logiki . Niektórzy znani logicy są wymienieni poniżej w kolejności alfabetycznej transliteracji w języku angielskim (według nazwiska ).
A
- Peter Abelard (Francja, 1079-1142)
- Wilhelm Ackermann (Niemcy, 1896-1962)
- Siergiej Adian (Rosja/ZSRR/Armenia, 1931-2020)
- Rodolphus Agricola (Niemcy, 1443/1444–1485)
- Kazimierz Ajdukiewicz (Polska, 1890–1963)
- Alcuin (Anglia/Francja, ok. 735-804)
- Alan Ross Anderson (USA, 1924-1972)
- Peter B. Andrews (USA, ur. 1938)
- Tomasz z Akwinu (Włochy/Francja, 1225–1274)
- Lennart Aqvist (Szwecja, ur. 1932)
- Arystoteles (Grecja, 384-322 p.n.e.)
- Dziedzic Auxerre (Francja, 841-876)
b
- Bahmanyār (Iran, zmarł 1067)
- Jayanta Bhatta (Indie, 850-910)
- Aleksander Bain (Wielka Brytania, 1818-1903)
- Yehoshua Bar-Hillel (Izrael, 1915-1975)
- Ruth Barcan Marcus (USA, 1921-2012)
- Henk Barendregt (Holandia, ur. 1947)
- Jon Barwise (USA, 1942-2000)
- James Earl Baumgartner (USA, 1943-2011)
- John Lane Bell (Wielka Brytania i Kanada, ur. 1945)
- Nuel Belnap (USA, ur. 1931)
- Paul Benacerraf (USA, ur. 1931)
- Jean Paul Van Bendegem (Belgia, ur. 1953)
- Johan van Bentem (Holandia, ur. 1949)
- Paul Bernays (Szwajcaria, 1888-1977)
- Evert Willem Beth (Holandia, 1908-1964)
- Jean-Yves Béziau (Szwajcaria, ur. 1965)
- Józef Maria Bocheński (Polska, 1902–1995)
- Boecjusz (Rzym / Królestwo Ostrogotów, ok. 480-524/525)
- Bernard Bolzano (Imperium Austriackie, 1781-1848)
- Andrea Bonomi (Włochy, ur. 1940)
- George Boole (Anglia/Irlandia, 1815-1864)
- George Boolos (USA, 1940-1996)
- Nicolas Bourbaki (pseudonim używany przez grupę francuskich matematyków, XX wiek)
- Thomas Bradwardine (Anglia, ok. 1290-26 sierpnia 1349)
- Richard Brinkley (Anglia, zm. ok. 1379)
- Luitzen Egbertus Jan Brouwer (Holandia, 1881-1966)
- Alan Richard Bundy (Wielka Brytania, ur. 1947)
- Franco Burgersdijk (Holandia, 1590-1629)
- Jean Buridan (Francja, ok. 1300-post 1358)
- Walter Burley (Anglia, ok. 1275-1344/5)
C
- Chanakya (Indie, Imperium Muryan, 371-285 pne)
- Georg Ferdinand Kantor (Niemcy, 1845-1918)
- Rudolf Carnap (Niemcy, 1891-1970)
- Lewis Carroll (Wielka Brytania, 1832-1898)
- Categoriae decem (łac., V wiek)
- Gregory Chaitin (Argentyna/USA, ur. 1947)
- Chrysippus (Grecja, ok. 280 pne - ok. 207 pne)
- Kościół Alonzo (USA, 1903-1995)
- Leon Chwistek (Polska, 1884–1944)
- Gordon H. Clark (USA, 1902-1985)
- Paul Joseph Cohen (USA, 1934-2007)
- Conimbricenses , nazwa, pod którą znani byli jezuici z Uniwersytetu w Coimbrze (Portugalia) (1591–1606)
- S. Barry Cooper (Wielka Brytania, 1943-2015)
- Jack Copeland (Wielka Brytania, ur. 1950)
- Thierry Coquand (Francja, ur. 1961)
- John Corcoran (USA, 1937-2021)
- Newton da Costa (Brazylia, ur. 1929)
- William Craig (USA, 1918-2016)
- Haskell Curry (USA, 1900-1982)
- Tadeusz Czeżowski (Polska, 1889–1981)
D
- Dirk van Dalen (Holandia, ur. 1932)
- Martin Davis (USA, ur. 1928)
- Augustus De Morgan (Wielka Brytania, 1806-1871)
- Dharmakirti (Indie, ok. VII w.)
- Dignaga (Indie, fl. V wiek)
- Diodorus Kronos (Grecja, IV-III wpne)
- Martin Dorp (Holandia, ok. 1485-1525)
- John Dumbleton (Anglia, zmarł ok. 1349)
- Michael AE Dummett (Wielka Brytania, 1925-2011)
- Jon Michael Dunn (USA, 1941-2021)
mi
- Alexander Esenin-Volpin (Rosja, 1924-2016)
- John Etchemendy (USA, ur. 1952)
- Leonhard Euler (Szwajcaria, 1707-1783)
F
- Salomon Feferman (USA, 1928-2016)
- Richard Ferrybridge (Anglia, XIV wiek)
- Hartry Field (USA, ur. 1946)
- Kit Fine (USA, ur. 1946)
- Melvin Fitting (USA, ur. 1942)
- Graeme Forbes (Szkocja, XX wiek)
- Matthew Foreman (USA, ur. 1957)
- Michael Fourman (Wielka Brytania, ur. 1950)
- Roland Fraïssé (Francja, 1920-2008)
- Abraham Fraenkel (Niemcy, 1891–1965)
- Gottlob Frege (Niemcy, 1848-1925)
- Harvey Friedman (USA, ur. 1948)
g
- Dov Gabbay (Wielka Brytania, ur. 1945)
- Haim Gaifman (USA, ur. 1934)
- LTF Gamut (zbiorowy pseudonim używany przez grupę holenderskich logików, fl. 1980-1990)
- Robin Gandy (Wielka Brytania, 1919-1995)
- Sol Garfunkel (USA, ur. 1943)
- Garlandus Compotista (Francja, ok. XI w.)
- Akṣapāda Gautama , autor sutr Nyaya i założyciel szkoły myśli i logiki Nyaya (Indie, ok. II wpne)
- Gangesha Upadhyaya , autor Tattvacintāmaṇi (Klejnot myśli prawdy) i założyciel Navya-Nyāya (Indie, ok. XIV wiek n.e.)
- Peter Geach (Wielka Brytania, 1916-2013)
- Gerhard Gentzen (Niemcy, 1909-1945)
- Joseph Diaz Gergonne (Francja, 1771-1859)
- Gilbert de la Porrée (Francja, 1070-1154)
- Jean-Yves Girard (Francja, ur. 1947)
- Kurt Gödel (Austria, USA, 1906-1978)
- Reuben Louis Goodstein (Anglia, 1912-1985)
- Valentin Goranko (Bułgaria/Szwecja, ur. 1959)
- Siegfried Gottwald (Niemcy, 1943-2015)
- Jeroen Groenendijk (Holandia, ur. 1949)
h
- Susan Haack (Wielka Brytania, ur. 1945)
- Petr Hajek (Czechy, 1941-2016)
- Leo Harrington (USA, ur. 1946)
- Robert S. Hartman (Niemcy/USA, 1910-1973)
- Georg Wilhelm Friedrich Hegel (Niemcy, 1770-1831)
- Jean Van Heijenoort (Francja/USA, 1912-1986)
- Leon Henkin (USA, 1921-2006)
- Jacques Herbrand (Francja, 1908-1931)
- Arend Heyting (Holandia, 1898-1980)
- David Hilbert (Niemcy, 1862-1943)
- Jaakko Hintikka (Finlandia, 1929-2015)
- Alfred Horn (USA, 1918–2001)
- William Alvin Howard (USA, ur. 1926)
- Ehud Hruszowski (Izrael, ur. 1959)
- Gérard Huet (Francja, ur. 1947)
i
- Ibn Taymiyyah (Turcja, 1263-1328 n.e.)
- Marsyliusz z Inghen (Holandia/Francja/Niemcy, 1330/1340-1396)
J
- Giorgi Japaridze (Gruzja, XX wiek)
- Stanisław Jaśkowski (Polska, 1906–1965)
- Richard Jeffrey (USA, 1926-2002)
- Ronald Jensen (USA, Europa, ur. 1936)
- William Stanley Jevons (Anglia, 1835-1882)
- Jan od św. Tomasza /John Poinsot (Portugalia/Hiszpania, 1589-1644)
- William Ernest Johnson (Wielka Brytania, 1858-1931)
- Dick de Jongh (Holandia, ur. 1939)
- Bjarni Jónsson (Islandia, 1920-2016)
- Philip Jourdain (Wielka Brytania, 1879-1919)
- Joachim Jungius (Niemcy, 1587-1657)
- Jñanasrimitra (Indie, X wiek)
K
- David Kaplan (USA, ur. 1933)
- Alexander S. Kechris (USA, ur. 1946)
- Howard Jerome Keisler (USA, ur. 1936)
- Ahmed Raza Khan (Indie, 1856-1921)
- Richard Kilvington (Anglia, ok. 1305-1361)
- Robert Kilwardby (Anglia, ok. 1215-1279)
- Stephen Cole Kleene (USA, 1909-1994)
- Tadeusz Kotarbiński (Polska, 1886–1981)
- Robert Kowalski (USA, Wielka Brytania, ur. 1941)
- Georg Kreisel (Austria/Wielka Brytania/USA, 1923-2015)
- Saul Kripke (USA, ur. 1940)
- Leopold Kronecker (Niemcy, 1823-1891)
- Kenneth Kunen (USA, 1943-2020)
L
- Christine Ladd-Franklin (USA, 1847-1930)
- Joachim Lambek (Kanada, 1922-2014)
- Johann Heinrich Lambert (Francja/Niemcy, 1728-1777)
- Karel Lambert (USA, ur. 1928)
- Gottfried Wilhelm Leibniz (Niemcy, 1646-1716)
- Stanisław Leśniewski (Polska, 1886–1939)
- Clarence Irving Lewis (USA, 1883-1964)
- David Kellogg Lewis (USA, 1941–2001)
- Adolf Lindenbaum (Polska, 1904–1941)
- Per Lindström (Szwecja, 1936-2009)
- Ramon Llull (Hiszpania, 1232-1315)
- Martin Löb (Niemcy, 1921-2006)
- Paul Lorenzen (Niemcy, 1915-1994)
- Jerzy Łoś (Polska, 1920–1998)
- Hermann Lotze (Niemcy, 1817-1881)
- Leopold Löwenheim (Niemcy, 1878-1957)
- Jan Łukasiewicz (Polska, 1878–1956)
m
- Hugh MacColl (Szkocja, 1837-1909)
- Saunders Mac Lane (USA, 1909-2005)
- Dugald Macpherson (Wielka Brytania, XX wiek)
- Penelope Maddy (USA, ur. 1950)
- John Mair (Szkocja, 1467-1550)
- David Makinson (Australia, Wielka Brytania, ur. 1941)
- Isaac Malitz (USA, ur. 1947)
- María Manzano (Hiszpania, ur. 1950)
- Gary R. Mar (USA, ur. 1952)
- Ruth Barcan Marcus (USA, 1921-2012)
- Donald A. Martin (USA, ur. 1940)
- Richard Milton Martin (USA, 1916-1985)
- Per Martin-Löf (Szwecja, ur. 1942)
- Yuri Matiyasevich (Rosja/ZSRR, ur. 1947)
- CA Meredith (Irlandia, 1904-1976)
- Bob Meyer (USA, 1932-2009)
- John Stuart Mill (Anglia, 1806-1873)
- Grigori Mints (ZSRR/Estonia/USA, 1939–2014)
- Richard Montague (USA, 1930-1971)
- Yiannis N. Moschovakis (USA, ur. 1938)
- Andrzej Mostowski (Polska, 1913–1975)
n
- Pavel Naumov (ZSRR/Rosja/USA, ur. 1970)
- Sara Negri (Włochy/Finlandia, ur. 1967)
- Edward Nelson (USA, 1932-2014)
- John von Neumann (Węgry, USA, 1903-1957)
- John Henry Newman (1801-1890) (patrz artykuł: Gramatyka zgody)
- Jean Nicod (Francja, 1893-1924)
- Piotr Nowikow (Rosja/ZSRR, 1901-1975)
- Nagardżuna (Indie, ok.150–ok.250)
- Anil Nerode (USA, ur. 1932)
O
- Wilhelm Ockham (Anglia, 1285-1349)
- Piergiorgio Odifreddi (Włochy, ur. 1950)
- Iwan Orłow (Rosja, 1886-1936)
P
- John Pagus (Francja, fl. 1220-1229)
- Jeff Paris (Wielka Brytania, ur. 1944)
- Charles Parsons (USA, ur. 1933)
- Salomon Passy (Bułgaria, ur. 1956)
- Paweł z Wenecji (Włochy, 1369-1429)
- Christine Paulin-Mohring (Francja, ur. 1962)
- Giuseppe Peano (Włochy, 1858-1932)
- Dan Pedersen (USA, urodzony, 1945)
- Charles Sanders Peirce (USA, 1839-1914)
- Lorenzo Peña (Hiszpania, ur. 1944)
- Chaïm Perelman (Polska, Belgia, 1912-1984)
- Rózsa Péter (Węgry, 1905-1977)
- Paolo da Pergola (Włochy, zm. 1455)
- Piotr z Hiszpanii (XIII wiek, zwykle uważany za papieża Jana XXI )
- Filon Dialektyk (Grecja, IV-III wpne)
- Walter Pitts (USA, 1923-1969)
- Porfir (ok. 234–ok. 405)
- Henry Pogorzelski (USA, polsko-amerykańscy rodzice, 1922-2015)
- Emil Leon Post (USA, 1897-1954)
- Dag Prawitz (Szwecja, ur. 1936)
- Mojżesz Presburger (Polska, 1904–1943)
- Graham Priest (Australia, ur. 1948)
- Arthur Prior (Nowa Zelandia, Wielka Brytania, 1914-1969)
- Hilary Putnam (USA, 1926-2016)
- Platon (grecki, 427-347 pne)
Q
- Willard Van Orman Quine (USA, 1908-2000)
r
- Michael O. Rabin (Izrael, USA, ur. 1931)
- Constantin Rădulescu-Motru (Rumunia, 1868-1957)
- Frank Plumpton Ramsey (Wielka Brytania, 1903-1930)
- Petrus Ramus (Francja, 1515-1572)
- Helena Rasiowa (Polska, 1917–1994)
- Carveth Read (Wielka Brytania, 1848-1931)
- Abraham Robinson (Izrael, Wielka Brytania, Kanada, USA, 1918-1974)
- Raphael M. Robinson (USA, 1911-1995)
- Julia Robinson (USA, 1919-1985)
- J. Barkley Rosser (USA, 1907-1989)
- Richard Routley , później Richard Sylvan (Nowa Zelandia, 1935-1996)
- Frederick Rowbottom (Wielka Brytania, 1938-2009)
- Ian Rumfitt (Wielka Brytania, XX wiek)
- Bertrand Russell (Wielka Brytania, 1872-1970)
S
- Giovanni Girolamo Saccheri (Włochy, 1667-1733)
- Raghunatha Siromani (Indie, ok. 1477-1547)
- Gerald Worki (USA, 1933-2019)
- Albert Saksonii (Niemcy, ok. 1316-1390)
- Rolf Schock (USA, Szwecja, 1933-1986)
- Mojżesz Schönfinkel (ZSRR, 1889–1942)
- Ernst Schröder (Niemcy, 1841-1902)
- Kurt Schütte (Niemcy, 1909-1998)
- Dana Scott (USA, ur. 1932)
- Sedulius Scottus (Irlandia/Francja, fl. 840–860)
- John Duns Szkot (Wielka Brytania, Francja, ok. 1266-1308)
- Stewart Shapiro (USA, ur. 1951)
- Fiodor Szczerbatskoj (Rosja, 1866–1942)
- Saharon Shelah (Izrael, ur. 1945)
- Gila Sher (Izrael/USA)
- William Sherwood (Anglia, 1190-1249)
- Hui Shi (Chiny, IV wiek p.n.e.)
- Simplicius z Cylicji (Turcja/Iran, ok. 490-ok. 560)
- Raghunatha Siromani (Indie, 1470-1550s )
- Thoralf Skolem (Norwegia 1887-1963)
- Dimiter Skordev (Bułgaria, ur. 1936)
- Theodore Slaman (USA, ur. 1954)
- Raymond Smullyan (USA, 1919-2017)
- Wilhelm z Soissons (Francja, XII wiek)
- Robert M. Solovay (USA, ur. 1938)
- Ryszard Sophister (fl. koniec XIII wieku)
- Piotr z Hiszpanii (XIII wiek)
- Pan Spock (Wulkan, urodzony w 23 wieku)
- John R. Steel (USA, ur. 1948)
- Martin Stokhof (Holandia, ur. 1950)
- Ralph Strode (Anglia, fl. 1350–1400)
- Richard Swineshead (Anglia, ok. 1340-1354)
- Richard Sylvan , urodzony Richard Routley (Nowa Zelandia, 1935-1996)
T
- Gaisi Takeuti (Japonia, 1926-2017)
- Alfred Tarski (Polska, 1902–1983)
- Teofrast (Grecja, 371-ok. 287 pne)
- Pavel Tichý (Czechosłowacja, Nowa Zelandia, 1936-1994)
- Friedrich Adolf Trendelenburg (Niemcy, 1802-1872)
- Anne Sjerp Troelstra (Holandia, 1939-2019)
- Alan Turing (Wielka Brytania, 1912-1954)
- Kazimierz Twardowski (Polska, 1866–1938)
U
- Udayana , autor Nyayakusumanjali ( racjonalna teologia dowodząca istnienia Boga za pomocą logiki) (Indie, X wiek)
- Udyotakara (Indie, ok. VI wiek n.e.)
- Alasdair Urquhart (Wielka Brytania, ur. 1945)
- Władimir Uspieński (ZSRR/Rosja, 1930–2018)
V
- Lorenzo Valla (Włochy, ok. 1407-1457)
- Moshe Y. Vardi (Izrael, ur. 1954)
- Mikołaj A. Wasiliew (Rosja, 1880-1940)
- Robert Lawson Vaught (USA, 1926-2002)
- Paweł z Wenecji (Włochy, 1368-1428)
- John Venn (Anglia, 1834-1923)
- Juan Luis Vives (Hiszpania, 1493-1540)
- Pakṣilasvāmin Vātsyāyana napisał pierwszy znany komentarz do Nyaya Sutr Goutamy (V wiek n.e.)
W
- Hao Wang (Chiny/USA, 1921-1995)
- Isaac Watts (Anglia, 1674-1748)
- Richard Whately (Anglia, 1787-1863)
- Alfred North Whitehead (Wielka Brytania, 1861-1947)
- Ludwig Wittgenstein (Austria, Wielka Brytania, 1889-1951)
- Christian Wolff (Niemcy, 1679-1754)
- W. Hugh Woodin (USA, ur. 1955)
- John Woods (Kanada, ur. 1937)
- Georg Henrik von Wright (Finlandia, Wielka Brytania, 1916-2003)
x
Tak
- Jin Yuelin (Chiny, 1895-1984)
Z
- Jacopo Zabarella (Włochy, 1533-1589)
- Lotfi A. Zadeh (USA, 1921-2017)
- Ernst Zermelo (Niemcy, 1871-1953)
- Aleksander Zinowiew (ZSRR, 1922-2006)
Bibliografia
Zewnętrzne linki
- Archiwum historii matematyki MacTutor - bardzo kompletna lista szczegółowych biografii. Uwzględniono wielu logików.
- Wybór wielkich logików ze szczegółowymi bibliografiami (w przygotowaniu)