A logician is a person who studies

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

. Some famous logicians are listed below in English

alphabet An alphabet is a standardized set of basic written graphemes (called letters) that represent the phonemes of certain spoken languages. Not all writing systems represent language in this way; in a syllabary, each character represents a syllab ...

ical

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 Greek → , Cyrillic → , Greek → the digraph , Armenian → or L ...

order (by surname). __NOTOC__

A

* Peter Abelard (France, 1079–1142) *

Wilhelm Ackermann Wilhelm Friedrich Ackermann (; ; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Biography ...

(Germany, 1896–1962) * Sergei Adian (Russia/Soviet Union/Armenia, 1931–2020) * Rodolphus Agricola (Germany, 1443/1444–1485) *

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. He originated many novel ideas in semantics. Among these was categorial grammar, a highly ...

(Poland, 1890–1963) *

Alcuin Alcuin of York (; la, Flaccus Albinus Alcuinus; 735 – 19 May 804) – also called Ealhwine, Alhwin, or Alchoin – was a scholar, clergyman, poet, and teacher from York, Northumbria. He was born around 735 and became the student o ...

(England/France, c. 735–804) *

Alan Ross Anderson Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance l ...

(US, 1924–1972) *

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. He received his Ph.D. from Princeton Uni ...

(US, born 1938) *

Thomas Aquinas Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known wit ...

(Italy/France, 1225–1274) * Lennart Åqvist (Sweden, born 1932) *

Aristotle Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of ph ...

(Greece, 384–322 BCE) * Heiric of Auxerre (France, 841–876)

B

* Bahmanyār (Iran, died 1067) * Jayanta Bhatta (India, 850–910) * Alexander Bain (UK, 1818–1903) * Yehoshua Bar-Hillel (Israel, 1915–1975) *

Ruth Barcan Marcus Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quant ...

(US, 1921–2012) *

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. Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's de ...

(Netherlands, born 1947) *

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. Education and career Born in Independence, ...

(US, 1942–2000) * James Earl Baumgartner (US, 1943–2011) *

John Lane Bell John Lane Bell (born March 25, 1945) is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the University of Western Ontario in Canada. His research includes such topics as set theory, model theor ...

(UK and Canada, born 1945) *

Nuel Belnap Nuel Dinsmore 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. He taught at the University of Pittsburgh from 1963 until his reti ...

(US, born 1931) *

Paul Benacerraf Paul Joseph Salomon Benacerraf (; born 26 March 1931) is a French-born American philosopher working in the field of the philosophy of mathematics who taught at Princeton University his entire career, from 1960 until his retirement in 2007. He ...

(US, born 1931) *

Jean Paul Van Bendegem Jean Paul Van Bendegem (born 28 March 1953 in Ghent) is a mathematician, a philosopher of science, and a professor at the Vrije Universiteit Brussel in Brussels. Career Van Bendegem received his master's degree in mathematics in 1976. Afterwards ...

(Belgium, born 1953) * Johan van Benthem (Netherlands, born 1949) * Paul Bernays (Switzerland, 1888–1977) *

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. He was a member of the Significs Group. Biography Beth was born in Almelo, a small ...

(Netherlands, 1908–1964) * Jean-Yves Béziau (Switzerland, born 1965) *

Józef Maria Bocheński Józef Maria Bocheński or Innocentius Bochenski ( Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher. Biography Born on 30 August 1902 in Cz ...

(Poland, 1902–1995) *

Boethius Anicius Manlius Severinus Boethius, commonly known as Boethius (; Latin: ''Boetius''; 480 – 524 AD), was a Roman senator, consul, ''magister officiorum'', historian, and philosopher of the Early Middle Ages. He was a central figure in the tr ...

(Rome/Ostrogothic Kingdom, c. 480–524/525) * Bernard Bolzano (Austrian Empire, 1781–1848) * Andrea Bonomi (Italy, born 1940) *

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 ...

(England/Ireland, 1815–1864) * George Boolos (US, 1940–1996) * Nicolas Bourbaki (pseudonym used by a group of French mathematicians, 20th century) * Thomas Bradwardine (England, c. 1290–26 August 1349) * Richard Brinkley (England, died c. 1379) *

Luitzen Egbertus Jan 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 compl ...

(Netherlands, 1881–1966) * Alan Richard Bundy (UK, born 1947) *

Franco Burgersdijk Franco Petri Burgersdijk or Franciscus Burgersdicius (born Franck Pieterszoon Burgersdijk; 3 May 1590 – 19 February 1635) was a Dutch logician. Life Franco Burgersdijk was born in De Lier, Defland in the year 1590 was a Dutch logician who ...

(Netherlands, 1590–1629) *

Jean Buridan Jean Buridan (; Latin: ''Johannes Buridanus''; – ) was an influential 14th-century French philosopher. Buridan was a teacher in the faculty of arts at the University of Paris for his entire career who focused in particular on logic and the wor ...

(France, c. 1300–post 1358) * Walter Burley (England, c. 1275–1344/5)

C

Chanakya Chanakya (Sanskrit: चाणक्य; IAST: ', ; 375–283 BCE) was an ancient Indian polymath who was active as a teacher, author, strategist, philosopher, economist, jurist, and royal advisor. He is traditionally identified as Kauṭil ...

(India, Mouryan Empire, 371–285 BC) * Georg Ferdinand Cantor (Germany, 1845–1918) * Rudolf Carnap (Germany, 1891–1970) *

Lewis Carroll Charles Lutwidge Dodgson (; 27 January 1832 – 14 January 1898), better known by his pen name Lewis Carroll, was an English author, poet and mathematician. His most notable works are '' Alice's Adventures in Wonderland'' (1865) and its sequ ...

(UK, 1832–1898) * '' Categoriae decem'' (Latin, fifth century) *

Gregory Chaitin Gregory John Chaitin ( ; born 25 June 1947) is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a computer-t ...

(Argentina/US, born 1947) * Chrysippus (Greece, c. 280 BC – c. 207 BC) *

Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer scien ...

(US, 1903–1995) *

Leon Chwistek Leon Chwistek (Kraków, Austria-Hungary, 13 June 1884 – Barvikha near Moscow, Russia, 20 August 1944) was a Polish avant-garde painter, theoretician of modern art, literary critic, logician, philosopher and mathematician. Career and philosophy ...

(Poland, 1884–1944) * Gordon H. Clark (US, 1902–1985) * Paul Joseph Cohen (US, 1934–2007) *

Conimbricenses The Conimbricenses were an important collection of Jesuit commentaries on Aristotle compiled at University of Coimbra in Coimbra, Portugal. Commentaries The Coimbra Commentaries, also known as the Conimbricenses or Cursus Conimbricenses, are a ...

, name by which Jesuits of the University of Coimbra (Portugal) were known (1591–1606) * S. Barry Cooper (UK, 1943–2015) * Jack Copeland (UK, born 1950) * Thierry Coquand (France, born 1961) * John Corcoran (US, 1937–2021) * Newton da Costa (Brazil, born 1929) * William Craig (US, 1918–2016) *

Haskell Curry Haskell Brooks Curry (; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic. While the initial concept of combinatory logic was based on a single paper by ...

(US, 1900–1982) * Tadeusz Czeżowski (Poland, 1889–1981)

D

* Dirk van Dalen (Netherlands, born 1932) * Martin Davis (US, born 1928) * Augustus De Morgan (UK, 1806–1871) *

René Descartes René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Ma ...

(France, 1596–1650) *

Dharmakirti Dharmakīrti (fl. c. 6th or 7th century; Tibetan: ཆོས་ཀྱི་གྲགས་པ་; Wylie: ''chos kyi grags pa''), was an influential Indian Buddhist philosopher who worked at Nālandā.Tom Tillemans (2011)Dharmakirti Stanford ...

(India, c. 7th century) * Dignāga (India, fl. 5th century) *

Diodorus Cronus Diodorus Cronus ( el, Διόδωρος Κρόνος; died c. 284 BC) was a Greek philosopher and dialectician connected to the Megarian school. He was most notable for logic innovations, including his master argument formulated in response to A ...

(Greece, 4th–3rd century BC) * Martin Dorp (Netherlands, c. 1485–1525) * John Dumbleton (England, died c. 1349) * Michael A. E. Dummett (UK, 1925–2011) * Jon Michael Dunn (US, 1941–2021)

E

Alexander Esenin-Volpin Alexander Sergeyevich Esenin-Volpin (also written Ésénine-Volpine and Yessenin-Volpin in his French and English publications; russian: Алекса́ндр Серге́евич Есе́нин-Во́льпин, p=ɐlʲɪˈksandr sʲɪrˈɡʲejɪ ...

(Russia, 1924–2016) *

John Etchemendy John W. Etchemendy (born 1952 in Reno, Nevada) is an American logician and philosopher who served as Stanford University's twelfth Provost. He succeeded John L. Hennessy to the post on September 1, 2000 and stepped down on January 31, 2017. E ...

(US, born 1952) *

Leonhard Euler Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...

(Switzerland, 1707–1783)

F

Solomon Feferman Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to th ...

(US, 1928–2016) * Richard Ferrybridge (England, 14th century) * Hartry Field (US, born 1946) * Kit Fine (US, born 1946) * Melvin Fitting (US, born 1942) * Graeme Forbes (Scotland, 20th century) * Matthew Foreman (US, born 1957) * Michael Fourman (UK, born 1950) * Roland Fraïssé (France, 1920–2008) *

Abraham Fraenkel Abraham Fraenkel ( he, אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965) was a German-born Israeli mathematician. He was an early Zionist and the first Dean of Mathematics at the Hebrew University of Jerusalem. ...

(Germany, 1891–1965) *

Gottlob Frege Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic ph ...

(Germany, 1848–1925) *

Harvey Friedman __NOTOC__ Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axi ...

(US, born 1948)

G

* Dov Gabbay (UK, born 1945) * Haim Gaifman (US, born 1934) * L. T. F. Gamut (collective pseudonym used by a group of Dutch logicians, fl. 1980s–1990s) *

Robin Gandy Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician. He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where ...

(UK, 1919–1995) * Sol Garfunkel (US, born 1943) * Garlandus Compotista (France, c. 11th century) * Akṣapāda Gautama, author of ''

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. The date when the text was composed, and the biography of its author is unknown, but variously esti ...

'' and founder of Nyaya school of thought and logic (India, c. 2nd century BC) * Gangesha Upadhyaya, author of Tattvacintāmaṇi (A Thought-Jewel of truth) and founder of

Navya-Nyāya The Navya-Nyāya or Neo-Logical ''darśana'' (view, system, or school) of Indian logic and Indian philosophy was founded in the 13th century CE by the philosopher Gangeśa Upādhyāya of Mithila and continued by Raghunatha Siromani of Nabadwi ...

(India, c. 14th century CE) * Peter Geach (UK, 1916–2013) *

Gerhard Gentzen Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died ...

(Germany, 1909–1945) *

Joseph Diaz Gergonne Joseph Diez Gergonne (19 June 1771 at Nancy, France – 4 May 1859 at Montpellier, France) was a French mathematician and logician. Life In 1791, Gergonne enlisted in the French army as a captain. That army was undergoing rapid expansion becau ...

(France, 1771–1859) * Gilbert de la Porrée (France, 1070–1154) *

Jean-Yves Girard Jean-Yves Girard (; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy. Biography Jean-Yves Girard is an alumnus of the ...

(France, born 1947) * Kurt Gödel (Austria, US, 1906–1978) * Reuben Louis Goodstein (England, 1912–1985) * Valentin Goranko (Bulgaria/Sweden, born 1959) * Siegfried Gottwald (Germany, 1943–2015) * Jeroen Groenendijk (Netherlands, born 1949)

H

Susan Haack Susan Haack (born 1945) is a distinguished professor in the humanities, Cooper Senior Scholar in Arts and Sciences, professor of philosophy, and professor of law at the University of Miami in Coral Gables, Florida. Haack has written on logic, ...

(UK, born 1945) *

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. Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Repu ...

(Czech Republic, 1941–2016) *

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. Having retired from being a Mathematician, Professor Leo Harrington is ...

(US, born 1946) * Robert S. Hartman (Germany/US, 1910–1973) *

Georg Wilhelm Friedrich Hegel Georg Wilhelm Friedrich Hegel (; ; 27 August 1770 – 14 November 1831) was a German philosopher. He is one of the most important figures in German idealism and one of the founding figures of modern Western philosophy. His influence extends ...

(Germany, 1770–1831) *

Jean Van Heijenoort Jean Louis Maxime van Heijenoort (; July 23, 1912 – March 29, 1986) was a historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and an American Trotskyist until 1947. Life Van Heijenoort was born ...

(France/US, 1912–1986) *

Leon Henkin Leon Albert Henkin (April 19, 1921, Brooklyn, New York - November 1, 2006, Oakland, California) was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar ...

(US, 1921–2006) *

Jacques Herbrand Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician. Although he died at age 23, he was already considered one of "the greatest mathematicians of the younger generation" by his professors Helmut Hasse and Richard Coura ...

(France, 1908–1931) * Arend Heyting (Netherlands, 1898–1980) * David Hilbert (Germany, 1862–1943) * Jaakko Hintikka (Finland, 1929–2015) *

Alfred Horn Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper "On sentences which are true of direct unions of algebras" described Horn claus ...

(US, 1918–2001) *

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. He has a ...

(US, born 1926) *

Ehud Hrushovski Ehud Hrushovski ( he, אהוד הרושובסקי; born 30 September 1959) is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of M ...

(Israel, born 1959) * Gérard Huet (France, born 1947)

I

* Ibn Taymiyyah (Turkey, 1263–1328 CE) *

Marsilius of Inghen Marsilius of Inghen (c. 1340 – 20 August 1396) was a medieval Dutch Scholastic philosopher who studied with Albert of Saxony and Nicole Oresme under Jean Buridan. He was Magister at the University of Paris as well as at the University of Hei ...

(Netherlands/France/Germany, 1330/1340–1396)

J

* Giorgi Japaridze (Georgia, 20th century) * Stanisław Jaśkowski (Poland, 1906–1965) *

Richard Jeffrey Richard Carl Jeffrey (August 5, 1926 – November 9, 2002) was an American philosopher, logician, and probability theorist. He is best known for developing and championing the philosophy of radical probabilism and the associated heuristic of ...

(US, 1926–2002) *

Ronald Jensen Ronald Björn Jensen (born April 1, 1936) is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory. Career Jensen completed a BA in economics at American University in 1959, and a Ph.D. ...

(US, Europe, born 1936) *

William Stanley Jevons William Stanley Jevons (; 1 September 183513 August 1882) was an English economist and logician. Irving Fisher described Jevons's book ''A General Mathematical Theory of Political Economy'' (1862) as the start of the mathematical method in ec ...

(England, 1835–1882) * John of St. Thomas/John Poinsot (Portugal/Spain, 1589–1644) *

William Ernest Johnson William Ernest Johnson, FBA (23 June 1858 – 14 January 1931), usually cited as W. E. Johnson, was a British philosopher, logician and economic theorist.Zabell, S.L. (2008"Johnson, William Ernest (1858–1931)"In: Durlauf S.N., Blume L.E. ( ...

(UK, 1858–1931) * Dick de Jongh (Netherlands, born 1939) * Bjarni Jónsson (Iceland, 1920–2016) *

Philip Jourdain Philip Edward Bertrand Jourdain (16 October 1879 – 1 October 1919) was a British logician and follower of Bertrand Russell. Background He was born in Ashbourne in Derbyshire* one of a large family belonging to Emily Clay and his father Franc ...

(UK, 1879–1919) * Joachim Jungius (Germany, 1587–1657) * Jñanasrimitra (India, 10th century)

K

* David Kaplan (US, born 1933) * Alexander S. Kechris (US, born 1946) *

Howard Jerome Keisler Howard Jerome Keisler (born 3 December 1936) is an American mathematician, currently professor emeritus at University of Wisconsin–Madison. His research has included model theory and non-standard analysis. His Ph.D. advisor was Alfred Tarski a ...

(US, born 1936) *

Ahmed Raza Khan Ahmed Raza Khan, commonly known as Aala Hazrat, Ahmed Raza Khan Barelvi, or Ahmed Rida Khan in Arabic, (14 June 1856 CE or 10 Shawwal 1272 AH – 28 October 1921 CE or 25 Safar 1340 AH), was an Islamic scholar, jurist, mufti, philoso ...

(India, 1856–1921) * Richard Kilvington (England, c. 1305–1361) *

Robert Kilwardby Robert Kilwardby ( c. 1215 – 11 September 1279) was an Archbishop of Canterbury in England and a cardinal. Kilwardby was the first member of a mendicant order to attain a high ecclesiastical office in the English Church. Life Kilwardby s ...

(England, c. 1215–1279) *

Stephen Cole Kleene Stephen Cole Kleene ( ; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of ...

(US, 1909–1994) *

Tadeusz Kotarbiński Tadeusz Marian Kotarbiński (; 31 March 1886 – 3 October 1981) was a Polish philosopher, logician and ethicist. A pupil of Kazimierz Twardowski, he was one of the most representative figures of the Lwów–Warsaw School, and a member of the P ...

(Poland, 1886–1981) *

Robert Kowalski Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent mo ...

(US, UK, born 1941) * Georg Kreisel (Austria/Britain/US, 1923–2015) *

Saul Kripke Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and em ...

(US, 1940-2022) *

Leopold Kronecker Leopold Kronecker (; 7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, algebra and logic. He criticized Georg Cantor's work on set theory, and was quoted by as having said, "'" ("God made the integers, ...

(Germany, 1823–1891) *

Kenneth Kunen Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and me ...

(US, 1943–2020)

L

Christine Ladd-Franklin Christine Ladd-Franklin (December 1, 1847 – March 5, 1930) was an American psychologist, logician, and mathematician. Early life and education Christine Ladd, sometimes known by her nickname "Kitty", was born on December 1, 1847, in Winds ...

(US, 1847–1930) * Joachim Lambek (Canada, 1922–2014) *

Johann Heinrich Lambert Johann Heinrich Lambert (, ''Jean-Henri Lambert'' in French; 26 or 28 August 1728 – 25 September 1777) was a polymath from the Republic of Mulhouse, generally referred to as either Swiss or French, who made important contributions to the subject ...

(France/Germany, 1728–1777) * Karel Lambert (US, born 1928) *

Gottfried Wilhelm Leibniz Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of math ...

(Germany, 1646–1716) *

Stanisław Leśniewski Stanisław Leśniewski (30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. Life He was born on 28 March 1886 at Serpukhov, near Moscow, to father Izydor, an engineer working on the construction of the Trans-Sib ...

(Poland, 1886–1939) *

Clarence Irving Lewis Clarence Irving Lewis (April 12, 1883 – February 3, 1964), usually cited as C. I. Lewis, was an American academic philosopher. He is considered the progenitor of modern modal logic and the founder of conceptual pragmatism. First a noted logic ...

(US, 1883–1964) *

David Kellogg Lewis David (; , "beloved one") (traditional spelling), , ''Dāwūd''; grc-koi, Δαυΐδ, Dauíd; la, Davidus, David; gez , ዳዊት, ''Dawit''; xcl, Դաւիթ, ''Dawitʿ''; cu, Давíдъ, ''Davidŭ''; possibly meaning "beloved one". w ...

(US, 1941–2001) *

Adolf Lindenbaum Adolf Lindenbaum (12 June 1904 – August 1941) was a Polish-Jewish logician and mathematician best known for Lindenbaum's lemma and Lindenbaum–Tarski algebras. He was born and brought up in Warsaw. He earned a Ph.D. in 1928 under Wac ...

(Poland, 1904–1941) * Per Lindström (Sweden, 1936–2009) * Ramon Llull (Spain, 1232–1315) *

Martin Löb Martin Hugo Löb (; 31 March 1921 – 21 August 2006) was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He moved to the Netherlands in the 1970s, where he remained in r ...

(Germany, 1921–2006) *

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). Biography Lorenzen studied at the University o ...

(Germany, 1915–1994) *

Jerzy Łoś Jerzy Łoś (born 22 March 1920 in Lwów, Poland (now Lviv, Ukraine) – 1 June 1998 in Warsaw) () was a Polish mathematician, logician, economist, and philosopher. He is especially known for his work in model theory, in particular for " Łoś's th ...

(Poland, 1920–1998) *

Hermann Lotze Rudolf Hermann Lotze (; ; 21 May 1817 – 1 July 1881) was a German philosopher and logician. He also had a medical degree and was well versed in biology. He argued that if the physical world is governed by mechanical laws and relations, then de ...

(Germany, 1817–1881) *

Leopold Löwenheim Leopold Löwenheim �le:o:pɔl̩d ˈlø:vɛnhaɪm(26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician doing work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considere ...

(Germany, 1878–1957) * Jan Łukasiewicz (Poland, 1878–1956)

M

* Hugh MacColl (Scotland, 1837–1909) *

Saunders Mac Lane Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg. Early life and education Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftville ...

(US, 1909–2005) * Dugald Macpherson (UK, 20th century) * Penelope Maddy (US, born 1950) *

John Mair John Mair may refer to: *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 ...

(Scotland, 1467–1550) * David Makinson (Australia, UK, born 1941) *

Isaac Malitz Isaac Richard Jay Malitz (born 1947, in Cleveland, Ohio) is a logician who introduced the subject of positive set theory in his 1976 Ph.D. Thesis at UCLA The University of California, Los Angeles (UCLA) is a public land-grant research un ...

(US, born 1947) * María Manzano(Spain, born 1950) *

Gary R. Mar Gary R. Mar is an American philosopher specializing in logic, the philosophy of logic, the philosophy of mathematics, analytic philosophy, philosophy of language, philosophy of language and linguistics, philosophy of science, computational philosop ...

(US, born 1952) *

(US, 1921–2012) * Donald A. Martin (US, born 1940) *

Richard Milton Martin Richard Milton Martin (1916, Cleveland, Ohio – 22 November 1985, Milton, Massachusetts) was an American logician and analytic philosopher. In his Ph.D. thesis written under Frederic Fitch, Martin discovered virtual sets a bit before Quine ...

(US, 1916–1985) * Per Martin-Löf (Sweden, born 1942) * Yuri Matiyasevich (Russia/Soviet Union, born 1947) * C. A. Meredith (Ireland, 1904–1976) * Bob Meyer (US, 1932–2009) * John Stuart Mill (England, 1806–1873) * Grigori Mints (Soviet Union/Estonia/US, 1939–2014) *

Richard Montague Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize ...

(US, 1930–1971) *

Yiannis N. Moschovakis Yiannis Nicholas Moschovakis ( el, Γιάννης Μοσχοβάκης; born January 18, 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA. His book ''Descriptive Set Theory'' (North-Holland) is ...

(US, born 1938) * Andrzej Mostowski (Poland, 1913–1975)

N

* Sara Negri (Italy/Finland, born 1967) * Edward Nelson (US, 1932–2014) *

John von Neumann John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest cove ...

(Hungary, US, 1903–1957) *

John Henry Newman John Henry Newman (21 February 1801 – 11 August 1890) was an English theologian, academic, intellectual, philosopher, polymath, historian, writer, scholar and poet, first as an Anglican ministry, Anglican priest and later as a Catholi ...

(1801–1890) (see '' Grammar of Assent'') * Jean Nicod (France, 1893–1924) * Pyotr Novikov (Russia/Soviet Union, 1901–1975) *

Nagarjuna Nāgārjuna . 150 – c. 250 CE (disputed)was an Indian Mahāyāna Buddhist thinker, scholar-saint and philosopher. He is widely considered one of the most important Buddhist philosophers.Garfield, Jay L. (1995), ''The Fundamental Wisdom of ...

(India, c.150–c.250) * Anil Nerode (US, born 1932)

O

William of Ockham William of Ockham, OFM (; also Occam, from la, Gulielmus Occamus; 1287 – 10 April 1347) was an English Franciscan friar, scholastic philosopher, apologist, and Catholic theologian, who is believed to have been born in Ockham, a small vil ...

(England, 1285–1349) * Piergiorgio Odifreddi (Italy, born 1950) * Ivan Orlov (Russia, 1886–1936)

P

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. Life He is thought to have been a Master of Arts in the 1220s a ...

(France, fl. 1220–1229) * Jeff Paris (UK, born 1944) * Charles Parsons (US, born 1933) *

Solomon Passy Solomon Isaac Passy ( bg, Соломон Исак Паси) (born 22 December 1956) is a Bulgarian scientist, politician, and innovator, founder and President of the Atlantic Club of Bulgaria (since 1990), Foreign Minister in the 20012005 Saks ...

(Bulgaria, born 1956) *

Paul of Venice Paul of Venice (or Paulus Venetus; 1369–1429) was a Catholic philosopher, theologian, logician and metaphysician of the Order of Saint Augustine. Life Paul was born, according to the chroniclers of his order, at Udine, about 1369 and died at V ...

(Italy, 1369–1429) * Christine Paulin-Mohring (France, born 1962) *

Giuseppe Peano Giuseppe Peano (; ; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The sta ...

(Italy, 1858–1932) * Dan Pedersen (US, born, 1945) *

Charles Sanders Peirce Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for t ...

(US, 1839–1914) * Lorenzo Peña (Spain, born 1944) * Chaïm Perelman (Poland, Belgium, 1912–1984) *

Rózsa Péter Rózsa Péter, born Rózsa Politzer, (17 February 1905 – 16 February 1977) was a Hungarian mathematician and logician. She is best known as the "founding mother of recursion theory". Early life and education Péter was born in Budapest, ...

(Hungary, 1905–1977) * Paolo da Pergola (Italy, died 1455) *

Peter of Spain __NOTOC__ Peter of Hispania ( la, Petrus Hispanus; Portuguese and es, Pedro Hispano; century) was the author of the ', later known as the ', an important medieval university textbook on Aristotelian logic. As the Latin ''Hispania'' was consider ...

(13th century, usually assumed to be Pope John XXI) *

Philo the Dialectician Philo the Dialectician ( el, Φίλων; fl. 300 BC) was a Greek philosopher of the Megarian (Dialectical) school. He is sometimes called Philo of Megara although the city of his birth is unknown. He is most famous for the debate he had with his ...

(Greece, 4th–3rd century BC) *

Walter Pitts Walter Harry Pitts, Jr. (23 April 1923 – 14 May 1969) was a logician who worked in the field of computational neuroscience.Smalheiser, Neil R"Walter Pitts", ''Perspectives in Biology and Medicine'', Volume 43, Number 2, Winter 2000, pp. 21 ...

(US, 1923–1969) * Porphyry (c. 234–c. 305) * Henry Pogorzelski (US, 1922–2015) *

Emil Leon Post Emil Leon Post (; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory. Life Post was born in Augustów, Suwałki Govern ...

(US, 1897–1954) * Dag Prawitz (Sweden, born 1936) *

Mojżesz Presburger Mojżesz Presburger, or Prezburger, (December 27, 1904 – 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known fo ...

(Poland, 1904–1943) *

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 Andr ...

(Australia, born 1948) * Arthur Prior (New Zealand, UK, 1914–1969) * Hilary Putnam (US, 1926–2016) *

Plato Plato ( ; grc-gre, Πλάτων ; 428/427 or 424/423 – 348/347 BC) was a Greek philosopher born in Athens during the Classical period in Ancient Greece. He founded the Platonist school of thought and the Academy, the first institution ...

(Greek, 427–347 B.C.)

Q

Willard Van Orman Quine Willard Van Orman Quine (; known to his friends 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" ...

(US, 1908–2000)

R

Michael O. Rabin Michael Oser Rabin ( he, מִיכָאֵל עוזר רַבִּין; born September 1, 1931) is an Israeli mathematician and computer scientist and a recipient of the Turing Award. Biography Early life and education Rabin was born in 1931 in ...

(Israel, US, born 1931) * Constantin Rădulescu-Motru (Romania, 1868–1957) *

Frank Plumpton Ramsey Frank Plumpton Ramsey (; 22 February 1903 – 19 January 1930) was a British philosopher, mathematician, and economist who made major contributions to all three fields before his death at the age of 26. He was a close friend of Ludwig Wittgenste ...

(UK, 1903–1930) *

Petrus Ramus Petrus Ramus (french: Pierre de La Ramée; Anglicized as Peter Ramus ; 1515 – 26 August 1572) was a French humanist, logician, and educational reformer. A Protestant convert, he was a victim of the St. Bartholomew's Day massacre. Early life ...

(France, 1515–1572) * Helena Rasiowa (Poland, 1917–1994) * Carveth Read (UK, 1848–1931) *

Abraham Robinson Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of nonstandard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorp ...

(Israel, UK, Canada, US, 1918–1974) * Raphael M. Robinson (US, 1911–1995) *

Julia Robinson Julia Hall Bowman Robinson (December 8, 1919July 30, 1985) was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her work on Hilber ...

(US, 1919–1985) * J. Barkley Rosser (US, 1907–1989) *

Richard Routley Richard Sylvan (13 December 1935 – 16 June 1996) was a New Zealand–born philosopher, logician, and environmentalist. Biography Sylvan was born Francis Richard Routley in Levin, New Zealand, and his early work is cited with this surname. ...

, later Richard Sylvan (New Zealand, 1935–1996) * Frederick Rowbottom (UK, 1938–2009) * Ian Rumfitt (UK, 20th century) *

Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, ...

(UK, 1872–1970)

S

Giovanni Girolamo Saccheri Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694 ...

(Italy, 1667–1733) *

Raghunatha Siromani Raghunatha Shiromani ( bn, রঘুনাথ শিরোমণি, IAST: Raghunātha Śiromaṇi) () was an Indian philosopher and logician. He was the head ( The Chancellor ) of the Ancient Mithila University also known as Mithila Vidyapeet ...

(India, c. 1477–1547) *

Gerald Sacks Gerald Enoch Sacks (1933 – October 4, 2019) was a logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that t ...

(US, 1933–2019) * Albert of Saxony (Germany, c. 1316–1390) *

Rolf Schock Rolf Schock (; 5 April 1933 – 5 December 1986) was a Swedish–American philosopher and artist, born in Cap-d'Ail, France of German parents. Biography Schock was born at Cap-d'Ail on the French Riviera. His parents, who had left Germany, ...

(US, Sweden, 1933–1986) *

Moses Schönfinkel Moses Ilyich Schönfinkel (russian: Моисей Исаевич Шейнфинкель, translit=Moisei Isai'evich Sheinfinkel; 29 September 1888 – 1942) was a logician and mathematician, known for the invention of combinatory logic. Life Mose ...

(USSR, 1889–1942) * Ernst Schröder (Germany, 1841–1902) *

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. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativi ...

(Germany, 1909–1998) *

Dana Scott Dana Stewart Scott (born October 11, 1932) is an American logician who 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, Ca ...

(US, born 1932) *

Sedulius Scottus Sedulius Scotus or Scottus ( fl. 840–860) was an Irish teacher, Latin grammarian, and scriptural commentator who lived in the 9th century. During the reign of the Emperor Lothair (840–855), he was one of a colony of Irish teachers at Liège. ...

(Ireland/France, fl. 840–860) *

John Duns Scotus John Duns Scotus ( – 8 November 1308), commonly called Duns Scotus ( ; ; "Duns the Scot"), was a Scottish Catholic priest and Franciscan friar, university professor, philosopher, and theologian. He is one of the four most important ...

(UK, France, c. 1266–1308) *

Stewart Shapiro Stewart Shapiro (; born 1951) is O'Donnell Professor of Philosophy at the Ohio State University and distinguished visiting professor at the University of Connecticut. He is a leading figure in the philosophy of mathematics where he defends the a ...

(US, born 1951) *

Fyodor Shcherbatskoy Fyodor Ippolitovich Shcherbatskoy or Stcherbatsky (Фёдор Ипполи́тович Щербатско́й) (11 September (N.S.) 1866 – 18 March 1942), often referred to in the literature as F. Th. Stcherbatsky, was a Russian Indologist who, ...

(Russia, 1866–1942) * Saharon Shelah (Israel, born 1945) * Gila Sher (Israel/US) * William of Sherwood (England, 1190–1249) * Hui Shi (China, fl. 4th century BC) *

Simplicius of Cilicia Simplicius of Cilicia (; el, Σιμπλίκιος ὁ Κίλιξ; c. 490 – c. 560 AD) was a disciple of Ammonius Hermiae and Damascius, and was one of the last of the Neoplatonists. He was among the pagan philosophers persecuted by Justinian i ...

(Turkey/Iran, c. 490–c. 560) *

(India, 1470s–1550s) *

Thoralf Skolem Thoralf Albert Skolem (; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. Life Although Skolem's father was a primary school teacher, most of his extended family were farmers. Skolem ...

(Norway 1887–1963) *

Dimiter Skordev Dimiter Skordev ( bg, Димитър Скордев) (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the University of Sofia. Chairman of the department ...

(Bulgaria, born 1936) * Theodore Slaman (US, born 1954) *

Raymond Smullyan Raymond Merrill Smullyan (; May 25, 1919 – February 6, 2017) was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher. Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from ...

(US, 1919–2017) * William of Soissons (France, 12th century) * Robert M. Solovay (US, born 1938) * Richard the Sophister (fl. late 13th century) *

(13th century) * Mr. Spock (Vulcan, born 23rd century) * John R. Steel (US, born 1948) * Martin Stokhof (Netherlands, born 1950) * Ralph Strode (England, fl. 1350–1400) *

Richard Swineshead Richard Swineshead (also Suisset, Suiseth, etc.; fl. c. 1340 – 1354) was an English mathematician, logician, and natural philosopher. He was perhaps the greatest of the Oxford Calculators of Merton College, where he was a fellow certainly by 1344 ...

(England, fl. c. 1340–1354) * Richard Sylvan, born Richard Routley (New Zealand, 1935–1996)

T

Gaisi Takeuti was a Japanese mathematician, known for his work in proof theory. After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana–Champaign. Takeu ...

(Japan, 1926–2017) *

Alfred Tarski Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician a ...

(Poland, 1902–1983) *

Theophrastus Theophrastus (; grc-gre, Θεόφραστος ; c. 371c. 287 BC), a Greek philosopher and the successor to Aristotle in the Peripatetic school. He was a native of Eresos in Lesbos.Gavin Hardy and Laurence Totelin, ''Ancient Botany'', Routle ...

(Greece, 371–c. 287 BC) * Pavel Tichý (Czechoslovakia, New Zealand, 1936–1994) *

Friedrich Adolf Trendelenburg Friedrich Adolf Trendelenburg (30 November 1802 – 24 January 1872) was a German philosopher and philologist. Life He was born at Eutin, near Lübeck. He was placed in a gymnasium in Eutin, which was under the direction of , a philologist infl ...

(Germany, 1802–1872) * Anne Sjerp Troelstra (Netherlands, 1939–2019) *

Alan Turing Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical co ...

(UK, 1912–1954) *

Kazimierz Twardowski Kazimierz Jerzy Skrzypna-Twardowski (20 October 1866 – 11 February 1938) was a Polish philosopher, psychologist, logician, and rector of the Lwów University. He was initially affiliated with Alexius Meinong's Graz School of object theory. ...

(Poland, 1866–1938)

U

Udayana Udayana, ( Devanagari: उदयन) also known as Udayanācārya (Udyanacharya, or Master Udayana), (circa 975 - 1050 CE) was an Indian philosopher and logician of the tenth century of the Nyaya school who attempted to devise a rational theo ...

, author of Nyayakusumanjali ( rational theology to prove the existense of God using logic) (India, 10th century) * Udyotakara (India, c. 6th century CE) * Alasdair Urquhart (UK, born 1945) * Vladimir Uspensky (Soviet Union/Russia, 1930–2018)

V

Lorenzo Valla Lorenzo Valla (; also Latinized as Laurentius; 14071 August 1457) was an Italian Renaissance humanist, rhetorician, educator, scholar, and Catholic priest. He is best known for his historical-critical textual analysis that proved that the ''Do ...

(Italy, c. 1407–1457) *

Moshe Y. Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

(Israel, born 1954) * Nicolai A. Vasiliev (Russia, 1880–1940) * Robert Lawson Vaught (US, 1926–2002) *

(Italy, 1368–1428) *

John Venn John Venn, Fellow of the Royal Society, FRS, Fellow of the Society of Antiquaries of London, FSA (4 August 1834 – 4 April 1923) was an English mathematician, logician and philosopher noted for introducing Venn diagrams, which are used in l ...

(England, 1834–1923) *

Juan Luis Vives Juan Luis Vives March ( la, Joannes Lodovicus Vives, lit=Juan Luis Vives; ca, Joan Lluís Vives i March; nl, Jan Ludovicus Vives; 6 March 6 May 1540) was a Spanish ( Valencian) scholar and Renaissance humanist wh ...

(Spain, 1493–1540) * Pakṣilasvāmin Vātsyāyana wrote the first known commentary on Goutama's Nyaya Sutras (5th century CE) *

W

* Hao Wang (China/US, 1921–1995) *

Isaac Watts Isaac Watts (17 July 1674 – 25 November 1748) was an English Congregational minister, hymn writer, theologian, and logician. He was a prolific and popular hymn writer and is credited with some 750 hymns. His works include "When I Survey the ...

(England, 1674–1748) * Richard Whately (England, 1787–1863) * Alfred North Whitehead (UK, 1861–1947) *

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. He is con ...

(Austria, UK, 1889–1951) * Christian Wolff (Germany, 1679–1754) * W. Hugh Woodin (US, born 1955) * John Woods (Canada, born 1937) *

Georg Henrik von Wright Georg Henrik von Wright (; 14 June 1916 – 16 June 2003) was a Finnish philosopher. Biography G. H. von Wright was born in Helsinki on 14 June 1916 to Tor von Wright and his wife Ragni Elisabeth Alfthan. On the retirement of Ludwig Wittgenste ...

(Finland, UK, 1916–2003)

Y

* Jin Yuelin (China, 1895–1984)

Z

Jacopo Zabarella Giacomo (or Jacopo) Zabarella (5 September 1533 – 15 October 1589) was an Italian Aristotelian philosopher and logician. Life Zabarella was born into a noble Paduan family. He received a humanist education and entered the University of Padua ...

(Italy, 1533–1589) * Lotfi A. Zadeh (US, 1921–2017) * Ernst Zermelo (Germany, 1871–1953) *

Alexander Zinoviev Alexander Alexandrovich Zinoviev ( Russian: Алекса́ндр Алекса́ндрович Зино́вьев; October 29, 1922 – May 10, 2006) was a Soviet philosopher, writer, sociologist, and journalist. Coming from a poor peasant fami ...

(Soviet Union, 1922–2006)

References

External links

The MacTutor History of Mathematics archive
- very complete list of detailed biographies. Many logicians are included.

with detailed bibliographies (in progress) {{Portal bar, Philosophy *

Logicians Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...