Faster access than browser!
281 relations: Abraham Fraenkel, Abraham Robinson, Adolf Lindenbaum, Ahmed Raza Khan Barelvi, Alan Bundy, Alan Ross Anderson, Alan Turing, Alasdair Urquhart, Albert of Saxony (philosopher), Alcuin, Alexander Bain, Alexander Esenin-Volpin, Alexander S. Kechris, Alexander Zinoviev, Alfred Horn, Alfred North Whitehead, Alfred Tarski, Alonzo Church, Alphabet, Andrea Bonomì, Andrzej Mostowski, Anne Sjerp Troelstra, Arend Heyting, Aristotle, Arthur Prior, Augustus De Morgan, Bahmanyār, Bernard Bolzano, Bertrand Russell, Bjarni Jónsson, Bob Meyer (logician), Boethius, Carew Arthur Meredith, Carveth Read, Categoriae decem, Chaïm Perelman, Chanakya, Charles Parsons (philosopher), Charles Sanders Peirce, Christian Wolff (philosopher), Christine Ladd-Franklin, Chrysippus, Clarence Irving Lewis, Conimbricenses, Constantin Rădulescu-Motru, Dag Prawitz, Dana Scott, David Hilbert, David Kaplan (philosopher), David Lewis (philosopher), ..., David Makinson, Dharmakirti, Dick de Jongh, Dignāga, Dimiter Skordev, Diodorus Cronus, Dirk van Dalen, Donald A. Martin, Dov Gabbay, Dugald Macpherson, Duns Scotus, Edward Nelson, Ehud Hrushovski, Emil Leon Post, English language, Ernst Schröder, Ernst Zermelo, Evert Willem Beth, Franco Burgersdijk, Frank P. Ramsey, Frederick Rowbottom, Friedrich Adolf Trendelenburg, Fyodor Shcherbatskoy, Gaisi Takeuti, Garlandus Compotista, Gary R. Mar, Georg Cantor, Georg Henrik von Wright, Georg Kreisel, Georg Wilhelm Friedrich Hegel, George Boole, George Boolos, Gerald Sacks, Gerhard Gentzen, Gilbert de la Porrée, Giorgi Japaridze, Giovanni Girolamo Saccheri, Giuseppe Peano, Gordon Clark, Gottfried Wilhelm Leibniz, Gottlob Frege, Graham Priest, Gregory Chaitin, Grigori Mints, Hao Wang (academic), Hartry Field, Harvey Friedman, Haskell Curry, Heiric of Auxerre, Helena Rasiowa, Henk Barendregt, Henry Pogorzelski, Hermann Lotze, Hilary Putnam, Howard Jerome Keisler, Hugh MacColl, Hui Shi, Ian Rumfitt, Ibn Taymiyyah, Isaac Malitz, Isaac Watts, Ivan Orlov (philosopher), J. Barkley Rosser, Jaakko Hintikka, Jack Copeland, Jacopo Zabarella, Jacques Herbrand, James Earl Baumgartner, Jan Łukasiewicz, Józef Maria Bocheński, Jean Buridan, Jean Nicod, Jean Paul Van Bendegem, Jean van Heijenoort, Jean-Yves Béziau, Jean-Yves Girard, Jeff Paris (mathematician), Jeroen Groenendijk, Jerzy Łoś, Jin Yuelin, Joachim Jungius, Joachim Lambek, Johan van Benthem (logician), Johann Heinrich Lambert, John Corcoran (logician), John Dumbleton, John Etchemendy, John Lane Bell, John Major (philosopher), John of St. Thomas, John Pagus, John R. Steel, John Stuart Mill, John Venn, John von Neumann, John Woods (logician), Jon Barwise, Joseph Diez Gergonne, Juan Luis Vives, Karel Lambert, Kazimierz Ajdukiewicz, Kazimierz Twardowski, Kenneth Kunen, Kit Fine, Kurt Gödel, Kurt Schütte, L. E. J. Brouwer, L. T. F. Gamut, Lennart Åqvist, Leo Harrington, Leon Chwistek, Leon Henkin, Leopold Kronecker, Leopold Löwenheim, Lewis Carroll, Logic, Lorenzo Peña, Lorenzo Valla, Lotfi A. Zadeh, Ludwig Wittgenstein, Marsilius of Inghen, Martin Davis, Martin Löb, Martin Stokhof, Matthew Foreman, Melvin Fitting, Michael Dummett, Michael Fourman, Michael O. Rabin, Mojżesz Presburger, Moses Schönfinkel, Moshe Vardi, Newton da Costa, Nicolai A. Vasiliev, Nicolas Bourbaki, Nuel Belnap, Nyāya Sūtras, Paolo da Pergola, Paul Benacerraf, Paul Bernays, Paul Cohen, Paul Lorenzen, Paul of Venice, Pavel Tichý, Penelope Maddy, Per Lindström, Per Martin-Löf, Peter Abelard, Peter B. Andrews, Peter Geach, Peter of Spain, Petr Hájek, Petrus Ramus, Philip Jourdain, Philo the Dialectician, Piergiorgio Odifreddi, Plato, Pope John XXI, Porphyry (philosopher), Pyotr Novikov, Raghunatha Siromani, Ralph Strode, Ramon Llull, Raphael M. Robinson, Raymond Smullyan, Rózsa Péter, Reuben Goodstein, Richard Brinkley, Richard Ferrybridge, Richard Jeffrey, Richard Kilvington, Richard Milton Martin, Richard Montague, Richard Rufus of Cornwall, Richard Swineshead, Richard Sylvan, Richard Whately, Robert Kilwardby, Robert Kowalski, Robert Lawson Vaught, Robert M. Solovay, Robert S. Hartman, Robin Gandy, Rodolphus Agricola, Roland Fraïssé, Rolf Schock, Ronald Jensen, Rudolf Carnap, Ruth Barcan Marcus, S. Barry Cooper, Saharon Shelah, Saul Kripke, Saunders Mac Lane, Sedulius Scottus, Sergei Adian, Siegfried Gottwald, Simplicius of Cilicia, Sol Garfunkel, Solomon Feferman, Solomon Passy, Stanisław Jaśkowski, Stanisław Leśniewski, Stephen Cole Kleene, Stewart Shapiro, Surname, Susan Haack, Tadeusz Czeżowski, Tadeusz Kotarbiński, Theodore Slaman, Theophrastus, Thomas Aquinas, Thomas Bradwardine, Thoralf Skolem, Transliteration, Udayana, Vladimir Andreyevich Uspensky, W. Hugh Woodin, Walter Burley, Walter Pitts, Wilhelm Ackermann, Willard Van Orman Quine, William Alvin Howard, William Craig (philosopher), William Ernest Johnson, William of Ockham, William of Sherwood, William of Soissons, William Stanley Jevons, Yehoshua Bar-Hillel, Yiannis N. Moschovakis, Yuri Matiyasevich. Expand index (231 more) »
Abraham Fraenkel
Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965), known as Abraham Fraenkel, was a German-born Israeli mathematician.
New!!: List of logicians and Abraham Fraenkel · See more »
Abraham Robinson
Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorporated into modern mathematics.
New!!: List of logicians and Abraham Robinson · See more »
Adolf Lindenbaum
Adolf Lindenbaum (12 June 1904 – 1941), was a Polish logician and mathematician.
New!!: List of logicians and Adolf Lindenbaum · See more »
Ahmed Raza Khan Barelvi
Ahmed Raza Khan (Arabic: أحمد رضا خان, Persian: احمد رضا خان, احمد رضا خان., अहमद रज़ा खान), commonly known as Ahmed Raza Khan Barelwi, Ahmed Rida Khan in Arabic, or simply as "Ala-Hazrat" (14 June 1856 CE or 10 Shawwal 1272 AH – 28 October 1921 CE or 25 Safar 1340 AH), was an Islamic scholar, jurist, theologian, ascetic, Sufi, and reformer in British India, and the founder of the Barelvi movement.
New!!: List of logicians and Ahmed Raza Khan Barelvi · See more »
Alan Bundy
Alan Richard Bundy, CBE, is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.
New!!: List of logicians and Alan Bundy · See more »
Alan Ross Anderson
Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh.
New!!: List of logicians and Alan Ross Anderson · See more »
Alan Turing
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
New!!: List of logicians and Alan Turing · See more »
Alasdair Urquhart
Alasdair Ian Fenton Urquhart (born 20 December 1945) is an emeritus Professor of Philosophy at the University of Toronto.
New!!: List of logicians and Alasdair Urquhart · See more »
Albert of Saxony (philosopher)
Albert of Saxony (Latin: Albertus de Saxonia; c. 1320 – 8 July 1390) was a German philosopher known for his contributions to logic and physics.
New!!: List of logicians and Albert of Saxony (philosopher) · See more »
Alcuin
Alcuin of York (Flaccus Albinus Alcuinus; 735 – 19 May 804 AD)—also called Ealhwine, Alhwin or Alchoin—was an English scholar, clergyman, poet and teacher from York, Northumbria.
New!!: List of logicians and Alcuin · See more »
Alexander Bain
Alexander Bain (11 June 1818 – 18 September 1903) was a Scottish philosopher and educationalist in the British school of empiricism and a prominent and innovative figure in the fields of psychology, linguistics, logic, moral philosophy and education reform.
New!!: List of logicians and Alexander Bain · See more »
Alexander Esenin-Volpin
Alexander Sergeyevich Esenin-Volpin (also written Ésénine-Volpine and Yessenin-Volpin in his French and English publications; a; May 12, 1924March 16, 2016) was a prominent Russian-American poet and mathematician.
New!!: List of logicians and Alexander Esenin-Volpin · See more »
Alexander S. Kechris
Alexander Sotirios Kechris (Αλέξανδρος Σωτήριος Κεχρής; born March 23, 1946) is a set theorist and logician at California Institute of Technology.
New!!: List of logicians and Alexander S. Kechris · See more »
Alexander Zinoviev
Aleksandr Aleksandrovich Zinovyev (October 29, 1922 – May 10, 2006) was a Russian logician and writer of social critique.
New!!: List of logicians and Alexander Zinoviev · See more »
Alfred Horn
Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra.
New!!: List of logicians and Alfred Horn · See more »
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
New!!: List of logicians and Alfred North Whitehead · See more »
Alfred Tarski
Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.
New!!: List of logicians and Alfred Tarski · See more »
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: List of logicians and Alonzo Church · See more »
Alphabet
An alphabet is a standard set of letters (basic written symbols or graphemes) that is used to write one or more languages based upon the general principle that the letters represent phonemes (basic significant sounds) of the spoken language.
New!!: List of logicians and Alphabet · See more »
Andrea Bonomì
Andrea Bonomi (Rome, 1940-) is an Italian philosopher and logician.
New!!: List of logicians and Andrea Bonomì · See more »
Andrzej Mostowski
Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician.
New!!: List of logicians and Andrzej Mostowski · See more »
Anne Sjerp Troelstra
Anne Sjerp Troelstra (born 10 August 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
New!!: List of logicians and Anne Sjerp Troelstra · See more »
Arend Heyting
__notoc__ Arend Heyting (9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
New!!: List of logicians and Arend Heyting · See more »
Aristotle
Aristotle (Ἀριστοτέλης Aristotélēs,; 384–322 BC) was an ancient Greek philosopher and scientist born in the city of Stagira, Chalkidiki, in the north of Classical Greece.
New!!: List of logicians and Aristotle · See more »
Arthur Prior
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a noted logician and philosopher.
New!!: List of logicians and Arthur Prior · See more »
Augustus De Morgan
Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician.
New!!: List of logicians and Augustus De Morgan · See more »
Bahmanyār
Abul-Ḥasan Bahmanyār ibn Marzubān Salari 'Ajamī Aḍarbāyijānī,Encyclopedia Iranica, "Bahmanyar Kia", H. Daiber excerpt: "Originally a Zoroastrian converted to Islam," known as Bahmanyār (died 1067) lived during the Sallarid Dynasty and was a famous pupil of Avicenna.
New!!: List of logicians and Bahmanyār · See more »
Bernard Bolzano
Bernard Bolzano (born Bernardus Placidus Johann Nepomuk Bolzano; 5 October 1781 – 18 December 1848) was a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction, also known for his antimilitarist views.
New!!: List of logicians and Bernard Bolzano · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: List of logicians and Bertrand Russell · See more »
Bjarni Jónsson
Bjarni Jónsson (February 15, 1920 – September 30, 2016) was an Icelandic mathematician and logician working in universal algebra, lattice theory, model theory and set theory.
New!!: List of logicians and Bjarni Jónsson · See more »
Bob Meyer (logician)
Robert Kenneth Meyer (27 May 1932 – 6 May 2009) was a logician and Professor Emeritus at the Australian National University.
New!!: List of logicians and Bob Meyer (logician) · See more »
Boethius
Anicius Manlius Severinus Boëthius, commonly called Boethius (also Boetius; 477–524 AD), was a Roman senator, consul, magister officiorum, and philosopher of the early 6th century.
New!!: List of logicians and Boethius · See more »
Carew Arthur Meredith
Carew Arthur Meredith (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947.
New!!: List of logicians and Carew Arthur Meredith · See more »
Carveth Read
Carveth Read (1848–1931) was a 19th and 20th century British philosopher and logician.
New!!: List of logicians and Carveth Read · See more »
Categoriae decem
The Categoriae decem, also known as the Ten Categories and as the Paraphrasis Themistiana, was a Latin summary of the Categories of Aristotle.
New!!: List of logicians and Categoriae decem · See more »
Chaïm Perelman
Chaïm Perelman (20 May 1912, Warsaw – 22 January 1984, Brussels) was a Polish-born philosopher of law, who studied, taught, and lived most of his life in Brussels.
New!!: List of logicians and Chaïm Perelman · See more »
Chanakya
Chanakya (IAST:,; fl. c. 4th century BCE) was an Indian teacher, philosopher, economist, jurist and royal advisor.
New!!: List of logicians and Chanakya · See more »
Charles Parsons (philosopher)
Charles Dacre Parsons (born April 13, 1933) is an American philosopher best known for his work in the philosophy of mathematics and the study of the philosophy of Immanuel Kant.
New!!: List of logicians and Charles Parsons (philosopher) · See more »
Charles Sanders Peirce
Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".
New!!: List of logicians and Charles Sanders Peirce · See more »
Christian Wolff (philosopher)
Christian Wolff (less correctly Wolf,; also known as Wolfius; ennobled as Christian Freiherr von Wolff; 24 January 1679 – 9 April 1754) was a German philosopher.
New!!: List of logicians and Christian Wolff (philosopher) · See more »
Christine Ladd-Franklin
Christine Ladd-Franklin (December 1, 1847 – March 5, 1930) was an American psychologist, logician, and mathematician.
New!!: List of logicians and Christine Ladd-Franklin · See more »
Chrysippus
Chrysippus of Soli (Χρύσιππος ὁ Σολεύς, Chrysippos ho Soleus) was a Greek Stoic philosopher.
New!!: List of logicians and Chrysippus · See more »
Clarence Irving Lewis
Clarence Irving Lewis (April 12, 1883 – February 3, 1964), usually cited as C. I. Lewis, was an American academic philosopher and the founder of conceptual pragmatism.
New!!: List of logicians and Clarence Irving Lewis · See more »
Conimbricenses
The Conimbricenses were the Jesuits of the University of Coimbra in Coimbra, Portugal.
New!!: List of logicians and Conimbricenses · See more »
Constantin Rădulescu-Motru
Constantin Rădulescu-Motru (born Constantin Rădulescu, he added the surname Motru in 1892; February 15, 1868 – March 6, 1957) was a Romanian philosopher, psychologist, sociologist, logician, academic, dramatist, as well as centre-left nationalist politician with a noted anti-fascist discourse.
New!!: List of logicians and Constantin Rădulescu-Motru · See more »
Dag Prawitz
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician.
New!!: List of logicians and Dag Prawitz · See more »
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.
New!!: List of logicians and Dana Scott · See more »
David Hilbert
David Hilbert (23 January 1862 – 14 February 1943) was a German mathematician.
New!!: List of logicians and David Hilbert · See more »
David Kaplan (philosopher)
David Benjamin Kaplan (born September 17, 1933) is the Hans Reichenbach Professor of Scientific Philosophy at the University of California, Los Angeles Department of Philosophy.
New!!: List of logicians and David Kaplan (philosopher) · See more »
David Lewis (philosopher)
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was an American philosopher.
New!!: List of logicians and David Lewis (philosopher) · See more »
David Makinson
David Clement Makinson, D.Phil, (born 27 August 1941), is an Australian mathematical logician living in London, England.
New!!: List of logicians and David Makinson · See more »
Dharmakirti
Dharmakīrti (fl. c. 6th or 7th century) was an influential Indian Buddhist philosopher who worked at Nālandā.
New!!: List of logicians and Dharmakirti · See more »
Dick de Jongh
Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam.
New!!: List of logicians and Dick de Jongh · See more »
Dignāga
Dignāga (a.k.a. Diṅnāga, c. 480 – c. 540 CE) was an Indian Buddhist scholar and one of the Buddhist founders of Indian logic (hetu vidyā).
New!!: List of logicians and Dignāga · See more »
Dimiter Skordev
Dimiter Skordev (Димитър Скордев) (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia.
New!!: List of logicians and Dimiter Skordev · See more »
Diodorus Cronus
Diodorus Cronus (Διόδωρος Κρόνος; died c. 284 BCE) was a Greek philosopher and dialectician connected to the Megarian school.
New!!: List of logicians and Diodorus Cronus · See more »
Dirk van Dalen
Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science.
New!!: List of logicians and Dirk van Dalen · See more »
Donald A. Martin
Donald A. Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is a member of the faculty of mathematics and philosophy.
New!!: List of logicians and Donald A. Martin · See more »
Dov Gabbay
Dov M. Gabbay (born October 23, 1945) is a British logician.
New!!: List of logicians and Dov Gabbay · See more »
Dugald Macpherson
H.
New!!: List of logicians and Dugald Macpherson · See more »
Duns Scotus
John Duns, commonly called Duns Scotus (1266 – 8 November 1308), is generally considered to be one of the three most important philosopher-theologians of the High Middle Ages (together with Thomas Aquinas and William of Ockham).
New!!: List of logicians and Duns Scotus · See more »
Edward Nelson
Edward Nelson (May 4, 1932 – September 10, 2014) was a professor in the Mathematics Department at Princeton University.
New!!: List of logicians and Edward Nelson · See more »
Ehud Hrushovski
Ehud Hrushovski (אהוד הרושובסקי; born 1959) is a mathematical logician.
New!!: List of logicians and Ehud Hrushovski · See more »
Emil Leon Post
Emil Leon Post (February 11, 1897 – April 21, 1954) was an American mathematician and logician.
New!!: List of logicians and Emil Leon Post · See more »
English language
English is a West Germanic language that was first spoken in early medieval England and is now a global lingua franca.
New!!: List of logicians and English language · See more »
Ernst Schröder
Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.
New!!: List of logicians and Ernst Schröder · See more »
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (27 July 1871 – 21 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics.
New!!: List of logicians and Ernst Zermelo · See more »
Evert Willem Beth
Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
New!!: List of logicians and Evert Willem Beth · See more »
Franco Burgersdijk
Franco Petri Burgersdijk or Franciscus Burgersdicius, born Franck Pieterszoon Burgersdijk (3 May 1590 – 19 February 1635), was a Dutch logician.
New!!: List of logicians and Franco Burgersdijk · See more »
Frank P. Ramsey
Frank Plumpton Ramsey (22 February 1903 – 19 January 1930) was a British philosopher, mathematician and economist who made fundamental contributions to abstract algebra before his death at the age of 26.
New!!: List of logicians and Frank P. Ramsey · See more »
Frederick Rowbottom
Frederick Rowbottom (16 January 1938 – 12 October 2009) was a British logician and mathematician.
New!!: List of logicians and Frederick Rowbottom · See more »
Friedrich Adolf Trendelenburg
Friedrich Adolf Trendelenburg (30 November 1802 – 24 January 1872) was a German philosopher and philologist.
New!!: List of logicians and Friedrich Adolf Trendelenburg · See more »
Fyodor Shcherbatskoy
Fyodor Ippolitovich Shcherbatskoy or Stcherbatsky (Фёдор Ипполи́тович Щербатско́й) (30 August 1866 – 18 March 1942), often referred to in the literature as F. Th.
New!!: List of logicians and Fyodor Shcherbatskoy · See more »
Gaisi Takeuti
was a Japanese mathematician, known for his work in proof theory.
New!!: List of logicians and Gaisi Takeuti · See more »
Garlandus Compotista
Garlandus Compotista, also known as Garland the Computist, was an early medieval logician of the eleventh-century school of Liège.
New!!: List of logicians and Garlandus Compotista · See more »
Gary R. Mar
Gary R. Mar is an American philosopher specializing in Logic, the Philosophy of Mathematics, contemporary analytic philosophy, Asian American Philosophy and the Philosophy of Religion.
New!!: List of logicians and Gary R. Mar · See more »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (– January 6, 1918) was a German mathematician.
New!!: List of logicians and Georg Cantor · See more »
Georg Henrik von Wright
Georg Henrik von Wright (14 June 1916 – 16 June 2003) was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge.
New!!: List of logicians and Georg Henrik von Wright · See more »
Georg Kreisel
Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in Great Britain and America.
New!!: List of logicians and Georg Kreisel · See more »
Georg Wilhelm Friedrich Hegel
Georg Wilhelm Friedrich Hegel (August 27, 1770 – November 14, 1831) was a German philosopher and the most important figure of German idealism.
New!!: List of logicians and Georg Wilhelm Friedrich Hegel · See more »
George Boole
George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.
New!!: List of logicians and George Boole · See more »
George Boolos
George Stephen Boolos (September 4, 1940 – May 27, 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
New!!: List of logicians and George Boolos · See more »
Gerald Sacks
Gerald Enoch Sacks (born 1933, Brooklyn) is a logician who holds a joint appointment at Harvard University as a professor of mathematical logic and the Massachusetts Institute of Technology as a professor emeritus.
New!!: List of logicians and Gerald Sacks · See more »
Gerhard Gentzen
Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician.
New!!: List of logicians and Gerhard Gentzen · See more »
Gilbert de la Porrée
Gilbert de la Porrée (after 1085 – 4 September 1154), also known as Gilbert of Poitiers, Gilbertus Porretanus or Pictaviensis, was a scholastic logician and theologian.
New!!: List of logicians and Gilbert de la Porrée · See more »
Giorgi Japaridze
Giorgi Japaridze (also spelled Giorgie Dzhaparidze) is a Georgian-American researcher in logic and theoretical computer science.
New!!: List of logicians and Giorgi Japaridze · See more »
Giovanni Girolamo Saccheri
Giovanni Girolamo Saccheri (5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician.
New!!: List of logicians and Giovanni Girolamo Saccheri · See more »
Giuseppe Peano
Giuseppe Peano (27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist.
New!!: List of logicians and Giuseppe Peano · See more »
Gordon Clark
Gordon Haddon Clark (August 31, 1902 – April 9, 1985) was an American philosopher and Calvinist theologian.
New!!: List of logicians and Gordon Clark · See more »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm (von) Leibniz (or; Leibnitz; – 14 November 1716) was a German polymath and philosopher who occupies a prominent place in the history of mathematics and the history of philosophy.
New!!: List of logicians and Gottfried Wilhelm Leibniz · See more »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
New!!: List of logicians and Gottlob Frege · See more »
Graham Priest
Graham Priest (born 1948) is Distinguished Professor of Philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne where he was Boyce Gibson Professor of Philosophy and also at the University of St Andrews.
New!!: List of logicians and Graham Priest · See more »
Gregory Chaitin
Gregory John Chaitin (born 15 November 1947) is an Argentine-American mathematician and computer scientist.
New!!: List of logicians and Gregory Chaitin · See more »
Grigori Mints
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic.
New!!: List of logicians and Grigori Mints · See more »
Hao Wang (academic)
Hao Wang (20 May 1921 – 13 May 1995) was a logician, philosopher, mathematician, and commentator on Kurt Gödel.
New!!: List of logicians and Hao Wang (academic) · See more »
Hartry Field
Hartry H. Field (born November 30, 1946) is an American philosopher.
New!!: List of logicians and Hartry Field · See more »
Harvey Friedman
__notoc__ Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic,, p. 38 is a mathematical logician at Ohio State University in Columbus, Ohio.
New!!: List of logicians and Harvey Friedman · See more »
Haskell Curry
Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician.
New!!: List of logicians and Haskell Curry · See more »
Heiric of Auxerre
Heiric of Auxerre (841–876) was a French Benedictine theologian and writer.
New!!: List of logicians and Heiric of Auxerre · See more »
Helena Rasiowa
Helena Rasiowa (20 June 1917 – 9 August 1994) was a Polish mathematician.
New!!: List of logicians and Helena Rasiowa · See more »
Henk Barendregt
Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.
New!!: List of logicians and Henk Barendregt · See more »
Henry Pogorzelski
Henry Andrew Pogorzelski (September 26, 1922 - December 30, 2015) was an American mathematician of Polish descent,.
New!!: List of logicians and Henry Pogorzelski · See more »
Hermann Lotze
Rudolf Hermann Lotze (21 May 1817 – 1 July 1881) was a German philosopher and logician.
New!!: List of logicians and Hermann Lotze · See more »
Hilary Putnam
Hilary Whitehall Putnam (July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century.
New!!: List of logicians and Hilary Putnam · See more »
Howard Jerome Keisler
Howard Jerome Keisler (born 3 December 1936) is an American mathematician, currently professor emeritus at University of Wisconsin–Madison.
New!!: List of logicians and Howard Jerome Keisler · See more »
Hugh MacColl
Hugh MacColl (1831–1909) was a Scottish mathematician, logician and novelist.
New!!: List of logicians and Hugh MacColl · See more »
Hui Shi
Hui Shi (370–310 BCE), or Huizi ("Master Hui"), was a Chinese philosopher during the Warring States period.
New!!: List of logicians and Hui Shi · See more »
Ian Rumfitt
Ian Rumfitt is a British philosopher currently serving as a senior research fellow of All Souls College, Oxford.
New!!: List of logicians and Ian Rumfitt · See more »
Ibn Taymiyyah
Taqī ad-Dīn Ahmad ibn Taymiyyah (Arabic: تقي الدين أحمد ابن تيمية, January 22, 1263 - September 26, 1328), known as Ibn Taymiyyah for short, was a controversial medieval Sunni Muslim theologian, jurisconsult, logician, and reformer.
New!!: List of logicians and Ibn Taymiyyah · See more »
Isaac Malitz
Isaac Richard Jay Malitz (born 1947, Cleveland, Ohio) is a logician who introduced the subject of positive set theory in his 1976 Ph.D. Thesis at UCLA.
New!!: List of logicians and Isaac Malitz · See more »
Isaac Watts
Isaac Watts (17 July 1674 – 25 November 1748) was an English Christian minister (Congregational), hymn writer, theologian, and logician.
New!!: List of logicians and Isaac Watts · See more »
Ivan Orlov (philosopher)
Orlov, Ivan Efimovich (October 1 (old style) 1886 Galich, Kostroma district Russia – 1936) was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist.
New!!: List of logicians and Ivan Orlov (philosopher) · See more »
J. Barkley Rosser
John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus.
New!!: List of logicians and J. Barkley Rosser · See more »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician.
New!!: List of logicians and Jaakko Hintikka · See more »
Jack Copeland
Brian Jack Copeland (born 1950) is Professor of Philosophy at the University of Canterbury, Christchurch, New Zealand, and author of books on the computing pioneer Alan Turing.
New!!: List of logicians and Jack Copeland · See more »
Jacopo Zabarella
Giacomo (or Jacopo) Zabarella (5 September 1533 – 15 October 1589) was an Italian Aristotelian philosopher and logician.
New!!: List of logicians and Jacopo Zabarella · See more »
Jacques Herbrand
Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician.
New!!: List of logicians and Jacques Herbrand · See more »
James Earl Baumgartner
James Earl Baumgartner (March 23, 1943 – December 28, 2011) was an American mathematician who worked in set theory, mathematical logic and foundations, and topology.
New!!: List of logicians and James Earl Baumgartner · See more »
Jan Łukasiewicz
Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, a city in the Galician kingdom of Austria-Hungary.
New!!: List of logicians and Jan Łukasiewicz · See more »
Józef Maria Bocheński
Józef Maria Bocheński (Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher.
New!!: List of logicians and Józef Maria Bocheński · See more »
Jean Buridan
Jean Buridan (Latin: Johannes Buridanus; –) was an influential 14th century French philosopher.
New!!: List of logicians and Jean Buridan · See more »
Jean Nicod
Jean George Pierre Nicod (1893, France – 16 February 1924, Geneva, Switzerland) was a French philosopher, mathematician and logician.
New!!: List of logicians and Jean Nicod · See more »
Jean Paul Van Bendegem
Jean Paul Van Bendegem (born 28 March 1953 in Ghent) is a mathematician, a philosopher of science, and a prominent professor at the Vrije Universiteit Brussel in Brussels.
New!!: List of logicians and Jean Paul Van Bendegem · See more »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort (July 23, 1912 – March 29, 1986) was a pioneer historian of mathematical logic.
New!!: List of logicians and Jean van Heijenoort · See more »
Jean-Yves Béziau
Jean-Yves Beziau (lang; born January 15, 1965 in Orléans, France) is a professor and researcher of the Brazilian Research Council — CNPq — at the University of Brazil in Rio de Janeiro.
New!!: List of logicians and Jean-Yves Béziau · See more »
Jean-Yves Girard
Jean-Yves Girard (born 1947) is a French logician working in proof theory.
New!!: List of logicians and Jean-Yves Girard · See more »
Jeff Paris (mathematician)
Jeffrey Bruce "Jeff" Paris, FBA (born 15 November 1944) is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.
New!!: List of logicians and Jeff Paris (mathematician) · See more »
Jeroen Groenendijk
Jeroen Antonius Gerardus Groenendijk (born 20 July 1949, Amsterdam), is a Dutch logician, linguist and philosopher, working on philosophy of language, formal semantics, pragmatics.
New!!: List of logicians and Jeroen Groenendijk · See more »
Jerzy Łoś
Jerzy Łoś (born March 22, 1920 in Lwów, Poland (now Lviv, Ukraine) – June 1, 1998 in Warsaw) was a Polish mathematician, logician, economist, and philosopher.
New!!: List of logicians and Jerzy Łoś · See more »
Jin Yuelin
Jin Yuelin (1895–1984) was a Chinese philosopher best known for three works, one each on logic, metaphysics, and epistemology.
New!!: List of logicians and Jin Yuelin · See more »
Joachim Jungius
Joachim Jungius (22 October 1587 – 23 September 1657) was a German mathematician, logician and philosopher of sciences.
New!!: List of logicians and Joachim Jungius · See more »
Joachim Lambek
Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his Ph.D. degree in 1950 with Hans Zassenhaus as advisor.
New!!: List of logicians and Joachim Lambek · See more »
Johan van Benthem (logician)
Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI).
New!!: List of logicians and Johan van Benthem (logician) · See more »
Johann Heinrich Lambert
Johann Heinrich Lambert (Jean-Henri Lambert in French; 26 August 1728 – 25 September 1777) was a Swiss polymath who made important contributions to the subjects of mathematics, physics (particularly optics), philosophy, astronomy and map projections.
New!!: List of logicians and Johann Heinrich Lambert · See more »
John Corcoran (logician)
John Corcoran (born 1937) is an American logician, philosopher, mathematician, and historian of logic.
New!!: List of logicians and John Corcoran (logician) · See more »
John Dumbleton
John of Dumbleton (Latin Ioannes De Dumbleton; c. 1310 – c. 1349) was a member of the Dumbleton village community in Gloucestershire, a southwestern county in England.
New!!: List of logicians and John Dumbleton · See more »
John Etchemendy
John W. Etchemendy (born 1952 in Reno, Nevada) was Stanford University's twelfth Provost.
New!!: List of logicians and John Etchemendy · See more »
John Lane Bell
John Lane Bell (born March 25, 1945) is Professor of Philosophy at the University of Western Ontario in Canada.
New!!: List of logicians and John Lane Bell · See more »
John Major (philosopher)
John Major (or Mair) (also known in Latin as Joannes Majoris and Haddingtonus Scotus) (1467–1550) was a Scottish philosopher, theologian, and historian who was much admired in his day and was an acknowledged influence on all the great thinkers of the time.
New!!: List of logicians and John Major (philosopher) · See more »
John of St. Thomas
John of St.
New!!: List of logicians and John of St. Thomas · See more »
John Pagus
John Pagus (fl. first half of the 13th century) was a scholastic philosopher at the University of Paris, generally considered the first logician writing at the Arts faculty at Paris.
New!!: List of logicians and John Pagus · See more »
John R. Steel
John Robert Steel (born October 30, 1948) is an American set theorist at University of California, Berkeley (formerly at UCLA).
New!!: List of logicians and John R. Steel · See more »
John Stuart Mill
John Stuart Mill, also known as J.S. Mill, (20 May 1806 – 8 May 1873) was a British philosopher, political economist, and civil servant.
New!!: List of logicians and John Stuart Mill · See more »
John Venn
John Venn, FRS, FSA, (4 August 1834 – 4 April 1923) was an English logician and philosopher noted for introducing the Venn diagram, used in the fields of set theory, probability, logic, statistics, and computer science.
New!!: List of logicians and John Venn · See more »
John von Neumann
John von Neumann (Neumann János Lajos,; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, and polymath.
New!!: List of logicians and John von Neumann · See more »
John Woods (logician)
John Hayden Woods (born 1937) is a Canadian logician and philosopher.
New!!: List of logicians and John Woods (logician) · See more »
Jon Barwise
Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
New!!: List of logicians and Jon Barwise · See more »
Joseph Diez Gergonne
Joseph Diez Gergonne (19 June 1771 at Nancy, France – 4 May 1859 at Montpellier, France) was a French mathematician and logician.
New!!: List of logicians and Joseph Diez Gergonne · See more »
Juan Luis Vives
Juan Luis Vives (Ioannes Lodovicus Vives; Joan Lluís Vives i March; Jan Ludovicus Vives; 6 March 6 May 1540) was a Spanish (Valencian) scholar and Renaissance humanist who spent most of his adult life in the Southern Netherlands.
New!!: List of logicians and Juan Luis Vives · See more »
Karel Lambert
Karel Lambert (born 1928) is a philosopher and logician at the University of California, Irvine and the University of Salzburg.
New!!: List of logicians and Karel Lambert · See more »
Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz (12 December 1890 – 12 April 1963) was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic.
New!!: List of logicians and Kazimierz Ajdukiewicz · See more »
Kazimierz Twardowski
Kazimierz Jerzy Skrzypna-Twardowski (20 October 1866 – 11 February 1938) was a Polish philosopher, logician, and rector of the Lviv University.
New!!: List of logicians and Kazimierz Twardowski · See more »
Kenneth Kunen
Herbert Kenneth Kunen (born August 2, 1943) is an emeritus professor of mathematics at the University of Wisconsin–Madison who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory.
New!!: List of logicians and Kenneth Kunen · See more »
Kit Fine
Kit Fine (born 26 March 1946) is a British philosopher, currently University Professor and Silver Professor of Philosophy and Mathematics at New York University.
New!!: List of logicians and Kit Fine · See more »
Kurt Gödel
Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.
New!!: List of logicians and Kurt Gödel · See more »
Kurt Schütte
Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis.
New!!: List of logicians and Kurt Schütte · See more »
L. E. J. Brouwer
Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis.
New!!: List of logicians and L. E. J. Brouwer · See more »
L. T. F. Gamut
L.
New!!: List of logicians and L. T. F. Gamut · See more »
Lennart Åqvist
Lennart Åqvist (born 1932 in SwedenGerhard Schurz and Georg J. W. Dorn (Editors), Amsterdam, Rodopi, 1991,; p. 631) is a Swedish logician.
New!!: List of logicians and Lennart Åqvist · See more »
Leo Harrington
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.
New!!: List of logicians and Leo Harrington · See more »
Leon Chwistek
Leon Chwistek (Kraków, Austria-Hungary, 13 June 1884 – 20 August 1944, Barvikha near Moscow, Russia) was a Polish avant-garde painter, theoretician of modern art, literary critic, logician, philosopher and mathematician.
New!!: List of logicians and Leon Chwistek · See more »
Leon Henkin
Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California), Oroville Mercury-Register, November 24, 2006.
New!!: List of logicians and Leon Henkin · See more »
Leopold Kronecker
Leopold Kronecker (7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, algebra and logic.
New!!: List of logicians and Leopold Kronecker · See more »
Leopold Löwenheim
Leopold Löwenheim (26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician, known for his work in mathematical logic.
New!!: List of logicians and Leopold Löwenheim · See more »
Lewis Carroll
Charles Lutwidge Dodgson (27 January 1832 – 14 January 1898), better known by his pen name Lewis Carroll, was an English writer, mathematician, logician, Anglican deacon, and photographer.
New!!: List of logicians and Lewis Carroll · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: List of logicians and Logic · See more »
Lorenzo Peña
Lorenzo Peña (born August 29, 1944) is a Spanish philosopher, lawyer, logician and political thinker.
New!!: List of logicians and Lorenzo Peña · See more »
Lorenzo Valla
Lorenzo (or Laurentius) Valla (14071 August 1457) was an Italian humanist, rhetorician, educator and Catholic priest.
New!!: List of logicians and Lorenzo Valla · See more »
Lotfi A. Zadeh
Lotfi Aliasker Zadeh (Lütfəli Rəhim oğlu Ələsgərzadə; لطفی علیعسگرزاده; February 4, 1921 – September 6, 2017) was a mathematician, computer scientist, electrical engineer, artificial intelligence researcher and professor emeritus of computer science at the University of California, Berkeley.
New!!: List of logicians and Lotfi A. Zadeh · See more »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
New!!: List of logicians and Ludwig Wittgenstein · See more »
Marsilius of Inghen
Marsilius of Inghen (c. 1340 – August 20, 1396) was a medieval Dutch Scholastic philosopher who studied with Albert of Saxony and Nicole Oresme under Jean Buridan.
New!!: List of logicians and Marsilius of Inghen · See more »
Martin Davis
Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem.
New!!: List of logicians and Martin Davis · See more »
Martin Löb
Martin Hugo Löb (31 March 1921 – 21 August 2006) was a German mathematician.
New!!: List of logicians and Martin Löb · See more »
Martin Stokhof
Martin Stokhof (born 1950, Amsterdam) is a Dutch logician and philosopher.
New!!: List of logicians and Martin Stokhof · See more »
Matthew Foreman
Matthew Dean Foreman is an American mathematician at University of California, Irvine.
New!!: List of logicians and Matthew Foreman · See more »
Melvin Fitting
Melvin "Mel" Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems.
New!!: List of logicians and Melvin Fitting · See more »
Michael Dummett
Sir Michael Anthony Eardley Dummett, FBA (27 June 192527 December 2011) was an English philosopher, described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford.
New!!: List of logicians and Michael Dummett · See more »
Michael Fourman
Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.
New!!: List of logicians and Michael Fourman · See more »
Michael O. Rabin
Michael Oser Rabin (מִיכָאֵל עוזר רַבִּין, born September 1, 1931) is an Israeli computer scientist and a recipient of the Turing Award.
New!!: List of logicians and Michael O. Rabin · See more »
Mojżesz Presburger
Mojżesz Presburger (1904–1943?) was a Polish Jewish mathematician, logician, and philosopher.
New!!: List of logicians and Mojżesz Presburger · See more »
Moses Schönfinkel
Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Моисей Исаевич Шейнфинкель; 4 September 1889 – 1942), was a Russian logician and mathematician, known for the invention of combinatory logic.
New!!: List of logicians and Moses Schönfinkel · See more »
Moshe Vardi
Moshe Ya'akov Vardi (משה יעקב ורדי) is an Israeli mathematician and computer scientist.
New!!: List of logicians and Moshe Vardi · See more »
Newton da Costa
Newton Carneiro Affonso da Costa (born 16 September 1929 in Curitiba, Brazil) is a Brazilian mathematician, logician, and philosopher.
New!!: List of logicians and Newton da Costa · See more »
Nicolai A. Vasiliev
Nicolai Alexandrovich Vasiliev (Николай Александрович Васильев), also Vasil'ev, Vassilieff, Wassilieff (– December 31, 1940), was a Russian logician, philosopher, psychologist, poet.
New!!: List of logicians and Nicolai A. Vasiliev · See more »
Nicolas Bourbaki
Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935.
New!!: List of logicians and Nicolas Bourbaki · See more »
Nuel Belnap
Nuel D. Belnap Jr. (born 1930) is an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory.
New!!: List of logicians and Nuel Belnap · See more »
Nyāya Sūtras
The Nyāya Sūtras is an ancient Indian Sanskrit text composed by, and the foundational text of the Nyaya school of Hindu philosophy.
New!!: List of logicians and Nyāya Sūtras · See more »
Paolo da Pergola
Paolo da Pergola (died 1455, in Venice) was an Italian humanist philosopher, mathematician and Occamist logician.
New!!: List of logicians and Paolo da Pergola · See more »
Paul Benacerraf
Paul Joseph Salomon Paul Benacerraf (born 1931) is a French-born American philosopher working in the field of the philosophy of mathematics who has been teaching at Princeton University since he joined the faculty in 1960.
New!!: List of logicians and Paul Benacerraf · See more »
Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics.
New!!: List of logicians and Paul Bernays · See more »
Paul Cohen
Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician.
New!!: List of logicians and Paul Cohen · See more »
Paul Lorenzen
Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz).
New!!: List of logicians and Paul Lorenzen · See more »
Paul of Venice
Paul of Venice (or Paulus Venetus; 1369–1429) was a Roman Catholic scholastic philosopher, theologian, and realist logician and metaphysician of the Hermits of the Order of Saint Augustine.
New!!: List of logicians and Paul of Venice · See more »
Pavel Tichý
Pavel Tichý (18 February 1936 Brno, Czechoslovakia – 26 October 1994 Dunedin, New Zealand) was a Czech logician, philosopher and mathematician.
New!!: List of logicians and Pavel Tichý · See more »
Penelope Maddy
Penelope Maddy (born 4 July 1950 in Tulsa, Oklahoma) is a UCI Distinguished Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine.
New!!: List of logicians and Penelope Maddy · See more »
Per Lindström
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg)ASL, September 2009 was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.
New!!: List of logicians and Per Lindström · See more »
Per Martin-Löf
Per Erik Rutger Martin-Löf (born May 8, 1942) is a Swedish logician, philosopher, and mathematical statistician.
New!!: List of logicians and Per Martin-Löf · See more »
Peter Abelard
Peter Abelard (Petrus Abaelardus or Abailardus; Pierre Abélard,; 1079 – 21 April 1142) was a medieval French scholastic philosopher, theologian, and preeminent logician.
New!!: List of logicians and Peter Abelard · See more »
Peter B. Andrews
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0.
New!!: List of logicians and Peter B. Andrews · See more »
Peter Geach
Peter Thomas Geach, FBA (29 March 1916 – 21 December 2013) was a British philosopher and professor of logic at the University of Leeds.
New!!: List of logicians and Peter Geach · See more »
Peter of Spain
Peter of Spain (Petrus Hispanus; Portuguese and Pedro Hispano; century) was the author of the Tractatus, later known as the Summulae Logicales, an important medieval university textbook on Aristotelian logic.
New!!: List of logicians and Peter of Spain · See more »
Petr Hájek
Petr Hájek (6 February 1940 – 26 December 2016) was a Czech scientist in the area of mathematical logic and a professor of mathematics.
New!!: List of logicians and Petr Hájek · See more »
Petrus Ramus
Petrus Ramus (Pierre de la Ramée; Anglicized to Peter Ramus; 1515 – 26 August 1572) was an influential French humanist, logician, and educational reformer.
New!!: List of logicians and Petrus Ramus · See more »
Philip Jourdain
Philip Edward Bertrand Jourdain (16 October 1879 – 1 October 1919) was a British logician and follower of Bertrand Russell.
New!!: List of logicians and Philip Jourdain · See more »
Philo the Dialectician
Philo the Dialectician (Φίλων; fl. 300 BC) was a dialectic philosopher of the Megarian school.
New!!: List of logicians and Philo the Dialectician · See more »
Piergiorgio Odifreddi
Piergiorgio Odifreddi (born 13 July 1950 in Cuneo) is an Italian mathematician, logician and aficionado of the history of science, who is also extremely active as a popular science writer and essayist, especially in a perspective of philosophical atheism as a member of the Italian Union of Rationalist Atheists and Agnostics.
New!!: List of logicians and Piergiorgio Odifreddi · See more »
Plato
Plato (Πλάτων Plátōn, in Classical Attic; 428/427 or 424/423 – 348/347 BC) was a philosopher in Classical Greece and the founder of the Academy in Athens, the first institution of higher learning in the Western world.
New!!: List of logicians and Plato · See more »
Pope John XXI
Pope John XXI (Ioannes XXI; – 20 May 1277), born Peter Juliani (Petrus Iulianus; Pedro Julião), was Pope from 8 September 1276 to his death in 1277.
New!!: List of logicians and Pope John XXI · See more »
Porphyry (philosopher)
Porphyry of Tyre (Πορφύριος, Porphýrios; فرفوريوس, Furfūriyūs; c. 234 – c. 305 AD) was a Neoplatonic philosopher who was born in Tyre, in the Roman Empire.
New!!: List of logicians and Porphyry (philosopher) · See more »
Pyotr Novikov
Pyotr Sergeyevich Novikov (Пётр Серге́евич Но́виков; 15 August 1901, Moscow, Russian Empire – 9 January 1975, Moscow, Soviet Union) was a Soviet mathematician.
New!!: List of logicians and Pyotr Novikov · See more »
Raghunatha Siromani
Raghunatha Shiromani (রঘুনাথ শিরোমণি, IAST: Raghunātha Śiromaṇi) (c. 1477–1547) was an Indian philosopher and logician.
New!!: List of logicians and Raghunatha Siromani · See more »
Ralph Strode
Ralph Strode (fl. 1350 – 1400), English schoolman, was probably a native of the West Midlands.
New!!: List of logicians and Ralph Strode · See more »
Ramon Llull
Ramon Llull, T.O.S.F. (c. 1232 – c. 1315; Anglicised Raymond Lully, Raymond Lull; in Latin Raimundus or Raymundus Lullus or Lullius) was a philosopher, logician, Franciscan tertiary and Spanish writer.
New!!: List of logicians and Ramon Llull · See more »
Raphael M. Robinson
Raphael Mitchel Robinson (November 2, 1911 – January 27, 1995) was an American mathematician.
New!!: List of logicians and Raphael M. Robinson · See more »
Raymond Smullyan
Raymond Merrill Smullyan (May 25, 1919 – February 6, 2017) was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher.
New!!: List of logicians and Raymond Smullyan · See more »
Rózsa Péter
Rózsa Péter, born Politzer, (17 February 1905 – 16 February 1977) was a Hungarian mathematician and logician.
New!!: List of logicians and Rózsa Péter · See more »
Reuben Goodstein
Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with a strong interest in the philosophy and teaching of mathematics.
New!!: List of logicians and Reuben Goodstein · See more »
Richard Brinkley
Richard Brinkley (died c.1379) was an English Franciscan scholastic philosopher and theologian.
New!!: List of logicians and Richard Brinkley · See more »
Richard Ferrybridge
Richard Ferrybridge was an English Scholastic logician of the fourteenth century.
New!!: List of logicians and Richard Ferrybridge · See more »
Richard Jeffrey
Richard Carl Jeffrey (August 5, 1926 – November 9, 2002) was an American philosopher, logician, and probability theorist.
New!!: List of logicians and Richard Jeffrey · See more »
Richard Kilvington
Richard Kilvington (c. 1302-1361) was an English scholastic philosopher at the University of Oxford.
New!!: List of logicians and Richard Kilvington · See more »
Richard Milton Martin
Richard Milton Martin (1916, Cleveland, Ohio – 22 November 1985, Milton, Massachusetts) was an American logician and analytic philosopher.
New!!: List of logicians and Richard Milton Martin · See more »
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher.
New!!: List of logicians and Richard Montague · See more »
Richard Rufus of Cornwall
Richard Rufus (Ricardus Rufus, "Richard the Red") was a Cornish Franciscan scholastic philosopher and theologian.
New!!: List of logicians and Richard Rufus of Cornwall · See more »
Richard Swineshead
Richard Swineshead (also Suisset, Suiseth, etc.; fl. c. 1340 – 1354) was an English mathematician, logician, and natural philosopher.
New!!: List of logicians and Richard Swineshead · See more »
Richard Sylvan
Richard Sylvan (13 December 1935 – 16 June 1996) was a philosopher, logician, and environmentalist.
New!!: List of logicians and Richard Sylvan · See more »
Richard Whately
Richard Whately (1 February 1787 – 8 October 1863) was an English rhetorician, logician, economist, academic and theologian who also served as a reforming Church of Ireland Archbishop of Dublin.
New!!: List of logicians and Richard Whately · See more »
Robert Kilwardby
Robert Kilwardby (c. 1215 – 11 September 1279) was an Archbishop of Canterbury in England and a cardinal.
New!!: List of logicians and Robert Kilwardby · See more »
Robert Kowalski
Robert Anthony "Bob" Kowalski (born 15 May 1941) is a logician and computer scientist, who has spent most of his career in the United Kingdom.
New!!: List of logicians and Robert Kowalski · See more »
Robert Lawson Vaught
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician, and one of the founders of model theory.
New!!: List of logicians and Robert Lawson Vaught · See more »
Robert M. Solovay
Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory.
New!!: List of logicians and Robert M. Solovay · See more »
Robert S. Hartman
Robert Schirokauer Hartman (January 27, 1910 – September 20, 1973) was a logician and philosopher.
New!!: List of logicians and Robert S. Hartman · See more »
Robin Gandy
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.
New!!: List of logicians and Robin Gandy · See more »
Rodolphus Agricola
Rodolphus Agricola (Rudolphus Agricola Phrisius; August 28, 1443 or February 17, 1444 – October 27, 1485) was a pre-Erasmian humanist of the northern Low Countries, famous for his supple Latin and one of the first north of the Alps to know Greek well.
New!!: List of logicians and Rodolphus Agricola · See more »
Roland Fraïssé
Roland Fraïssé (12 March 1920 – 30 March 2008) was a French mathematical logician.
New!!: List of logicians and Roland Fraïssé · See more »
Rolf Schock
Rolf Schock (5 April 1933 – 5 December 1986) was Swedish–American philosopher and artist, born in Cap-d'Ail, France of German parents.
New!!: List of logicians and Rolf Schock · See more »
Ronald Jensen
Ronald Björn Jensen (born April 1, 1936) is an American mathematician active in Europe, primarily known for his work in mathematical logic and set theory.
New!!: List of logicians and Ronald Jensen · See more »
Rudolf Carnap
Rudolf Carnap (May 18, 1891 – September 14, 1970) was a German-born philosopher who was active in Europe before 1935 and in the United States thereafter.
New!!: List of logicians and Rudolf Carnap · See more »
Ruth Barcan Marcus
Ruth Barcan Marcus (born Ruth C. Barcan; August 2, 1921 – February 19, 2012) was an American philosopher and logician who developed the Barcan formula.
New!!: List of logicians and Ruth Barcan Marcus · See more »
S. Barry Cooper
S.
New!!: List of logicians and S. Barry Cooper · See more »
Saharon Shelah
Saharon Shelah (שהרן שלח) is an Israeli mathematician.
New!!: List of logicians and Saharon Shelah · See more »
Saul Kripke
Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician.
New!!: List of logicians and Saul Kripke · See more »
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.
New!!: List of logicians and Saunders Mac Lane · See more »
Sedulius Scottus
Sedulius Scotus or Scottus (fl. 840–860) was an Irish teacher, Latin grammarian and scriptural commentator who lived in the 9th century.
New!!: List of logicians and Sedulius Scottus · See more »
Sergei Adian
Sergei Ivanovich Adian, also Adyan (Սերգեյ Իվանովիչ Ադյան; Серге́й Ива́нович Адя́н, born 1 January 1931), is a Soviet and Russian mathematician.
New!!: List of logicians and Sergei Adian · See more »
Siegfried Gottwald
Siegfried Johannes Gottwald (30 March 1943 – 20 September 2015) was a German mathematician, logician and historian of science.
New!!: List of logicians and Siegfried Gottwald · See more »
Simplicius of Cilicia
Simplicius of Cilicia (Σιμπλίκιος ὁ Κίλιξ; c. 490 – c. 560) was a disciple of Ammonius Hermiae and Damascius, and was one of the last of the Neoplatonists.
New!!: List of logicians and Simplicius of Cilicia · See more »
Sol Garfunkel
Solomon "Sol" Garfunkel born 1943, in Brooklyn, New York, is an American mathematician who has dedicated his career to mathematics education.
New!!: List of logicians and Sol Garfunkel · See more »
Solomon Feferman
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician with works in mathematical logic.
New!!: List of logicians and Solomon Feferman · See more »
Solomon Passy
Solomon Isaac Passy (Соломон Исак Паси) (born December 22, 1956) is a Bulgarian scientist, politician, and innovator, founder and President of the Atlantic Club of Bulgaria (since 1990), Foreign Minister in the Government of Simeon Sakskoburggotski (2001-2005), Chairman-in-Office of the Organization for Security and Co-operation in Europe (OSCE) in 2004.
New!!: List of logicians and Solomon Passy · See more »
Stanisław Jaśkowski
Stanisław Jaśkowski (22 April 1906, Warsaw – 16 November 1965, Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics.
New!!: List of logicians and Stanisław Jaśkowski · See more »
Stanisław Leśniewski
Stanisław Leśniewski (March 30, 1886 – May 13, 1939) was a Polish mathematician, philosopher and logician.
New!!: List of logicians and Stanisław Leśniewski · See more »
Stephen Cole Kleene
Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.
New!!: List of logicians and Stephen Cole Kleene · See more »
Stewart Shapiro
Stewart Shapiro (born 1951) is O'Donnell Professor of Philosophy at the Ohio State University.
New!!: List of logicians and Stewart Shapiro · See more »
Surname
A surname, family name, or last name is the portion of a personal name that indicates a person's family (or tribe or community, depending on the culture).
New!!: List of logicians and Surname · See more »
Susan Haack
Susan Haack (born 1945) is Distinguished Professor in the Humanities, Cooper Senior Scholar in Arts and Sciences, Professor of Philosophy, and Professor of Law at the University of Miami.
New!!: List of logicians and Susan Haack · See more »
Tadeusz Czeżowski
Tadeusz Czeżowski (July 26, 1889 – March 28, 1981) was a Polish philosopher and logician.
New!!: List of logicians and Tadeusz Czeżowski · See more »
Tadeusz Kotarbiński
Tadeusz Kotarbiński (31 March 1886 – 3 October 1981), was a Polish philosopher, logician and ethicist.
New!!: List of logicians and Tadeusz Kotarbiński · See more »
Theodore Slaman
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.
New!!: List of logicians and Theodore Slaman · See more »
Theophrastus
Theophrastus (Θεόφραστος Theόphrastos; c. 371 – c. 287 BC), a Greek native of Eresos in Lesbos,Gavin Hardy and Laurence Totelin, Ancient Botany, 2015, p. 8.
New!!: List of logicians and Theophrastus · See more »
Thomas Aquinas
Saint Thomas Aquinas (1225 – 7 March 1274) was an Italian Dominican friar, Catholic priest, and Doctor of the Church.
New!!: List of logicians and Thomas Aquinas · See more »
Thomas Bradwardine
Thomas Bradwardine (c. 1300 – 26 August 1349) was an English cleric, scholar, mathematician, physicist, courtier and, very briefly, Archbishop of Canterbury.
New!!: List of logicians and Thomas Bradwardine · See more »
Thoralf Skolem
Thoralf Albert Skolem (23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.
New!!: List of logicians and Thoralf Skolem · See more »
Transliteration
Transliteration is a type of conversion of a text from one script to another that involves swapping letters (thus trans- + liter-) in predictable ways (such as α → a, д → d, χ → ch, ն → n or æ → e).
New!!: List of logicians and Transliteration · See more »
Udayana
Udayana, also known as Udayanācārya (Udyanacharya, or Master Udayana), was a very important Hindu logician of the tenth century who attempted to reconcile the views held by the two major schools of logic (Nyaya and Vaisheshika).
New!!: List of logicians and Udayana · See more »
Vladimir Andreyevich Uspensky
Vladimir A. Uspensky (Russian: Влади́мир Андре́евич Успе́нский; 27 November 1930, Moscow – 27 June 2018) was a Russian mathematician, linguist, writer, doctor of physics and mathematics (1964).
New!!: List of logicians and Vladimir Andreyevich Uspensky · See more »
W. Hugh Woodin
William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University.
New!!: List of logicians and W. Hugh Woodin · See more »
Walter Burley
Walter Burley (or Burleigh) (c. 1275–1344/5) was a medieval English scholastic philosopher and logician with at least 50 works attributed to him.
New!!: List of logicians and Walter Burley · See more »
Walter Pitts
Walter Harry Pitts, Jr. (23 April 1923 – 14 May 1969) was a logician who worked in the field of computational neuroscience.
New!!: List of logicians and Walter Pitts · See more »
Wilhelm Ackermann
Wilhelm Friedrich Ackermann (29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.
New!!: List of logicians and Wilhelm Ackermann · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: List of logicians and Willard Van Orman Quine · See more »
William Alvin Howard
William Alvin Howard (born 1926) is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence.
New!!: List of logicians and William Alvin Howard · See more »
William Craig (philosopher)
William Craig (November 13, 1918 – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California.
New!!: List of logicians and William Craig (philosopher) · See more »
William Ernest Johnson
William Ernest Johnson (23 June 1858 – 14 January 1931), usually cited as W. E. Johnson, was a British philosopher and logician mainly remembered for his Logic (1921–1924), in 3 volumes.
New!!: List of logicians and William Ernest Johnson · See more »
William of Ockham
William of Ockham (also Occam, from Gulielmus Occamus; 1287 – 1347) was an English Franciscan friar and scholastic philosopher and theologian, who is believed to have been born in Ockham, a small village in Surrey.
New!!: List of logicians and William of Ockham · See more »
William of Sherwood
William of Sherwood or William Sherwood, with numerous variant spellings, was a medieval English scholastic philosopher, logician, and teacher.
New!!: List of logicians and William of Sherwood · See more »
William of Soissons
William of Soissons lived in Paris in the 12th century.
New!!: List of logicians and William of Soissons · See more »
William Stanley Jevons
William Stanley Jevons FRS (1 September 1835 – 13 August 1882) was an English economist and logician.
New!!: List of logicians and William Stanley Jevons · See more »
Yehoshua Bar-Hillel
Yehoshua Bar-Hillel (יהושע בר-הלל; 8 September 1915, Vienna – 25 September 1975, Jerusalem) was an Israeli philosopher, mathematician, and linguist.
New!!: List of logicians and Yehoshua Bar-Hillel · See more »
Yiannis N. Moschovakis
Yiannis Nicholas Moschovakis (Γιάννης Μοσχοβάκης; born January 18, 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA.
New!!: List of logicians and Yiannis N. Moschovakis · See more »
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich, (Ю́рий Влади́мирович Матиясе́вич; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist.
New!!: List of logicians and Yuri Matiyasevich · See more »
References
[1] https://en.wikipedia.org/wiki/List_of_logicians
