Lista de lógicos - List of logicians
Um lógico é uma pessoa que estuda lógica . Alguns lógicos famosos estão listados abaixo em ordem de transliteração alfabética em inglês (por sobrenome ).
UMA
- Peter Abelard (França, 1079-1142)
- Wilhelm Ackermann (Alemanha, 1896–1962)
- Sergei Adian (Rússia / União Soviética / Armênia, 1931–2020)
- Rodolphus Agricola (Alemanha, 1443 / 1444-1485)
- Kazimierz Ajdukiewicz (Polônia, 1890–1963)
- Alcuin (Inglaterra / França, c. 735-804)
- Alan Ross Anderson (EUA, 1924-1972)
- Peter B. Andrews (EUA, nascido em 1938)
- Tomás de Aquino (Itália / França, 1225–1274)
- Lennart Åqvist (Suécia, nascido em 1932)
- Aristóteles (Grécia, 384-322 aC)
- Herdeiro de Auxerre (França, 841-876)
B
- Bahmanyār (Irã, falecido em 1067)
- Jayanta Bhatta (Índia, 850–910)
- Alexander Bain (Reino Unido, 1818–1903)
- Yehoshua Bar-Hillel (Israel, 1915–1975)
- Ruth Barcan Marcus (EUA, 1921–2012)
- Henk Barendregt (Holanda, nascido em 1947)
- Jon Barwise (EUA, 1942-2000)
- James Earl Baumgartner (EUA, 1943–2011)
- John Lane Bell (Reino Unido e Canadá, nascido em 1945)
- Nuel Belnap (EUA, nascido em 1931)
- Paul Benacerraf (EUA, nascido em 1931)
- Jean Paul Van Bendegem (Bélgica, nascido em 1953)
- Johan van Benthem (Holanda, nascido em 1949)
- Paul Bernays (Suíça, 1888–1977)
- Evert Willem Beth (Holanda, 1908-1964)
- Jean-Yves Béziau (Suíça, nascido em 1965)
- Józef Maria Bocheński (Polônia, 1902–1995)
- Boécio (Roma / Reino Ostrogótico, c. 480–524 / 525)
- Bernard Bolzano (Império Austríaco, 1781-1848)
- Andrea Bonomi (Itália, nascida em 1940)
- George Boole (Inglaterra / Irlanda, 1815-1864)
- George Boolos (EUA, 1940-1996)
- Nicolas Bourbaki (pseudônimo usado por um grupo de matemáticos franceses, século 20)
- Thomas Bradwardine (Inglaterra, c. 1290–26 de agosto de 1349)
- Richard Brinkley (Inglaterra, morreu c. 1379)
- Luitzen Egbertus Jan Brouwer (Holanda, 1881–1966)
- Alan Richard Bundy (Reino Unido, nascido em 1947)
- Franco Burgersdijk (Holanda, 1590-1629)
- Jean Buridan (França, c. 1300 – pós 1358)
- Walter Burley (Inglaterra, c. 1275–1344 / 5)
C
- Chanakya (Índia, Império Mouryan, 371-285 AC)
- Georg Ferdinand Cantor (Alemanha, 1845–1918)
- Rudolf Carnap (Alemanha, 1891–1970)
- Lewis Carroll (Reino Unido, 1832–1898)
- Categoriae decem (latim, século V)
- Gregory Chaitin (Argentina / EUA, nascido em 1947)
- Crisipo (Grécia, c. 280 aC - c. 207 aC)
- Igreja Alonzo (EUA, 1903-1995)
- Leon Chwistek (Polônia, 1884–1944)
- Gordon H. Clark (EUA, 1902–1985)
- Paul Joseph Cohen (EUA, 1934–2007)
- Conimbricenses , nome pelo qual os jesuítas da Universidade de Coimbra (Portugal) eram conhecidos (1591–1606)
- S. Barry Cooper (Reino Unido, 1943–2015)
- Jack Copeland (Reino Unido, nascido em 1950)
- Thierry Coquand (França, nascido em 1961)
- John Corcoran (EUA, 1937–2021)
- Newton da Costa (Brasil, nascido em 1929)
- William Craig (EUA, 1918–2016)
- Haskell Curry (EUA, 1900–1982)
- Tadeusz Czeżowski (Polônia, 1889–1981)
D
- Dirk van Dalen (Holanda, nascido em 1932)
- Martin Davis (EUA, nascido em 1928)
- Augustus De Morgan (Reino Unido, 1806-1871)
- Dharmakirti (Índia, c. Século 7)
- Dignāga (Índia, fl. Século V)
- Diodorus Cronus (Grécia, séculos 4 a 3 a.C.)
- Martin Dorp (Holanda, c. 1485-1525)
- John Dumbleton (Inglaterra, morreu c. 1349)
- Michael AE Dummett (Reino Unido, 1925–2011)
- Jon Michael Dunn (EUA, 1941–2021)
E
- Alexander Esenin-Volpin (Rússia, 1924–2016)
- John Etchemendy (EUA, nascido em 1952)
- Leonhard Euler (Suíça, 1707-1783)
F
- Solomon Feferman (EUA, 1928–2016)
- Richard Ferrybridge (Inglaterra, século 14)
- Hartry Field (EUA, nascido em 1946)
- Kit Fine (EUA, nascido em 1946)
- Melvin Fitting (EUA, nascido em 1942)
- Graeme Forbes (Escócia, século 20)
- Matthew Foreman (EUA, nascido em 1957)
- Michael Fourman (Reino Unido, nascido em 1950)
- Roland Fraïssé (França, 1920–2008)
- Abraham Fraenkel (Alemanha, 1891–1965)
- Gottlob Frege (Alemanha, 1848–1925)
- Harvey Friedman (EUA, nascido em 1948)
G
- Dov Gabbay (Reino Unido, nascido em 1945)
- Haim Gaifman (EUA, nascido em 1934)
- LTF Gamut (pseudônimo coletivo usado por um grupo de lógicos holandeses, fl. 1980-1990)
- Robin Gandy (Grã-Bretanha, 1919–1995)
- Sol Garfunkel (EUA, nascido em 1943)
- Garlandus Compotista (França, c. Século 11)
- Akṣapāda Gautama , autor de Nyāya Sūtras e fundador da escola Nyaya de pensamento e lógica (Índia, c. Século 2 aC)
- Gangesha Upadhyaya , autor de Tattvacintāmaṇi (Um Pensamento-Jóia da verdade) e fundador de Navya-Nyāya (Índia, c. Século 14 DC)
- Peter Geach (Reino Unido, 1916–2013)
- Gerhard Gentzen (Alemanha, 1909-1945)
- Joseph Diaz Gergonne (França, 1771-1859)
- Gilbert de la Porrée (França, 1070-1154)
- Jean-Yves Girard (França, nascido em 1947)
- Kurt Gödel (Áustria, EUA, 1906–1978)
- Reuben Louis Goodstein (Inglaterra, 1912-1985)
- Valentin Goranko (Bulgária / Suécia, nascido em 1959)
- Siegfried Gottwald (Alemanha, 1943–2015)
- Jeroen Groenendijk (Holanda, nascido em 1949)
H
- Susan Haack (Reino Unido, nascida em 1945)
- Petr Hájek (República Tcheca, 1941-2016)
- Leo Harrington (EUA, nascido em 1946)
- Robert S. Hartman (Alemanha / EUA, 1910–1973)
- Georg Wilhelm Friedrich Hegel (Alemanha, 1770-1831)
- Jean Van Heijenoort (França / EUA, 1912–1986)
- Leon Henkin (EUA, 1921-2006)
- Jacques Herbrand (França, 1908-1931)
- Arend Heyting (Holanda, 1898–1980)
- David Hilbert (Alemanha, 1862–1943)
- Jaakko Hintikka (Finlândia, 1929–2015)
- Alfred Horn (EUA, 1918–2001)
- William Alvin Howard (EUA, nascido em 1926)
- Ehud Hrushovski (Israel, nascido em 1959)
- Gérard Huet (França, nascido em 1947)
eu
- Ibn Taymiyyah (Turquia, 1263-1328 CE)
- Marsilius de Inghen (Holanda / França / Alemanha, 1330 / 1340-1396)
J
- Giorgi Japaridze (Geórgia, século 20)
- Stanisław Jaśkowski (Polônia, 1906–1965)
- Richard Jeffrey (EUA, 1926-2002)
- Ronald Jensen (EUA, Europa, nascido em 1936)
- William Stanley Jevons (Inglaterra, 1835-1882)
- John of St. Thomas / John Poinsot (Portugal / Espanha, 1589–1644)
- William Ernest Johnson (Reino Unido, 1858–1931)
- Dick de Jongh (Holanda, nascido em 1939)
- Bjarni Jónsson (Islândia, 1920–2016)
- Philip Jourdain (Reino Unido, 1879-1919)
- Joachim Jungius (Alemanha, 1587–1657)
- Jñanasrimitra (Índia, século 10)
K
- David Kaplan (EUA, nascido em 1933)
- Alexander S. Kechris (EUA, nascido em 1946)
- Howard Jerome Keisler (EUA, nascido em 1936)
- Ahmed Raza Khan (Índia, 1856–1921)
- Richard Kilvington (Inglaterra, c. 1305–1361)
- Robert Kilwardby (Inglaterra, c. 1215-1279)
- Stephen Cole Kleene (EUA, 1909-1994)
- Tadeusz Kotarbiński (Polônia, 1886–1981)
- Robert Kowalski (EUA, Reino Unido, nascido em 1941)
- Georg Kreisel (Áustria / Grã-Bretanha / EUA, 1923–2015)
- Saul Kripke (EUA, nascido em 1940)
- Leopold Kronecker (Alemanha, 1823-1891)
- Kenneth Kunen (EUA, 1943-2020)
eu
- Christine Ladd-Franklin (EUA, 1847-1930)
- Joachim Lambek (Canadá, 1922–2014)
- Johann Heinrich Lambert (França / Alemanha, 1728-1777)
- Karel Lambert (EUA, nascido em 1928)
- Gottfried Wilhelm Leibniz (Alemanha, 1646-1716)
- Stanisław Leśniewski (Polônia, 1886–1939)
- Clarence Irving Lewis (EUA, 1883–1964)
- David Kellogg Lewis (EUA, 1941–2001)
- Adolf Lindenbaum (Polônia, 1904–1941)
- Per Lindström (Suécia, 1936–2009)
- Ramon Llull (Espanha, 1232–1315)
- Martin Löb (Alemanha, 1921–2006)
- Paul Lorenzen (Alemanha, 1915-1994)
- Jerzy Łoś (Polônia, 1920–1998)
- Hermann Lotze (Alemanha, 1817-1881)
- Leopold Löwenheim (Alemanha, 1878–1957)
- Jan Łukasiewicz (Polônia, 1878–1956)
M
- Hugh MacColl (Escócia, 1837–1909)
- Saunders Mac Lane (EUA, 1909–2005)
- Dugald Macpherson (Reino Unido, século 20)
- Penelope Maddy (EUA, nascida em 1950)
- John Mair (Escócia, 1467–1550)
- David Makinson (Austrália, Reino Unido, nascido em 1941)
- Isaac Malitz (EUA, nascido em 1947)
- María Manzano (Espanha, nascida em 1950)
- Gary R. Mar (EUA, nascido em 1952)
- Ruth Barcan Marcus (EUA, 1921–2012)
- Donald A. Martin (EUA, nascido em 1940)
- Richard Milton Martin (EUA, 1916–1985)
- Per Martin-Löf (Suécia, nascido em 1942)
- Yuri Matiyasevich (Rússia / União Soviética, nascido em 1947)
- CA Meredith (Irlanda, 1904–1976)
- Bob Meyer (EUA, 1932–2009)
- John Stuart Mill (Inglaterra, 1806-1873)
- Grigori Mints (União Soviética / Estônia / EUA, 1939–2014)
- Richard Montague (EUA, 1930-1971)
- Yiannis N. Moschovakis (EUA, nascido em 1938)
- Andrzej Mostowski (Polônia, 1913–1975)
N
- Pavel Naumov (União Soviética / Rússia / EUA, nascido em 1970)
- Sara Negri (Itália / Finlândia, nascida em 1967)
- Edward Nelson (EUA, 1932–2014)
- John von Neumann (Hungria, EUA, 1903–1957)
- John Henry Newman (1801–1890) (ver artigo: Grammar of Assent)
- Jean Nicod (França, 1893–1924)
- Pyotr Novikov (Rússia / União Soviética, 1901–1975)
- Nagarjuna (Índia, c.150-c.250)
- Anil Nerode (EUA, nascido em 1932)
O
- Guilherme de Ockham (Inglaterra, 1285–1349)
- Piergiorgio Odifreddi (Itália, nascido em 1950)
- Ivan Orlov (Rússia, 1886–1936)
P
- John Pagus (França, fl. 1220–1229)
- Jeff Paris (Reino Unido, nascido em 1944)
- Charles Parsons (EUA, nascido em 1933)
- Solomon Passy (Bulgária, nascido em 1956)
- Paulo de Veneza (Itália, 1369-1429)
- Christine Paulin-Mohring (França, nascida em 1962)
- Giuseppe Peano (Itália, 1858–1932)
- Dan Pedersen (EUA, nascido em 1945)
- Charles Sanders Peirce (EUA, 1839–1914)
- Lorenzo Peña (Espanha, nascido em 1944)
- Chaïm Perelman (Polônia, Bélgica, 1912–1984)
- Rózsa Péter (Hungria, 1905-1977)
- Paolo da Pergola (Itália, falecido em 1455)
- Pedro da Espanha (século 13, geralmente considerado o Papa João XXI )
- Filo, o Dialético (Grécia, séculos 4 a 3 aC)
- Walter Pitts (EUA, 1923-1969)
- Pórfiro (c. 234-c. 405)
- Henry Pogorzelski (EUA, pais poloneses americanos, 1922–2015)
- Emil Leon Post (EUA, 1897–1954)
- Dag Prawitz (Suécia, nascido em 1936)
- Mojżesz Presburger (Polônia, 1904–1943)
- Graham Priest (Austrália, nascido em 1948)
- Arthur Prior (Nova Zelândia, Reino Unido, 1914-1969)
- Hilary Putnam (EUA, 1926–2016)
- Platão (grego, 427-347 AC)
Q
- Willard Van Orman Quine (EUA, 1908-2000)
R
- Michael O. Rabin (Israel, EUA, nascido em 1931)
- Constantin Rădulescu-Motru (Romênia, 1868–1957)
- Frank Plumpton Ramsey (Reino Unido, 1903-1930)
- Petrus Ramus (França, 1515-1572)
- Helena Rasiowa (Polônia, 1917-1994)
- Carveth Read (Grã-Bretanha, 1848–1931)
- Abraham Robinson (Israel, Reino Unido, Canadá, EUA, 1918–1974)
- Raphael M. Robinson (EUA, 1911–1995)
- Julia Robinson (EUA, 1919–1985)
- J. Barkley Rosser (EUA, 1907-1989)
- Richard Routley , mais tarde Richard Sylvan (Nova Zelândia, 1935–1996)
- Frederick Rowbottom (Reino Unido, 1938–2009)
- Ian Rumfitt (Reino Unido, século 20)
- Bertrand Russell (Reino Unido, 1872-1970)
S
- Giovanni Girolamo Saccheri (Itália, 1667-1733)
- Raghunatha Siromani (Índia, c. 1477–1547)
- Gerald Sacks (EUA, 1933–2019)
- Alberto da Saxônia (Alemanha, c. 1316–1390)
- Rolf Schock (EUA, Suécia, 1933-1986)
- Moses Schönfinkel (URSS, 1889–1942)
- Ernst Schröder (Alemanha, 1841–1902)
- Kurt Schütte (Alemanha, 1909-1998)
- Dana Scott (EUA, nascida em 1932)
- Sedulius Scottus (Irlanda / França, fl. 840-860)
- John Duns Scotus (Grã-Bretanha, França, c. 1266-1308)
- Stewart Shapiro (EUA, nascido em 1951)
- Fyodor Shcherbatskoy (Rússia, 1866–1942)
- Saharon Shelah (Israel, nascido em 1945)
- Gila Sher (Israel / EUA)
- Guilherme de Sherwood (Inglaterra, 1190–1249)
- Hui Shi (China, fl. Século 4 a.C.)
- Simplício da Cilícia (Turquia / Irã, c. 490 – c. 560)
- Raghunatha Siromani (Índia, 1470s-1550s)
- Thoralf Skolem (Noruega 1887-1963)
- Dimiter Skordev (Bulgária, nascido em 1936)
- Theodore Slaman (EUA, nascido em 1954)
- Raymond Smullyan (EUA, 1919–2017)
- Guilherme de Soissons (França, século 12)
- Robert M. Solovay (EUA, nascido em 1938)
- Richard the Sophister (fl. Final do século 13)
- Pedro da Espanha (século 13)
- Sr. Spock (Vulcano, nascido no século 23)
- John R. Steel (EUA, nascido em 1948)
- Martin Stokhof (Holanda, nascido em 1950)
- Ralph Strode (Inglaterra, fl. 1350–1400)
- Richard Swineshead (Inglaterra, fl. C. 1340–1354)
- Richard Sylvan , nascido em Richard Routley (Nova Zelândia, 1935–1996)
T
- Gaisi Takeuti (Japão, 1926–2017)
- Alfred Tarski (Polônia, 1902-1983)
- Teofrasto (Grécia, 371-c. 287 AC)
- Pavel Tichý (Tchecoslováquia, Nova Zelândia, 1936–1994)
- Friedrich Adolf Trendelenburg (Alemanha, 1802-1872)
- Anne Sjerp Troelstra (Holanda, 1939–2019)
- Alan Turing (Reino Unido, 1912–1954)
- Kazimierz Twardowski (Polônia, 1866–1938)
você
- Udayana , autor de Nyayakusumanjali ( teologia racional para provar a existência de Deus usando a lógica) (Índia, século 10)
- Udyotakara (Índia, c. Século VI dC)
- Alasdair Urquhart (Reino Unido, nascido em 1945)
- Vladimir Uspensky (União Soviética / Rússia, 1930–2018)
V
- Lorenzo Valla (Itália, c. 1407-1457)
- Moshe Y. Vardi (Israel, nascido em 1954)
- Nicolai A. Vasiliev (Rússia, 1880–1940)
- Robert Lawson Vaught (EUA, 1926–2002)
- Paulo de Veneza (Itália, 1368-1428)
- John Venn (Inglaterra, 1834–1923)
- Juan Luis Vives (Espanha, 1493-1540)
- Pakṣilasvāmin Vātsyāyana escreveu o primeiro comentário conhecido sobre os Nyaya Sutras de Goutama (século 5 dC)
C
- Hao Wang (China / EUA, 1921–1995)
- Isaac Watts (Inglaterra, 1674-1748)
- Richard Whately (Inglaterra, 1787-1863)
- Alfred North Whitehead (Reino Unido, 1861–1947)
- Ludwig Wittgenstein (Áustria, Reino Unido, 1889–1951)
- Christian Wolff (Alemanha, 1679-1754)
- W. Hugh Woodin (EUA, nascido em 1955)
- John Woods (Canadá, nascido em 1937)
- Georg Henrik von Wright (Finlândia, Reino Unido, 1916–2003)
X
Y
- Jin Yuelin (China, 1895–1984)
Z
- Jacopo Zabarella (Itália, 1533–1589)
- Lotfi A. Zadeh (EUA, 1921–2017)
- Ernst Zermelo (Alemanha, 1871–1953)
- Alexander Zinoviev (União Soviética, 1922–2006)
Referências
links externos
- O arquivo MacTutor History of Mathematics - lista muito completa de biografias detalhadas. Muitos lógicos estão incluídos.
- Uma seleção de grandes lógicos com bibliografias detalhadas (em andamento)