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 premises ...
. Some famous logicians are listed below in
English
English usually refers to:
* English language
* English people
English may also refer to:
Peoples, culture, and language
* ''English'', an adjective for something of, from, or related to England
** English national ide ...
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 syll ...
ical
transliteration
Transliteration is a type of conversion of a text from one writing system, script to another that involves swapping Letter (alphabet), letters (thus ''wikt:trans-#Prefix, trans-'' + ''wikt:littera#Latin, liter-'') in predictable ways, such as ...
order (by
surname
In some cultures, a surname, family name, or last name is the portion of one's personal name that indicates one's family, tribe or community.
Practices vary by culture. The family name may be placed at either the start of a person's full name ...
).
__NOTOC__
A
*
Peter Abelard
Peter Abelard (; french: link=no, Pierre Abélard; la, Petrus Abaelardus or ''Abailardus''; 21 April 1142) was a medieval French scholastic philosopher, leading logician, theologian, poet, composer and musician. This source has a detailed desc ...
(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
Sergei Ivanovich Adian, also Adyan ( hy, Սերգեյ Իվանովիչ Ադյան; russian: Серге́й Ива́нович Адя́н; 1 January 1931 – 5 May 2020), 4381, and hence for all multiples of those odd integers as well.
The solutio ...
(Russia/Soviet Union/Armenia, 1931–2020)
*
Rodolphus Agricola
Rodolphus Agricola ( la, 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 knowledge of Latin and Greek. He was an educator, musici ...
(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 lo ...
(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 wi ...
(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 phil ...
(Greece, 384–322 BCE)
*
Heiric of Auxerre
Heiric of Auxerre (841–876) was a French Benedictine theologian and writer.
He was an oblate of the monastery of St. Germanus of Auxerre from a young age. He studied with Servatus Lupus and Haymo of Auxerre. His own students included Remigius ...
(France, 841–876)
B
*
Bahmanyār
Abu al-Hasan (or Abu al-Husayn) Bahmanyar ibn al-Marzuban, better simply known as Bahmanyar ( fa, بهمنیار; died 1066) was an Iranian scholar, who is mainly known as one of the most prominent pupils of Avicenna (d. 1037).
Background
Bahma ...
(Iran, died 1067)
*
Jayanta Bhatta
Jayanta Bhatta ( CE – CE) was a Kashmiri poet, teacher, logician, and an advisor to King Sankaravarman. He was a philosopher of the Nyaya school of Hindu philosophy. He authored three works on Nyāya philosophy: one of which is not known ...
Yehoshua Bar-Hillel
Yehoshua Bar-Hillel ( he, יהושע בר-הלל; 8 September 1915, in Vienna – 25 September 1975, in Jerusalem) was an Israeli philosopher, mathematician, and linguist. He was a pioneer in the fields of machine translation and formal linguisti ...
(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, M ...
(US, 1942–2000)
*
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.
Baumgartner was born in Wichita, Kansas, began his undergraduate study at the ...
(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 ret ...
(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 wa ...
(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 ...
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. He was an assistant and close collaborator of ...
(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 t ...
(Netherlands, 1908–1964)
*
Jean-Yves Béziau
Jean-Yves Béziau (; 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.
Career
Béziau works in the field of logic—in particular, ...
(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 Czu ...
(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
Bernard Bolzano (, ; ; ; born Bernardus Placidus Johann Gonzal 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 liber ...
(Austrian Empire, 1781–1848)
*
Andrea Bonomi
Andrea Bonomi (; 14 February 1923 – 26 November 2003) was an Italian Association football, footballer who played as a Defender (association football), defender.
Early life
Born in Cassano d'Adda, Italy, when Bonomi was six years old, he fell ...
(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 Ire ...
(England/Ireland, 1815–1864)
*
George Boolos
George Stephen Boolos (; 4 September 1940 – 27 May 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Life
Boolos is of Greek-Jewish descent. He graduated with an A.B. in ...
(US, 1940–1996)
*
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally in ...
(pseudonym used by a group of French mathematicians, 20th century)
*
Thomas Bradwardine
Thomas Bradwardine (c. 1300 – 26 August 1349) was an English cleric, scholar, mathematician, physicist, courtier and, very briefly, Archbishop of Canterbury. As a celebrated scholastic philosopher and doctor of theology, he is often call ...
(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 ...
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 people, French Philosophy, philosopher.
Buridan was a teacher in the Faculty (division)#Faculty of Art, faculty of arts at the University of Paris for hi ...
(France, c. 1300–post 1358)
*
Walter Burley
Walter Burley (or Burleigh; 1275 – 1344/45) was an English scholastic philosopher and logician with at least 50 works attributed to him. He studied under Thomas WiltonHarjeet Singh Gill, ''Signification in language and culture'', Indian Inst ...
(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ṭilya o ...
Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He ...
(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 sequel ...
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
Chrysippus of Soli (; grc-gre, Χρύσιππος ὁ Σολεύς, ; ) was a Greek Stoic philosopher. He was a native of Soli, Cilicia, but moved to Athens as a young man, where he became a pupil of the Stoic philosopher Cleanthes. When Clean ...
(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 scienc ...
(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 ...
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
S. Barry Cooper (9 October 1943 – 26 October 2015) was an English mathematician and computability theory, computability theorist. He was a professor of Pure Mathematics at the University of Leeds.
Early life and education
Cooper grew up in ...
(UK, 1943–2015)
*
Jack Copeland
Brian John 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.
Education
Copeland was educated at the University of Oxford, obta ...
(UK, born 1950)
*
Thierry Coquand
Thierry Coquand (; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. u ...
(France, born 1961)
* John Corcoran (US, 1937–2021)
*
Newton da Costa
Newton Carneiro Affonso da Costa (born 16 September 1929 in Curitiba, Brazil) is a Brazilian mathematician, logician, and philosopher. He studied engineering and mathematics at the Federal University of Paraná in Curitiba and the title of his ...
(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
Tadeusz Czeżowski (July 26, 1889 – March 28, 1981) was a Polish philosopher and logician. He is considered one of the most prominent members of the Lviv-Warsaw School.
Biography
Czeżowski was born in Vienna, Austria-Hungary on July 26, 188 ...
(Poland, 1889–1981)
D
*
Dirk van Dalen
Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science.
Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he received ...
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. Mathem ...
(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
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ā''). Dignāga's work laid the groundwork for the development of deductive logic in India and cr ...
(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 Ari ...
Jon Michael Dunn
J. Michael Dunn (June 19, 1941 – April 5, 2021) was Oscar Ewing Professor Emeritus of Philosophy, Professor Emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College ...
(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 ...
Hartry Field
Hartry H. Field (born November 30, 1946) is an American philosopher. He is Silver Professor of Philosophy at New York University; he is a notable contributor to philosophy of science, philosophy of mathematics, epistemology, and philosophy of min ...
(US, born 1946)
*
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. Prior to joining the philosophy department of NYU in 1997, he taught at the Uni ...
(US, born 1946)
*
Melvin Fitting
Melvin Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems. He was a professor at City University of New York, Lehman College and the Graduate Center. from 1968 to 2013. At the ...
(US, born 1942)
* Graeme Forbes (Scotland, 20th century)
*
Matthew Foreman
Matthew Dean Foreman is an American mathematician at
University of California, Irvine. He has made notable contributions in set theory and in ergodic theory.
Biography
Born in Los Alamos, New Mexico, Foreman earned his Ph.D. from the
Univer ...
Roland Fraïssé
Roland Fraïssé (; 12 March 1920 – 30 March 2008) was a French mathematical logician.
Fraïssé received his doctoral degree from the University of Paris in 1953. In his thesis, Fraïssé used the back-and-forth method to determine whether t ...
(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 phil ...
(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
Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Work
Gabbay has authore ...
(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
Solomon "Sol" Garfunkel born 1943, in Brooklyn, New York, is an American mathematician who has dedicated his career to mathematics education. Since 1980, he has served as the executive director of the award-winning non-profit organization " Consor ...
(US, born 1943)
*
Garlandus Compotista
Garlandus Compotista, also known as Garland the Computist, was an early medieval logician, astronomer, and mathematician of the eleventh-century school of Liège. Little is known of his life; the ''Dialectica'' published under his name by L. M. ...
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
(Sanskrit: न्याय, ''nyā-yá''), literally meaning "justice", "rules", "method" or "judgment",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 Nabadwip ...
(India, c. 14th century CE)
*
Peter Geach
Peter Thomas Geach (29 March 1916 – 21 December 2013) was a British philosopher who was Professor of Logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and t ...
(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 o ...
(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 becaus ...
(France, 1771–1859)
*
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 and Bishop of Poitiers.
Life
He was born in Poitiers, and completed h ...
(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
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...
(Austria, US, 1906–1978)
*
Reuben Louis 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.
Education
Goodstein was educated at St Paul's School in London. He received his Mast ...
(England, 1912–1985)
*
Valentin Goranko
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.
Education and academic career
Gorank ...
(Bulgaria/Sweden, born 1959)
*
Siegfried Gottwald
Siegfried Johannes Gottwald (30 March 1943 – 20 September 2015) was a German mathematician, logician and historian of science.
Life and work
Gottwald was born in Limbach, Saxony in 1943. From 1961 to 1966, he studied mathematics at the Unive ...
(Germany, 1943–2015)
*
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.
Groenendijk wrote a joint Ph.D. dissertation with Martin Sto ...
(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 ...
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 Cour ...
(France, 1908–1931)
*
Arend Heyting
__NOTOC__
Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
Biography
Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a foot ...
(Netherlands, 1898–1980)
*
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many a ...
(Germany, 1862–1943)
*
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician.
Life and career
Hintikka was born in Helsingin maalaiskunta (now Vantaa).
In 1953, he received his doctorate from the University of Helsin ...
(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 ...
(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 ...
(Israel, born 1959)
*
Gérard Huet
Gérard Pierre Huet (; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and ...
(France, born 1947)
I
*
Ibn Taymiyyah
Ibn Taymiyyah (January 22, 1263 – September 26, 1328; ar, ابن تيمية), birth name Taqī ad-Dīn ʾAḥmad ibn ʿAbd al-Ḥalīm ibn ʿAbd al-Salām al-Numayrī al-Ḥarrānī ( ar, تقي الدين أحمد بن عبد الحليم ...
(Turkey, 1263–1328 CE)
*
Marsilius of Inghen
Marsilius of Inghen (c. 1340 – 20 August 1396) was a Middle Ages, medieval Dutch people, Dutch Scholasticism, Scholastic philosophy, philosopher who studied with Albert of Saxony (philosopher), Albert of Saxony and Nicole Oresme under Jean Burid ...
(Netherlands/France/Germany, 1330/1340–1396)
J
*
Giorgi Japaridze Giorgi Japaridze (also spelled Giorgie Dzhaparidze) is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze i ...
(Georgia, 20th century)
*
Stanisław Jaśkowski
Stanisław Jaśkowski (22 April 1906, in Warsaw – 16 November 1965, in Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–War ...
(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 pr ...
(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 of St. Thomas, O.P., born João Poinsot (also called John Poinsot in English; 9 July 1589 – 15 June 1644), was a Portuguese Dominican friar, Thomist theologian, and professor of philosophy. He is known for being an early theorist in the ...
/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. (e ...
(UK, 1858–1931)
*
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.
He received his PhD degree in 1968 from the University of Wisconsin–Madison under super ...
(Netherlands, born 1939)
*
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. He was emeritus distinguished professor of mathematics at Vanderbilt ...
(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
Joachim Jungius (born Joachim Junge; 22 October 1587 – 23 September 1657) was a German mathematician, logician and philosopher of science.
Life
Jungius was a native of Lübeck. He studied metaphysics at the Universities of Rostock and Giess ...
(Germany, 1587–1657)
*
Jñanasrimitra
Jñānaśrīmitra (fl. 975-1025 C.E.) was an Indian Buddhist philosopher of the epistemological (''pramana'') tradition of Buddhist philosophy, which goes back to Dignāga and Dharmakīrti . He was also a poet, a ''dvārapaṇḍita'' (gate-schola ...
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 Richard Kilvington (c. 1302-1361) was an England, English Scholasticism, scholastic theology, theologian and Philosophy, philosopher at the University of Oxford. His surviving works are lecture notes from the 1320s and 1330s. He was a Fellow of Orie ...
(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 Po ...
(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
Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.
Biography
Kreisel was born in Graz and came from a Jewish background; his family ...
(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 emerit ...
(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 ...
(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
Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was a German-born Canadian mathematician. He was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his PhD degree in 1950 with Hans Zassenhaus as ...
(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 subjec ...
(France/Germany, 1728–1777)
*
Karel Lambert
Karel Lambert (born 1928) is an American philosopher and logician at the University of California, Irvine and the University of Salzburg. He has written extensively on the subject of free logic, a term which he coined.
Lambert's law
Lambert's law ...
(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 mathema ...
(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-Sibe ...
(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
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) ASLbr>Newsletter September 2009 was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht– ...
(Sweden, 1936–2009)
*
Ramon Llull
Ramon Llull (; c. 1232 – c. 1315/16) was a philosopher, theologian, poet, missionary, and Christian apologist from the Kingdom of Majorca.
He invented a philosophical system known as the ''Art'', conceived as a type of universal logic to pro ...
(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 ...
(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 the ...
(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 dev ...
(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
Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. He ...
(Poland, 1878–1956)
M
*
Hugh MacColl
Hugh MacColl (before April 1885 spelled as Hugh McColl; 1831–1909) was a Scottish mathematician, logician and novelist.
Life
MacColl was the youngest son of a poor Highland family that was at least partly Gaelic-speaking. Hugh's father died w ...
(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 Taftvill ...
(US, 1909–2005)
*
Dugald Macpherson
H. Dugald Macpherson is a mathematician and logician. He is Professor of Pure Mathematics at the University of Leeds.
He obtained his DPhil from the University of Oxford in 1983 for his thesis entitled "Enumeration of Orbits of Infinite Permuta ...
(UK, 20th century)
*
Penelope Maddy
Penelope Maddy (born 4 July 1950) is an American philosopher. Maddy is Emerita UCI Distinguished Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. She is well known for her influential work i ...
(US, born 1950)
*
John Mair John Mair may refer to:
*John Major (philosopher) (1467–1550), Scottish philosopher
*John Mair (journalist), British journalist and academic
*John Mair (architect) (1876–1959), New Zealand government architect (1923–1941)
*John Mair (athlete) ...
(Scotland, 1467–1550)
*
David Makinson
David Clement Makinson (born 27 August 1941), is an Australians, Australian mathematical logician living in London, England.
Career
Makinson began his studies at University of Sydney, Sydney University in 1958 and was an associate of the Libe ...
(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 ...
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)
*
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)
*
Donald A. Martin
Donald Anthony Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is an emeritus professor of mathematics and philosophy.
Education and career
Martin rece ...
(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
Per Erik Rutger Martin-Löf (; ; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer scie ...
(Sweden, born 1942)
*
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich, (russian: Ю́рий Влади́мирович Матиясе́вич; born 2 March 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's t ...
(Russia/Soviet Union, born 1947)
*
C. A. Meredith
Carew Arthur Meredith (28 July 1904 – 31 March 1976), usually cited as C. A. Meredith, was an influential Irish logician, who worked in Trinity College, Dublin from 1943 to 1964. His work on condensed detachment (inspired by the work of Łuka ...
(Ireland, 1904–1976)
*
Bob Meyer
Robert Bernard Meyer (born August 4, 1939) is an American former Major League Baseball left-handed pitcher. He was signed by the New York Yankees as an amateur free agent in 1960. Meyer pitched for the Yankees (1964), Los Angeles Angels (1964), K ...
(US, 1932–2009)
*
John Stuart Mill
John Stuart Mill (20 May 1806 – 7 May 1873) was an English philosopher, political economist, Member of Parliament (MP) and civil servant. One of the most influential thinkers in the history of classical liberalism, he contributed widely to ...
(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 th ...
(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
Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma.
Biography
Born in Lemberg, Austria-Hungary, Mostowski entered University of Warsaw in 1931. He was ...
Edward Nelson
Edward Nelson (May 4, 1932 – September 10, 2014) was an American mathematician. He was professor in the Mathematics Department at Princeton University. He was known for his work on mathematical physics and mathematical logic. In mathematical ...
(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
''An Essay in Aid of a Grammar of Assent'' (commonly abbreviated to the last three words) is John Henry Newman's seminal book on the philosophy of faith."NEWMAN, John Henry", in ''Chambers Biographical Dictionary'' (1990), Edinburgh: Chambers. ...
'')
*
Jean Nicod
Jean George Pierre Nicod (1 June 1893, in France – 16 February 1924, in Geneva, Switzerland) was a French philosopher and logician, best known for his work on propositional logic and inductive reasoning, induction.
Biography
Nicod's main contr ...
(France, 1893–1924)
*
Pyotr Novikov
Pyotr Sergeyevich Novikov (russian: Пётр Серге́евич Но́виков; 15 August 1901, Moscow, Russian Empire – 9 January 1975, Moscow, Soviet Union) was a Soviet mathematician.
Novikov is known for his work on combinatorial proble ...
(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
Anil Nerode (born 1932) is an American mathematician. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at t ...
(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 vill ...
(England, 1285–1349)
*
Piergiorgio Odifreddi
Piergiorgio Odifreddi (born 13 July 1950, in Cuneo) is an Italian mathematician, logician, aficionado of the history of science, and popular science writer and essayist, especially on philosophical atheism as a member of the Italian Union of R ...
(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 ...
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 Ve ...
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 stand ...
(Italy, 1858–1932)
*
Dan Pedersen
Dan Pedersen is a retired United States Navy Captain, credited as being the leading force behind the creation of the United States Navy Fighter Weapons School program known as “TOPGUN”.
Military career
Pedersen joined the Navy in 1953 as an ...
(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
Lorenzo Peña (born August 29, 1944) is a Spanish philosopher, lawyer, logician and political thinker. His rationalism is a neo-Leibnizian approach both in metaphysics and law.
Life
Lorenzo Peña was born in Alicante, Spain, on August 29, 1 ...
(Spain, born 1944)
*
Chaïm Perelman
Chaïm Perelman (born Henio (or Henri) Perelman; sometimes referred to mistakenly as Charles 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 Bru ...
(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 Paolo da Pergola (died 1455, Venice) was an Italian humanist philosopher, mathematician and Occamist logician. He was a pupil of Paul of Venice.
Work
Paolo da Pergola's most important work was probably ''De sensu composito et diviso''. His logical ...
(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
Pope John XXI ( la, Ioannes XXI; – 20 May 1277), born Pedro Julião ( la, Petrus Iulianus), was head of the Catholic Church and ruler of the Papal States from 8 September 1276 to his death on 20 May 1277. Apart from Damasus I (from ...
)
*
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 ...
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
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.
Prawitz is a member of the Norwegian Academy of Science and Letters, of the Royal Sw ...
(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 for, ...
(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
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contribution ...
(New Zealand, UK, 1914–1969)
*
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. He made significant contributions ...
(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
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 left-nat ...
(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
Helena Rasiowa (20 June 1917 – 9 August 1994) was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic.
Early years
Rasiowa was born in Vienna on 20 June 1917 to Polish parents. As soon as Poland regained ...
(Poland, 1917–1994)
*
Carveth Read
Carveth Read (1848–1931) was a 19th- and 20th-century British philosopher and logician.
Life
He was born 16 March 1848 in Falmouth, Cornwall, England. He was the third son of Edward Read and Elizabeth Truscott. He attended the University o ...
(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 reincorpo ...
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 Hilbe ...
(US, 1919–1985)
*
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. He also developed what is now called the "Rosser siev ...
(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. H ...
, 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
en, Frederick Augustus Albert Anthony Ferdinand Joseph Charles Maria Baptist Nepomuk William Xavier George Fidelis
, image = Albert of Saxony by Nicola Perscheid c1900.jpg
, image_size =
, caption = Photograph by Nicola Persch ...
(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 Germans, 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 pr ...
(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
Saharon Shelah ( he, שהרן שלח; born July 3, 1945) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.
Biography
Shelah was born in Jerusalem on July 3, ...
William of Sherwood
William of Sherwood or William Sherwood (Latin: ''Guillielmus de Shireswode''; ), with numerous variant spellings, was a medieval English scholastic philosopher, logician, and teacher. Little is known of his life, but he is thought to have studied ...
(England, 1190–1249)
*
Hui Shi
Hui Shi (; 370–310 BCE), or Huizi (; "Master Hui"), was a Chinese philosopher during the Warring States period. He was a representative of the School of Names (Logicians), and is famous for ten paradoxes about the relativity of time and space, ...
(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)
*
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, 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
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.
Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, wh ...
(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 th ...
Robert M. Solovay
Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory.
Biography
Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, with a dissertation on '' ...
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)
*
Mr. Spock
Spock is a fictional character in the ''Star Trek'' media franchise. He first appeared in the original ''Star Trek'' series serving aboard the starship USS ''Enterprise'' as science officer and first officer (and Kirk's Second-in-command) and ...
(Vulcan, born 23rd century)
*
John R. Steel
John Robert Steel (born October 30, 1948) is an American set theory, set theorist at University of California, Berkeley (formerly at University of California, Los Angeles, UCLA). He has made many contributions to the theory of inner models and de ...
(US, born 1948)
*
Martin Stokhof
Martin Stokhof (born 1950, Amsterdam) is a Dutch logician and philosopher. Stokhof wrote a joint Ph.D. dissertation with Jeroen Groenendijk on the semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem. He was als ...
(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 134 ...
(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'', Routledge ...
(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
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
He was a Constructivism (mathem ...
(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 com ...
(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.
Lif ...
(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 theol ...
, author of
Nyayakusumanjali
Nyayakusumanjali ('' A Handful of Flowers of Logic'') is a treatise in Sanskrit composed by 10th century CE Indian logician and philosopher Udayana. The work has been described as codification of the Hindu arguments for the existence of God. It h ...
( rational theology to prove the existense of God using logic) (India, 10th century)
* Udyotakara (India, c. 6th century CE)
*
Alasdair Urquhart
Alasdair Ian Fenton Urquhart (; born 20 December 1945) is a Scottish–Canadian philosopher and emeritus professor of philosophy at the University of Toronto. He has made contributions to the field of logic, especially non-classical logic. On ...
(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 ''Don ...
(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 Nicolai Alexandrovich Vasiliev (russian: Николай Александрович Васильев), also Vasil'ev, Vassilieff, Wassilieff (December 31, 1940), was a Russian logician, philosopher, psychologist, poet. He was a forerunner of Paracons ...
(Russia, 1880–1940)
*
Robert Lawson Vaught
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician and one of the founders of model theory.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 Ve ...
(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 who ...
(Spain, 1493–1540)
*
Pakṣilasvāmin Vātsyāyana
Pakṣilasvāmin Vātsyāyana was an Indian philosopher, commentator and logician of the Nyaya School. He is the author of the Commentary, "Nyāya", the first full commentary on the Nyāya-sūtra of Nyāya Sūtras, Gautama (c. 150 CE), which is its ...
wrote the first known commentary on Goutama's Nyaya Sutras (5th century CE)
*
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
Richard Whately (1 February 1787 – 8 October 1863) was an English academic, rhetorician, logician, philosopher, economist, and theologian who also served as a reforming Church of Ireland Archbishop of Dublin. He was a leading Broad Churchman ...
(England, 1787–1863)
*
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He is best known as the defining figure of the philosophical school known as process philosophy, which today has found applicat ...
(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 considere ...
(Austria, UK, 1889–1951)
* Christian Wolff (Germany, 1679–1754)
*
W. Hugh Woodin
William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinals, the Woodin cardinals, ...
(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
Jin Yuelin or Chin Yueh-Lin (; 14 July 1895 – 19 October 1984) was a Chinese philosopher best known for three works, one each on logic, metaphysics, and epistemology. He was also a commentator on Bertrand Russell.
Biography
Jin was born in Ch ...
(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
Lotfi Aliasker Zadeh (; az, Lütfi Rəhim oğlu Ələsgərzadə; fa, لطفی علیعسکرزاده; 4 February 1921 – 6 September 2017) was a mathematician, computer scientist, electrical engineer, artificial intelligence researcher, an ...
(US, 1921–2017)
*
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (, ; 27 July 187121 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics. He is known for his role in developing Zermelo–Fraenkel axiomatic se ...
(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 famil ...
(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 ...
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 ...