Lista de lógicos - List of logicians
Un lógico es una persona que estudia lógica . Algunos lógicos famosos se enumeran a continuación en orden alfabético de transliteración en inglés (por apellido ).
A
- Peter Abelard (Francia, 1079-1142)
- Wilhelm Ackermann (Alemania, 1896–1962)
- Sergei Adian (Rusia / Unión Soviética / Armenia, 1931-2020)
- Rodolphus Agricola (Alemania, 1443 / 1444–1485)
- Kazimierz Ajdukiewicz (Polonia, 1890–1963)
- Alcuin (Inglaterra / Francia, c. 735–804)
- Alan Ross Anderson (Estados Unidos, 1924-1972)
- Peter B. Andrews (Estados Unidos, nacido en 1938)
- Tomás de Aquino (Italia / Francia, 1225-1274)
- Lennart Åqvist (Suecia, nacido en 1932)
- Aristóteles (Grecia, 384–322 a. C.)
- Heredero de Auxerre (Francia, 841–876)
B
- Bahmanyār (Irán, murió en 1067)
- Jayanta Bhatta (India, 850–910)
- Alexander Bain (Reino Unido, 1818-1903)
- Yehoshua Bar-Hillel (Israel, 1915-1975)
- Ruth Barcan Marcus (Estados Unidos, 1921-2012)
- Henk Barendregt (Holanda, nacido en 1947)
- Jon Barwise (Estados Unidos, 1942-2000)
- James Earl Baumgartner (Estados Unidos, 1943-2011)
- John Lane Bell (Reino Unido y Canadá, nacido en 1945)
- Nuel Belnap (Estados Unidos, nacido en 1931)
- Paul Benacerraf (Estados Unidos, nacido en 1931)
- Jean Paul Van Bendegem (Bélgica, nacido en 1953)
- Johan van Benthem (Holanda, nacido en 1949)
- Paul Bernays (Suiza, 1888-1977)
- Evert Willem Beth (Países Bajos, 1908-1964)
- Jean-Yves Béziau (Suiza, nacido en 1965)
- Józef Maria Bocheński (Polonia, 1902-1995)
- Boecio (Roma / Reino Ostrogodo, c. 480-524 / 525)
- Bernard Bolzano (Imperio austríaco, 1781-1848)
- Andrea Bonomi (Italia, nacido en 1940)
- George Boole (Inglaterra / Irlanda, 1815–1864)
- George Boolos (Estados Unidos, 1940-1996)
- Nicolas Bourbaki (seudónimo utilizado por un grupo de matemáticos franceses, siglo XX)
- Thomas Bradwardine (Inglaterra, c. 1290–26 de agosto de 1349)
- Richard Brinkley (Inglaterra, murió c. 1379)
- Luitzen Egbertus Jan Brouwer (Países Bajos, 1881-1966)
- Alan Richard Bundy (Reino Unido, nacido en 1947)
- Franco Burgersdijk (Países Bajos, 1590-1629)
- Jean Buridan (Francia, c. 1300 – posterior a 1358)
- Walter Burley (Inglaterra, c. 1275-1344 / 5)
C
- Chanakya (India, Imperio Mouryano, 371-285 a. C.)
- Georg Ferdinand Cantor (Alemania, 1845-1918)
- Rudolf Carnap (Alemania, 1891-1970)
- Lewis Carroll (Reino Unido, 1832-1898)
- Categoriae decem (latín, siglo quinto)
- Gregory Chaitin (Argentina / Estados Unidos, nacido en 1947)
- Crisipo (Grecia, c. 280 a. C. - c. 207 a. C.)
- Iglesia de Alonzo (EE. UU., 1903–1995)
- Leon Chwistek (Polonia, 1884-1944)
- Gordon H. Clark (Estados Unidos, 1902–1985)
- Paul Joseph Cohen (Estados Unidos, 1934-2007)
- Conimbricenses , nombre con el que se conocía a los jesuitas de la Universidad de Coimbra (Portugal) (1591-1606)
- S. Barry Cooper (Reino Unido, 1943-2015)
- Jack Copeland (Reino Unido, nacido en 1950)
- Thierry Coquand (Francia, nacido en 1961)
- John Corcoran (Estados Unidos, 1937-2021)
- Newton da Costa (Brasil, nacido en 1929)
- William Craig (Estados Unidos, 1918-2016)
- Haskell Curry (Estados Unidos, 1900–1982)
- Tadeusz Czeżowski (Polonia, 1889-1981)
D
- Dirk van Dalen (Holanda, nacido en 1932)
- Martin Davis (Estados Unidos, nacido en 1928)
- Augustus De Morgan (Reino Unido, 1806-1871)
- Dharmakirti (India, c. Siglo VII)
- Dignāga (India, siglo V de Florida)
- Diodorus Cronus (Grecia, siglos IV-III a. C.)
- Martin Dorp (Holanda, c. 1485-1525)
- John Dumbleton (Inglaterra, murió c. 1349)
- Michael AE Dummett (Reino Unido, 1925-2011)
- Jon Michael Dunn (Estados Unidos, 1941-2021)
mi
- Alexander Esenin-Volpin (Rusia, 1924-2016)
- John Etchemendy (Estados Unidos, nacido en 1952)
- Leonhard Euler (Suiza, 1707-1783)
F
- Solomon Feferman (Estados Unidos, 1928-2016)
- Richard Ferrybridge (Inglaterra, siglo XIV)
- Hartry Field (Estados Unidos, nacido en 1946)
- Kit Fine (Estados Unidos, nacido en 1946)
- Melvin Fitting (Estados Unidos, nacido en 1942)
- Graeme Forbes (Escocia, siglo XX)
- Matthew Foreman (Estados Unidos, nacido en 1957)
- Michael Fourman (Reino Unido, nacido en 1950)
- Roland Fraïssé (Francia, 1920-2008)
- Abraham Fraenkel (Alemania, 1891-1965)
- Gottlob Frege (Alemania, 1848-1925)
- Harvey Friedman (Estados Unidos, nacido en 1948)
GRAMO
- Dov Gabbay (Reino Unido, nacido en 1945)
- Haim Gaifman (Estados Unidos, nacido en 1934)
- LTF Gamut (seudónimo colectivo utilizado por un grupo de lógicos holandeses, fl. 1980-1990)
- Robin Gandy (Gran Bretaña, 1919-1995)
- Sol Garfunkel (Estados Unidos, nacido en 1943)
- Garlandus Compotista (Francia, c. Siglo XI)
- Akṣapāda Gautama , autor de Nyāya Sūtras y fundador de la escuela de pensamiento y lógica Nyaya (India, c. Siglo II a. C.)
- Gangesha Upadhyaya , autor de Tattvacintāmaṇi (Una joya del pensamiento de la verdad) y fundador de Navya-Nyāya (India, c. Siglo XIV d. C.)
- Peter Geach (Reino Unido, 1916-2013)
- Gerhard Gentzen (Alemania, 1909-1945)
- Joseph Diaz Gergonne (Francia, 1771-1859)
- Gilbert de la Porrée (Francia, 1070-1154)
- Jean-Yves Girard (Francia, nacido en 1947)
- Kurt Gödel (Austria, Estados Unidos, 1906–1978)
- Reuben Louis Goodstein (Inglaterra, 1912-1985)
- Valentin Goranko (Bulgaria / Suecia, nacido en 1959)
- Siegfried Gottwald (Alemania, 1943-2015)
- Jeroen Groenendijk (Holanda, nacido en 1949)
H
- Susan Haack (Reino Unido, nacida en 1945)
- Petr Hájek (República Checa, 1941-2016)
- Leo Harrington (Estados Unidos, nacido en 1946)
- Robert S. Hartman (Alemania / EE. UU., 1910–1973)
- Georg Wilhelm Friedrich Hegel (Alemania, 1770-1831)
- Jean Van Heijenoort (Francia / EE. UU., 1912-1986)
- Leon Henkin (Estados Unidos, 1921-2006)
- Jacques Herbrand (Francia, 1908-1931)
- Arend Heyting (Países Bajos, 1898-1980)
- David Hilbert (Alemania, 1862-1943)
- Jaakko Hintikka (Finlandia, 1929-2015)
- Alfred Horn (Estados Unidos, 1918-2001)
- William Alvin Howard (Estados Unidos, nacido en 1926)
- Ehud Hrushovski (Israel, nacido en 1959)
- Gérard Huet (Francia, nacido en 1947)
I
- Ibn Taymiyyah (Turquía, 1263-1328 d. C.)
- Marsilius of Inghen (Países Bajos / Francia / Alemania, 1330 / 1340-1396)
J
- Giorgi Japaridze (Georgia, siglo XX)
- Stanisław Jaśkowski (Polonia, 1906-1965)
- Richard Jeffrey (Estados Unidos, 1926-2002)
- Ronald Jensen (Estados Unidos, Europa, nacido en 1936)
- William Stanley Jevons (Inglaterra, 1835-1882)
- Juan de Santo Tomás / John Poinsot (Portugal / España, 1589-1644)
- William Ernest Johnson (Reino Unido, 1858-1931)
- Dick de Jongh (Holanda, nacido en 1939)
- Bjarni Jónsson (Islandia, 1920-2016)
- Philip Jourdain (Reino Unido, 1879-1919)
- Joachim Jungius (Alemania, 1587-1657)
- Jñanasrimitra (India, siglo X)
K
- David Kaplan (Estados Unidos, nacido en 1933)
- Alexander S. Kechris (Estados Unidos, nacido en 1946)
- Howard Jerome Keisler (Estados Unidos, nacido en 1936)
- Ahmed Raza Khan (India, 1856-1921)
- Richard Kilvington (Inglaterra, c. 1305-1361)
- Robert Kilwardby (Inglaterra, c. 1215-1279)
- Stephen Cole Kleene (Estados Unidos, 1909–1994)
- Tadeusz Kotarbiński (Polonia, 1886-1981)
- Robert Kowalski (Estados Unidos, Reino Unido, nacido en 1941)
- Georg Kreisel (Austria / Gran Bretaña / EE. UU., 1923-2015)
- Saul Kripke (Estados Unidos, nacido en 1940)
- Leopold Kronecker (Alemania, 1823–1891)
- Kenneth Kunen (Estados Unidos, 1943-2020)
L
- Christine Ladd-Franklin (Estados Unidos, 1847-1930)
- Joachim Lambek (Canadá, 1922-2014)
- Johann Heinrich Lambert (Francia / Alemania, 1728-1777)
- Karel Lambert (Estados Unidos, nacido en 1928)
- Gottfried Wilhelm Leibniz (Alemania, 1646-1716)
- Stanisław Leśniewski (Polonia, 1886–1939)
- Clarence Irving Lewis (Estados Unidos, 1883–1964)
- David Kellogg Lewis (Estados Unidos, 1941-2001)
- Adolf Lindenbaum (Polonia, 1904-1941)
- Per Lindström (Suecia, 1936-2009)
- Ramon Llull (España, 1232-1315)
- Martin Löb (Alemania, 1921-2006)
- Paul Lorenzen (Alemania, 1915-1994)
- Jerzy Łoś (Polonia, 1920-1998)
- Hermann Lotze (Alemania, 1817-1881)
- Leopold Löwenheim (Alemania, 1878-1957)
- Jan Łukasiewicz (Polonia, 1878-1956)
METRO
- Hugh MacColl (Escocia, 1837-1909)
- Saunders Mac Lane (Estados Unidos, 1909-2005)
- Dugald Macpherson (Reino Unido, siglo XX)
- Penelope Maddy (Estados Unidos, nacida en 1950)
- John Mair (Escocia, 1467-1550)
- David Makinson (Australia, Reino Unido, nacido en 1941)
- Isaac Malitz (Estados Unidos, nacido en 1947)
- María Manzano (España, nacida en 1950)
- Gary R. Mar (Estados Unidos, nacido en 1952)
- Ruth Barcan Marcus (Estados Unidos, 1921-2012)
- Donald A. Martin (Estados Unidos, nacido en 1940)
- Richard Milton Martin (Estados Unidos, 1916–1985)
- Per Martin-Löf (Suecia, nacido en 1942)
- Yuri Matiyasevich (Rusia / Unión Soviética, nacido en 1947)
- CA Meredith (Irlanda, 1904-1976)
- Bob Meyer (Estados Unidos, 1932-2009)
- John Stuart Mill (Inglaterra, 1806–1873)
- Grigori Mints (Unión Soviética / Estonia / EE. UU., 1939-2014)
- Richard Montague (Estados Unidos, 1930-1971)
- Yiannis N. Moschovakis (Estados Unidos, nacido en 1938)
- Andrzej Mostowski (Polonia, 1913-1975)
norte
- Pavel Naumov (Unión Soviética / Rusia / EE. UU., Nacido en 1970)
- Sara Negri (Italia / Finlandia, nacida en 1967)
- Edward Nelson (Estados Unidos, 1932-2014)
- John von Neumann (Hungría, EE. UU., 1903-1957)
- John Henry Newman (1801-1890) (ver artículo: Gramática del asentimiento)
- Jean Nicod (Francia, 1893-1924)
- Pyotr Novikov (Rusia / Unión Soviética, 1901-1975)
- Nagarjuna (India, c.150-c.250)
- Anil Nerode (Estados Unidos, nacido en 1932)
O
- Guillermo de Ockham (Inglaterra, 1285-1349)
- Piergiorgio Odifreddi (Italia, nacido en 1950)
- Ivan Orlov (Rusia, 1886-1936)
PAG
- John Pagus (Francia, fl. 1220-1229)
- Jeff Paris (Reino Unido, nacido en 1944)
- Charles Parsons (Estados Unidos, nacido en 1933)
- Solomon Passy (Bulgaria, nacido en 1956)
- Pablo de Venecia (Italia, 1369-1429)
- Christine Paulin-Mohring (Francia, nacida en 1962)
- Giuseppe Peano (Italia, 1858-1932)
- Dan Pedersen (Estados Unidos, nacido en 1945)
- Charles Sanders Peirce (Estados Unidos, 1839-1914)
- Lorenzo Peña (España, nacido en 1944)
- Chaïm Perelman (Polonia, Bélgica, 1912-1984)
- Rózsa Péter (Hungría, 1905-1977)
- Paolo da Pergola (Italia, muerto en 1455)
- Pedro de España (siglo XIII, generalmente se supone que es el Papa Juan XXI )
- Filón el dialéctico (Grecia, siglos IV-III a. C.)
- Walter Pitts (Estados Unidos, 1923-1969)
- Pórfido (c. 234 – c. 405)
- Henry Pogorzelski (EE. UU., Padres polaco-estadounidenses, 1922-2015)
- Emil Leon Post (Estados Unidos, 1897-1954)
- Dag Prawitz (Suecia, nacido en 1936)
- Mojżesz Presburger (Polonia, 1904-1943)
- Graham Priest (Australia, nacido en 1948)
- Arthur Prior (Nueva Zelanda, Reino Unido, 1914-1969)
- Hilary Putnam (Estados Unidos, 1926-2016)
- Platón (griego, 427–347 a. C.)
Q
- Willard Van Orman Quine (Estados Unidos, 1908-2000)
R
- Michael O. Rabin (Israel, EE. UU., Nacido en 1931)
- Constantin Rădulescu-Motru (Rumania, 1868-1957)
- Frank Plumpton Ramsey (Reino Unido, 1903-1930)
- Petrus Ramus (Francia, 1515-1572)
- Helena Rasiowa (Polonia, 1917-1994)
- Carveth Read (Gran Bretaña, 1848-1931)
- Abraham Robinson (Israel, Reino Unido, Canadá, Estados Unidos, 1918-1974)
- Raphael M. Robinson (Estados Unidos, 1911–1995)
- Julia Robinson (Estados Unidos, 1919-1985)
- J. Barkley Rosser (Estados Unidos, 1907–1989)
- Richard Routley , más tarde Richard Sylvan (Nueva Zelanda, 1935-1996)
- Frederick Rowbottom (Reino Unido, 1938-2009)
- Ian Rumfitt (Reino Unido, siglo XX)
- Bertrand Russell (Reino Unido, 1872-1970)
S
- Giovanni Girolamo Saccheri (Italia, 1667-1733)
- Raghunatha Siromani (India, c. 1477-1547)
- Gerald Sacks (Estados Unidos, 1933-2019)
- Alberto de Sajonia (Alemania, c. 1316-1390)
- Rolf Schock (Estados Unidos, Suecia, 1933–1986)
- Moses Schönfinkel (URSS, 1889-1942)
- Ernst Schröder (Alemania, 1841-1902)
- Kurt Schütte (Alemania, 1909-1998)
- Dana Scott (Estados Unidos, nacida en 1932)
- Sedulius Scottus (Irlanda / Francia, fl. 840–860)
- John Duns Scotus (Gran Bretaña, Francia, c. 1266–1308)
- Stewart Shapiro (Estados Unidos, nacido en 1951)
- Fyodor Shcherbatskoy (Rusia, 1866-1942)
- Saharon Shelah (Israel, nacido en 1945)
- Gila Sher (Israel / Estados Unidos)
- Guillermo de Sherwood (Inglaterra, 1190-1249)
- Hui Shi (China, siglo IV a.C.)
- Simplicio de Cilicia (Turquía / Irán, c. 490 – c. 560)
- Raghunatha Siromani (India, décadas de 1470 a 1550)
- Thoralf Skolem (Noruega 1887-1963)
- Dimiter Skordev (Bulgaria, nacido en 1936)
- Theodore Slaman (Estados Unidos, nacido en 1954)
- Raymond Smullyan (Estados Unidos, 1919-2017)
- Guillermo de Soissons (Francia, siglo XII)
- Robert M. Solovay (Estados Unidos, nacido en 1938)
- Ricardo el Sofista (fl. Finales del siglo XIII)
- Pedro de España (siglo XIII)
- Sr. Spock (Vulcano, nacido en el siglo 23)
- John R. Steel (Estados Unidos, nacido en 1948)
- Martin Stokhof (Holanda, nacido en 1950)
- Ralph Strode (Inglaterra, fl. 1350–1400)
- Richard Swineshead (Inglaterra, fl. C. 1340-1354)
- Richard Sylvan , nacido como Richard Routley (Nueva Zelanda, 1935-1996)
T
- Gaisi Takeuti (Japón, 1926-2017)
- Alfred Tarski (Polonia, 1902-1983)
- Teofrasto (Grecia, 371-c. 287 aC)
- Pavel Tichý (Checoslovaquia, Nueva Zelanda, 1936–1994)
- Friedrich Adolf Trendelenburg (Alemania, 1802-1872)
- Anne Sjerp Troelstra (Países Bajos, 1939-2019)
- Alan Turing (Reino Unido, 1912-1954)
- Kazimierz Twardowski (Polonia, 1866-1938)
U
- Udayana , autor de Nyayakusumanjali ( teología racional para probar la existencia de Dios usando la lógica) (India, siglo X)
- Udyotakara (India, c. Siglo VI d.C.)
- Alasdair Urquhart (Reino Unido, nacido en 1945)
- Vladimir Uspensky (Unión Soviética / Rusia, 1930-2018)
V
- Lorenzo Valla (Italia, c. 1407-1457)
- Moshe Y. Vardi (Israel, nacido en 1954)
- Nicolai A. Vasiliev (Rusia, 1880-1940)
- Robert Lawson Vaught (Estados Unidos, 1926-2002)
- Pablo de Venecia (Italia, 1368-1428)
- John Venn (Inglaterra, 1834-1923)
- Juan Luis Vives (España, 1493-1540)
- Pakṣilasvāmin Vātsyāyana escribió el primer comentario conocido sobre los Nyaya Sutras de Goutama (siglo V d.C.)
W
- Hao Wang (China / EE. UU., 1921–1995)
- Isaac Watts (Inglaterra, 1674-1748)
- Richard Whately (Inglaterra, 1787-1863)
- Alfred North Whitehead (Reino Unido, 1861-1947)
- Ludwig Wittgenstein (Austria, Reino Unido, 1889-1951)
- Christian Wolff (Alemania, 1679-1754)
- W. Hugh Woodin (Estados Unidos, nacido en 1955)
- John Woods (Canadá, nacido en 1937)
- Georg Henrik von Wright (Finlandia, Reino Unido, 1916-2003)
X
Y
- Jin Yuelin (China, 1895–1984)
Z
- Jacopo Zabarella (Italia, 1533-1589)
- Lotfi A. Zadeh (Estados Unidos, 1921–2017)
- Ernst Zermelo (Alemania, 1871-1953)
- Alexander Zinoviev (Unión Soviética, 1922-2006)
Referencias
enlaces externos
- El archivo MacTutor History of Mathematics : lista muy completa de biografías detalladas. Se incluyen muchos lógicos.
- Una selección de grandes lógicos con bibliografías detalladas (en curso)