List of logicians
Encyclopedia
A logician is a person, such as a philosopher or mathematician
, whose topic of scholarly study is logic
. The famous logicians are listed below in English
alphabet
ical transliteration
order (by surname
).
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
, whose topic of scholarly study is logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
. The famous logicians are listed below in English
English language
English is a West Germanic language that arose in the Anglo-Saxon kingdoms of England and spread into what was to become south-east Scotland under the influence of the Anglian medieval kingdom of Northumbria...
alphabet
Alphabet
An alphabet is a standard set of letters—basic written symbols or graphemes—each of which represents a phoneme in a spoken language, either as it exists now or as it was in the past. There are other systems, such as logographies, in which each character represents a word, morpheme, or semantic...
ical transliteration
Transliteration
Transliteration is a subset of the science of hermeneutics. It is a form of translation, and is the practice of converting a text from one script into another...
order (by surname
Surname
A surname is a name added to a given name and is part of a personal name. In many cases, a surname is a family name. Many dictionaries define "surname" as a synonym of "family name"...
).
A
- Pierre Abélard (France, 1079-1142)
- Wilhelm AckermannWilhelm AckermannWilhelm Friedrich Ackermann was a German mathematician best known for the Ackermann function, an important example in the theory of computation....
(Germany, 1896–1962) - Sergei AdianSergei AdianSergei Ivanovich Adian, also Adjan is one of the most prominent Soviet and Russian mathematicians. He is a professor at the Moscow State University. He is most famous for his work in group theory, especially on the Burnside problem.-Biography:...
(Russia/Soviet Union/Armenia, born 1931) - Kazimierz AjdukiewiczKazimierz AjdukiewiczKazimierz Ajdukiewicz was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic. He originated many novel ideas in semiotics, including the "categorial grammar" used by many formal linguists...
(Poland, 1890–1963) - Alan Ross AndersonAlan Ross AndersonAlan Ross Anderson was an American logician and professor of philosophy at Yale University and the University of Pittsburgh....
(USA, 1924–1972) - Peter B. Andrews (USA, born 1938)
- Lennart ÅqvistLennart ÅqvistLennart Åqvist is a Swedish logician. He was a founding member of the editorial board of the Journal of Philosophical Logic....
(b. Norway 1932) - AristotleAristotleAristotle was a Greek philosopher and polymath, a student of Plato and teacher of Alexander the Great. His writings cover many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, linguistics, politics, government, ethics, biology, and zoology...
(Greece, 384 BC – 322 BC)
B
- BahmanyarBahmanyarAbul-Ḥasan Bahmanyār ibn Marzubān 'Ajamī Aḍarbāyijānī, known as Bahmanyār was a famous pupil of Avicenna. He was of a Persian Zoroastrian background and his knowledge of Arabic was not perfect....
(Iran, died 1067) - Alexander BainAlexander BainAlexander Bain was a Scottish philosopher and educationalist in the British school of empiricism who was a prominent and innovative figure in the fields of psychology, linguistics, logic, moral philosophy and education reform...
(1818–1903) - Stefan BanachStefan BanachStefan Banach was a Polish mathematician who worked in interwar Poland and in Soviet Ukraine. He is generally considered to have been one of the 20th century's most important and influential mathematicians....
(Poland, 1892–1945) - Yehoshua Bar-HillelYehoshua Bar-HillelYehoshua Bar-Hillel was an Israeli philosopher, mathematician, and linguist at the Hebrew University of Jerusalem, best known for his pioneering work in machine translation and formal linguistics.- Biography :...
(Israel, 1915–1975) - Henk BarendregtHenk BarendregtHendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel...
(Netherlands, born 1947) - Jon BarwiseJon BarwiseKenneth Jon Barwise was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used....
(USA, 1942–2000) - James Earl BaumgartnerJames Earl BaumgartnerJames Earl Baumgartner is an American mathematician active in set theory, mathematical logic and foundations, and topology. He is an emeritus professor at Dartmouth College....
(USA, born 1943) - Nuel BelnapNuel BelnapNuel D. Belnap, Jr. is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory. He has taught at the University of Pittsburgh since 1961; before that he was at Yale University. His best known work is...
(USA, born 1931) - Paul BenacerrafPaul BenacerrafPaul Joseph Salomon Benacerraf is an American philosopher working in the field of the philosophy of mathematics who has been teaching at Princeton University since he joined the faculty in 1960. He was appointed Stuart Professor of Philosophy in 1974, and recently retired as the James S....
(USA) - Johan van BenthemJohan van Benthem (logician)Johannes Franciscus Abraham Karel van Benthem is a University Professor of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University . He was awarded the Spinozapremie in 1996.He studied physics , philosophy...
(Netherlands, born 1949) - Paul BernaysPaul BernaysPaul Isaac Bernays was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant to, and close collaborator of, David Hilbert.-Biography:Bernays spent his childhood in Berlin. Bernays attended the...
(Switzerland, 1888–1977) - Evert Willem BethEvert Willem BethEvert Willem Beth was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.- Biography :...
(Netherlands, 1908–1964) - Jean-Yves BéziauJean-Yves BéziauJean-Yves Béziau is a professor and researcher of the Brazilian Research Council - CNPq - at the Federal University of Ceara, Brazil. Béziau is a dual citizen of France and Switzerland...
(Switzerland, born 1965) - David BlitzDavid BlitzDavid Blitz has been a faculty member at Central Connecticut State University since 1989. His areas of teaching and research are the history and philosophy of science, with special interest in theories of evolution and modern logic, as well as the work of Charles Darwin and Bertrand Russell...
(USA) - Józef Maria BocheńskiJózef Maria BochenskiJózef Maria Bocheński was a Polish Dominican, logician and philosopher.-Life:...
(Poland, 1902–1995) - Bernard BolzanoBernard BolzanoBernhard Placidus Johann Nepomuk Bolzano , Bernard Bolzano in English, was a Bohemian mathematician, logician, philosopher, theologian, Catholic priest and antimilitarist of German mother tongue.-Family:Bolzano was the son of two pious Catholics...
(Austrian Empire, 1781–1848) - Andrea BonomìAndrea BonomìAndrea Bonomi is an Italian philosopher and logician. Born in Rome in 1940, he studied with Enzo Paci. After an initial interest in phenomenology , he decided to dedicate himself wholeheartedly to the study of analytic philosophy, particularly the philosophy of language...
(Italy, born 1940) - George BooleGeorge BooleGeorge Boole was an English mathematician and philosopher.As the inventor of Boolean logic—the basis of modern digital computer logic—Boole is regarded in hindsight as a founder of the field of computer science. Boole said,...
(England/Ireland, 1815–1864) - George BoolosGeorge BoolosGeorge Stephen Boolos was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.- Life :...
(USA, 1940–1996) - Nicolas BourbakiNicolas BourbakiNicolas Bourbaki is the collective pseudonym under which a group of 20th-century mathematicians wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. With the goal of founding all of mathematics on set theory, the group strove for rigour and generality...
(pseudonym used by a group of French mathematicians, 20th century) - Richard BrinkleyRichard BrinkleyRichard Brinkley was an English Franciscan scholastic philosopher and theologian. He was at the University of Oxford in the mid-fourteenth century; he produced a Summa Logicae in a nominalist vein in the 1360s or early 1370s, and other works....
(died c. 1379) - Luitzen Egbertus Jan BrouwerLuitzen Egbertus Jan BrouwerLuitzen Egbertus Jan Brouwer FRS , usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis.-Biography:Early in his career,...
(Netherlands, 1881–1966) - Franco Burgersdijk (Netherlands, 1590–1629)
- Jean BuridanJean BuridanJean Buridan was a French priest who sowed the seeds of the Copernican revolution in Europe. Although he was one of the most famous and influential philosophers of the late Middle Ages, he is today among the least well known...
(France, c. 1300-post 1358)
C
- Georg Ferdinand CantorGeorg CantorGeorg Ferdinand Ludwig Philipp Cantor was a German mathematician, best known as the inventor of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets,...
(Germany, 1845–1918) - Rudolf CarnapRudolf CarnapRudolf Carnap was an influential German-born 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....
(Germany, 1891–1970) - Lewis CarrollLewis CarrollCharles Lutwidge Dodgson , better known by the pseudonym Lewis Carroll , was an English author, mathematician, logician, Anglican deacon and photographer. His most famous writings are Alice's Adventures in Wonderland and its sequel Through the Looking-Glass, as well as the poems "The Hunting of the...
(UK, 1832–1898) - Gregory ChaitinGregory ChaitinGregory John Chaitin is an Argentine-American mathematician and computer scientist.-Mathematics and computer science:Beginning in 2009 Chaitin has worked on metabiology, a field parallel to biology dealing with the random evolution of artificial software instead of natural software .Beginning in...
(Argentina/USA, born 1947) - ChrysippusChrysippusChrysippus of Soli 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 Cleanthes in the Stoic school. When Cleanthes died, around 230 BC, Chrysippus became the third head of the school...
(Greece, c. 280 BC – c. 207 BC) - Alonzo ChurchAlonzo ChurchAlonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
(USA, 1903–1995) - Leon ChwistekLeon ChwistekLeon Chwistek was a Polish avant-garde painter, theoretician of modern art, literary critic, logician, philosopher and mathematician.-Logic and philosophy:...
(Poland, 1884–1944) - Paul Joseph CohenPaul Cohen (mathematician)Paul Joseph Cohen was an American mathematician best known for his proof of the independence of the continuum hypothesis and the axiom of choice from Zermelo–Fraenkel set theory, the most widely accepted axiomatization of set theory.-Early years:Cohen was born in Long Branch, New Jersey, into a...
(USA, 1934–2007) - Garlandus CompotistaGarlandus CompotistaGarlandus Compotista also known as Garland the Computist was an early medieval logician of the eleventh-century school of Liège. Little is known of his life; the Dialectica published under his name by L. M. de Rijk is now commonly attributed to Gerlandus of Besançon : see John Marenbon, Medieval...
(11th century) - S. Barry CooperS. Barry CooperS. Barry Cooper is a British mathematician and computability theorist. He is currently Professor of Mathematical Logic at the University of Leeds. His book Computability Theory has made this basic but technical research area accessible to a new generation of students...
(UK, born 1943) - Newton da CostaNewton da CostaNewton Carneiro Affonso da Costa 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 1961 Ph.D...
(Brazil, born 1929) - William CraigWilliam Craig (logician)William Lane Craig is Emeritus professor of Philosophy at University of California, Berkeley in Berkeley, California. His interests include mathematical logic, and philosophy of science. He is mostly known for the Craig interpolation theorem.Craig received his Ph.D. at Harvard University.-...
(USA, born 1918) - Haskell CurryHaskell CurryHaskell Brooks Curry 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 Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's...
(USA, 1900–1982) - Tadeusz CzeżowskiTadeusz CzezowskiTadeusz Czeżowski was a Polish philosopher and logician.Czeżowski, born in Vienna, Austria, became a student of Kazimierz Twardowski and member of the Lwów-Warsaw School of Logic. From 1923 to 1939 he was a professor at Stefan Batory University in Wilno, Lithuania, and from 1945 to 1960 a...
(Poland, 1889–1981)
D
- Martin DavisMartin DavisMartin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem . He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church . He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL...
(USA, born 1928) - Augustus De MorganAugustus De MorganAugustus De Morgan was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. The crater De Morgan on the Moon is named after him....
(UK, 1806–1871) - DharmakirtiDharmakirtiDharmakīrti , was an Indian scholar and one of the Buddhist founders of Indian philosophical logic. He was one of the primary theorists of Buddhist atomism, according to which the only items considered to exist are momentary states of consciousness.-History:Born around the turn of the 7th century,...
(India, c. 7th century) - DignāgaDignagaDignāga was an Indian scholar and one of the Buddhist founders of Indian logic.He was born into a Brahmin family in Simhavakta near Kanchi Kanchipuram), and very little is known of his early years, except that he took as his spiritual preceptor Nagadatta of the Vatsiputriya school, before being...
(India, fl. 5th century) - Diodorus CronusDiodorus CronusDiodorus Cronus was a Greek philosopher and dialectician connected to the Megarian school. He was most notable for logic innovations, including his master argument fomulated in response to Aristotle's discussion of future contingents.-Life:...
(Greece, 4th-3rd century BC) - Michael A. E. Dummett (UK, born 1925)
- John DumbletonJohn DumbletonJohn Dumbleton , one of the Oxford Calculators, was a Scholastic logician and natural philosopher at Merton College, Oxford, where he was a fellow by 1338...
, (England, died c. 1349)
F
- Solomon FefermanSolomon FefermanSolomon Feferman is an American philosopher and mathematician with major works in mathematical logic.He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski...
(USA, born 1928) - Richard FerrybridgeRichard FerrybridgeRichard Ferrybridge was an English Scholastic logician of the fourteenth century.His works include a Tractatus de veritate sive logica, and the Consequentiae. He is alluded to in The Anatomy of Melancholy.-Notes:...
(England, 14th century) - Hartry FieldHartry FieldHartry H. Field is a philosopher, the Silver Professor of Philosophy at New York University. He previously taught at the University of Southern California and The Graduate Center of the City University of New York. He earned his Ph.D...
(USA, born 1946) - Kit FineKit FineKit Fine is Silver Professor of Philosophy and Mathematics at New York University. He previously taught for several years at UCLA...
(USA, born 1946) - Matthew ForemanMatthew ForemanMatthew Dean Foreman is a set theorist at University of California, Irvine. He has made contributions in widely varying areas of set theory, including descriptive set theory, forcing, and infinitary combinatorics....
(USA, born 1957) - Michael FourmanMichael FourmanMichael Paul Fourman, FBCS is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009....
(UK, born 1950) - Adolf Fraenkel (Germany, 1891–1965)
- Roland FraïsséRoland FraïsséRoland Fraïssé was a French mathematical logician. He 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 two model-theoretic structures were elementarily equivalent...
(France, 1920–2008) - Gottlob FregeGottlob FregeFriedrich Ludwig Gottlob Frege was a German mathematician, logician and philosopher. He is considered to be one of the founders of modern logic, and made major contributions to the foundations of mathematics. He is generally considered to be the father of analytic philosophy, for his writings on...
(Germany, 1848–1925) - Harvey FriedmanHarvey FriedmanHarvey Friedman is a mathematical logician at Ohio State University in Columbus, Ohio. He is noted especially for his work on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary...
(USA)
G
- Dov GabbayDov GabbayDov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London . He has authored over four hundred and fifty research papers and over thirty research monographs...
(UK, born 1945) - Haim Gaifman
- L. T. F. Gamut (collective pseudonym used by a group of Dutch logicians, fl. 1980s–1990s)
- Robin GandyRobin GandyRobin Oliver Gandy 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 they worked together.Educated at Abbotsholme, Robin Gandy took two years of the Mathematical...
(Britain, 1919–1995) - Sol GarfunkelSol GarfunkelSolomon "Sol" Garfunkel is an American mathematician who has focused his career on mathematics education and is best known for his mathematical television series For All Practical Purposes....
(born 1943) - Garlandus CompotistaGarlandus CompotistaGarlandus Compotista also known as Garland the Computist was an early medieval logician of the eleventh-century school of Liège. Little is known of his life; the Dialectica published under his name by L. M. de Rijk is now commonly attributed to Gerlandus of Besançon : see John Marenbon, Medieval...
(France, c. 11th century) - Akṣapāda Gautama, author of Nyāya SūtrasNyaya SutrasThe Nyāya Sūtras are an ancient Indian text on of philosophy composed by ' . The sutras contain five chapters, each with two sections...
(India, c. 2nd century BC) - Peter GeachPeter GeachPeter Thomas Geach is a British philosopher. His areas of interest are the history of philosophy, philosophical logic, and the theory of identity.He was educated at Balliol College, Oxford...
(UK, born 1916) - Gerhard GentzenGerhard GentzenGerhard Karl Erich Gentzen was a German mathematician and logician. He had his major contributions in the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus...
(Germany, 1909–1945) - Joseph Diaz GergonneJoseph Diaz GergonneJoseph Diaz Gergonne was a French mathematician and logician.-Life:In 1791, Gergonne enlisted in the French army as a captain. That army was undergoing rapid expansion because the French government feared a foreign invasion intended to undo the French Revolution and restore Louis XVI to full power...
(France, 1771–1859) - Gilbert de la PorréeGilbert de la PorréeGilbert de la Porrée , also known as Gilbert of Poitiers, Gilbertus Porretanus or Pictaviensis, was a scholastic logician and theologian.-Life:...
(France, 1070-1154) - Jean-Yves GirardJean-Yves GirardJean-Yves Girard is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics...
(France, born 1947) - Kurt GödelKurt GödelKurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
(Austria, USA, 1906–1978) - Siegfried GottwaldSiegfried GottwaldSiegfried Johannes Gottwald is a German mathematician, logician and historian of science.- Life and work :...
(Germany, born 1943) - Jeroen GroenendijkJeroen GroenendijkJeroen Groenendijk is a Dutch logician, linguist and philosopher, working on philosophy of language, formal semantics, pragmatics, and semantics of questions. His current work is mainly focused on studying and developing the recently founded framework of Inquisitive Semantics.He is a member of the...
(Netherlands)
H
- Susan HaackSusan HaackSusan Haack is an English professor of philosophy and law at the University of Miami in the United States. She has written on logic, the philosophy of language, epistemology, and metaphysics. Her pragmatism follows that of Charles Sanders Peirce.-Career:Haack is a graduate of the University of...
(UK, born 1945) - Petr HájekPetr HájekPetr Hájek is a Czech scientist in the area of mathematical logic and a professor of mathematics. He works at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and worked as a lecturer at the Faculty of Mathematics and Physics at the Charles University in Prague...
(Czech Republic, born 1941) - Leo HarringtonLeo HarringtonLeo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works inrecursion theory, model theory, and set theory.* Harrington and Jeff Paris proved the Paris–Harrington theorem....
(USA) - Robert S. HartmanRobert S. HartmanRobert Schirokauer Hartman was a logician and philosopher. His primary field of study was scientific axiology and he is known as its original theorist...
(Germany, USA, 1910–1973) - Georg Wilhelm Friedrich HegelGeorg Wilhelm Friedrich HegelGeorg Wilhelm Friedrich Hegel was a German philosopher, one of the creators of German Idealism. His historicist and idealist account of reality as a whole revolutionized European philosophy and was an important precursor to Continental philosophy and Marxism.Hegel developed a comprehensive...
(1770–1831) - Jean Van HeijenoortJean Van HeijenoortJean Louis Maxime van Heijenoort was a pioneer historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and from then until 1947, an American Trotskyist activist.-Life:Van Heijenoort was born in Creil, France...
(France, USA, 1912–1986) - Leon HenkinLeon HenkinLeon Albert Henkin was a logician at the University of California, Berkeley. He was principally known for the "Henkin's completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.-The completeness proof:Henkin's result was not novel; it had...
(USA, 1921–2006) - Jacques HerbrandJacques HerbrandJacques Herbrand was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. Although he died at only 23 years of age, he was already considered one of "the greatest mathematicians of the younger generation" by his professors Helmut Hasse, and Richard Courant.He...
(France, 1908–1931) - Arend HeytingArend HeytingArend Heyting was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic...
(Netherlands, 1898–1980) - David HilbertDavid HilbertDavid Hilbert was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of...
(Germany, 1862–1943) - Jaakko HintikkaJaakko HintikkaKaarlo Jaakko Juhani Hintikka is a Finnish philosopher and logician.Hintikka was born in Vantaa. After teaching for a number of years at Florida State University, Stanford, University of Helsinki, and the Academy of Finland, he is currently Professor of Philosophy at Boston University...
(Finland, born 1929) - Alfred HornAlfred HornAlfred Horn 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 clauses and Horn sentences, which later would form the foundation of logic programming.Horn was born on...
(USA, 1918–2001) - William Alvin HowardWilliam Alvin HowardWilliam Alvin Howard 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 also been active in the theory of proof-theoretic ordinals. He...
(born 1926) - Ehud HrushovskiEhud HrushovskiEhud Hrushovski is a mathematical logician. He is a Professor of Mathematics at the Hebrew University of Jerusalem.His father, Benjamin Harshav, is Emeritus Professor in Yale University and Tel Aviv University to Comparative Literature and a poet....
(Israel, born 1959)
I
- Ibn Taymiyyah (Turkey, born 1263–1328 CE)
- Marsilius of InghenMarsilius of InghenMarsilius of Inghen 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 Heidelberg from 1386 to 1396.-Life:He was born near Nijmegen...
(Netherlands, between 1330 & 1340-1396)
J
- Giorgi JaparidzeGiorgi JaparidzeGiorgi Japaridze is a logician, at Villanova University in Villanova, Pennsylvania. In the past his contributions were primarily into the areas of provability logic and interpretability logic...
- Stanisław Jaśkowski (Poland, 1906–1935)
- Richard JeffreyRichard JeffreyRichard C. Jeffrey was an American philosopher, logician, and probability theorist. He was a native of Boston, Massachusetts....
(USA, 1926–2002) - Ronald JensenRonald JensenRonald Björn Jensen is an American mathematician active in Europe, primarily known for his work in mathematical logic and set theory.-Career:...
(USA, Europe, born 1936) - William Stanley JevonsWilliam Stanley JevonsWilliam Stanley Jevons was a British economist and logician.Irving Fisher described his book The Theory of Political Economy as beginning the mathematical method in economics. It made the case that economics as a science concerned with quantities is necessarily mathematical...
(England, 1835–1882) - William Ernest JohnsonWilliam Ernest JohnsonWilliam Ernest Johnson was a British logician mainly remembered for his Logic , in 3 volumes....
(Britain, 1858–1931) - Dick de JonghDick de JonghDick H. J. de Jongh 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 supervision of Stephen Kleene with a dissertation entitled Investigations on the Intuitionistic...
(Netherlands, born 1939) - Bjarni JónssonBjarni JónssonBjarni Jónsson is an Icelandic mathematician and logician working in universal algebra and lattice theory. He is emeritus Distinguished Professor of Mathematics at Vanderbilt University and the honorary editor in chief of Algebra Universalis...
(Iceland, born 1920) - Philip JourdainPhilip JourdainPhilip Edward Bertrand Jourdain was a British logician and follower of Bertrand Russell.He was born in Ashbourne in Derbyshire one of a large family belonging to Emily Clay and his father Francis Jourdain . He was partly disabled by Friedreich's ataxia...
(Britain, 1879–1919)
K
- David KaplanDavid KaplanDavid Kaplan is the name of:* David Kaplan , American film director* Dave Kaplan, American Mixed Martial Artist* David Kaplan , American philosopher* David Kaplan...
(USA, born 1933) - Alexander S. KechrisAlexander S. KechrisAlexander Sotirios Kechris is a descriptive set theorist at Caltech. He has made major contributions to the theory of Borel equivalence relations....
(USA, born 1946) - Richard KilvingtonRichard KilvingtonRichard Kilvington was an English scholastic philosopher at the University of Oxford. His surviving works are lecture notes from the 1320s and 1330s. He was a Fellow of Oriel College, Oxford...
(England, c. 1305-1361) - Stephen Cole KleeneStephen Cole KleeneStephen Cole Kleene was an American mathematician who helped lay the foundations for theoretical computer science...
(USA, 1909–1994) - Tadeusz KotarbińskiTadeusz KotarbinskiTadeusz Kotarbiński , a pupil of Kazimierz Twardowski, was a Polish philosopher, logician, one of the most representative figures of the Lwów-Warsaw School, and a member of the Polish Academy of Learning as well as the Polish Academy of Sciences...
(Poland, 1886–1981) - Robert KowalskiRobert KowalskiRobert "Bob" Anthony Kowalski is a British logician and computer scientist, who has spent most of his career in the United Kingdom....
(USA, UK, born 1941) - Georg KreiselGeorg KreiselGeorg Kreisel FRS is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War...
(Austria/Britain/USA, born 1923) - Saul KripkeSaul KripkeSaul Aaron Kripke is an American philosopher and logician. He is a professor emeritus at Princeton and teaches as a Distinguished Professor of Philosophy at the CUNY Graduate Center...
(USA, born 1940) - Leopold KroneckerLeopold KroneckerLeopold Kronecker was a German mathematician who worked on number theory and algebra.He criticized Cantor's work on set theory, and was quoted by as having said, "God made integers; all else is the work of man"...
(Germany, 1823–1891)
L
- Christine Ladd-FranklinChristine Ladd-FranklinChristine Ladd-Franklin was the first American woman psychologist, logician, and mathematician.-Early Life and Early Education:...
(USA, 1847–1930) - Gottfried Wilhelm LeibnizGottfried LeibnizGottfried Wilhelm Leibniz was a German philosopher and mathematician. He wrote in different languages, primarily in Latin , French and German ....
(Germany, 1646–1716) - Stanisław Leśniewski (Poland, 1886–1939)
- Clarence Irving LewisClarence Irving LewisClarence Irving Lewis , usually cited as C. I. Lewis, was an American academic philosopher and the founder of conceptual pragmatism. First a noted logician, he later branched into epistemology, and during the last 20 years of his life, he wrote much on ethics.-Early years:Lewis was born in...
(USA, 1883–1964) - David Kellogg LewisDavid Kellogg LewisDavid Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton from 1970 until his death. He is also closely associated with Australia, whose philosophical community he visited almost annually for more than thirty years...
(USA, 1941–2001) - Adolf LindenbaumAdolf LindenbaumAdolf Lindenbaum , was a Polish logician and mathematician.He was a student of Wacław Sierpiński, became a distinguished author of works on set theory and had served as an Assistant Professor at Warsaw University...
(Poland, 1904–1941) - Ramon LlullRamon LlullRamon Llull was a Majorcan writer and philosopher, logician and tertiary Franciscan. He wrote the first major work of Catalan literature. Recently-surfaced manuscripts show him to have anticipated by several centuries prominent work on elections theory...
(Catalonia, 1232-1315) - Martin LöbMartin LöbMartin Hugo Löb 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 retirement...
(Germany, 1921–2006) - Paul LorenzenPaul LorenzenPaul Lorenzen was a philosopher andmathematician.As a founder of the Erlangen School and the inventor of game semantics he was a famous German philosopher of the 20th century.-Biography:Lorenzen studied with David Hilbert as a schoolboy and he was one of Hasse's...
(Germany, 1915–1994) - Jerzy Łoś (Poland, 1920–1998)
- Hermann Lotze (Germany 1817–1881)
- Leopold LöwenheimLeopold LöwenheimLeopold Löwenheim was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin...
(Germany, 1878–1957) - Jan Łukasiewicz (Poland, 1878–1956)
M
- Hugh MacCollHugh MacCollHugh MacColl was a Scot who trained as a mathematician and became a logician. MacColl was the youngest son of a poor highland family which was at least in part Gaelic-speaking...
(Scotland, 1837–1909) - Saunders MacLane (USA, 1909–2005)
- Dugald MacphersonDugald MacphersonH. Dugald Macpherson is a mathematician and logician. He is Professor of 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 Permutation Groups" under the supervision of Peter Cameron. In 1997...
(UK) - Penelope MaddyPenelope MaddyPenelope Maddy is a 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 in the philosophy of mathematics, where she has worked on realism and naturalism.Maddy received her Ph.D. from...
(USA) - David MakinsonDavid MakinsonDavid Clement Makinson, D.Phil, , is an Australian mathematical logician living in London, England.- Career :Makinson began his studies at Sydney University in 1958 and was an associate of the Libertarian Society and Sydney Push...
(Australia, UK, born 1941) - John MairJohn MairJohn Mair was a Scottish philosopher, much admired in his day and an acknowledged influence on all the great thinkers of the time. He was a very renowned teacher and his works much collected and frequently republished across Europe...
(Scotland, 1467-1550) - Isaac MalitzIsaac MalitzIsaac Richard Jay Malitz is a logician who introduced the subject of positive set theory in his 1976 Ph.D. Thesis at UCLA.- References :* – entry in the Mathematics Genealogy Project...
(USA, born 1947) - Ruth Barcan MarcusRuth Barcan MarcusRuth Barcan Marcus is the American philosopher and logician after whom the Barcan formula is named. She is a pioneering figure in the quantification of modal logic and the theory of direct reference...
(USA, born 1921) - Per Martin-LöfPer Martin-LöfPer Erik Rutger Martin-Löf 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 science. Since the late 1970s, Martin-Löf's publications have been mainly in...
(Sweden, born 1942) - Donald A. MartinDonald A. MartinDonald A. Martin is a set theorist and philosopher of mathematics at UCLA, where he is a member of the faculty of mathematics and philosophy....
(USA, born 1940) - Richard Milton MartinRichard Milton MartinRichard Milton Martin was an American logician and analytic philosopher. In his Ph.D. thesis written under Frederic Fitch, Martin discovered virtual sets a bit before Quine, and was possibly the first non-Pole other than Joseph Henry Woodger to employ a mereological system...
(USA, 1916–1985) - Yuri MatiyasevichYuri MatiyasevichYuri Vladimirovich Matiyasevich, is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem, presented in his doctoral thesis, at LOMI .- Biography :* In 1962-1963 studied at Saint Petersburg Lyceum 239...
(Russia/Soviet Union, born 1947) - C. A. MeredithCarew MeredithCarew Arthur Meredith was an influential Irish logician, appointed to Trinity College, Dublin in 1947...
(Ireland, 1904–1976) - Bob MeyerBob Meyer (Logician)Robert Kenneth "Bob" Meyer was a logician and Professor Emeritus at the Australian National University.First trained to be a minister at the Union Congregational Church by the Princeton Theological Seminary in 1956, he completed his graduate studies in philosophy and logic at the University of...
(USA, 1932–2009) - John Stuart MillJohn Stuart MillJohn Stuart Mill was a British philosopher, economist and civil servant. An influential contributor to social theory, political theory, and political economy, his conception of liberty justified the freedom of the individual in opposition to unlimited state control. He was a proponent of...
(England, 1806–1873) - Richard MontagueRichard MontagueRichard Merett Montague was an American mathematician and philosopher.-Career:At the University of California, Berkeley, Montague earned an B.A. in Philosophy in 1950, an M.A. in Mathematics in 1953, and a Ph.D. in Philosophy 1957, the latter under the direction of the mathematician and logician...
(USA, 1930–1971) - Yiannis N. MoschovakisYiannis N. MoschovakisYiannis Nicholas Moschovakis is a set theorist, descriptive set theorist, and recursion theorist, at UCLA. For many years he has split his time between UCLA and University of Athens . His book Descriptive Set Theory is the primary reference for the subject...
(USA, born 1938) - Andrzej MostowskiAndrzej MostowskiAndrzej Mostowski was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma....
(Poland, 1913–1975)
N
- Edward NelsonEdward NelsonEdward Nelson is a professor in the Mathematics Department at Princeton University. He is known for his work on mathematical physics and mathematical logic...
(USA, born 1932) - John von NeumannJohn von NeumannJohn von Neumann was a Hungarian-American mathematician and polymath who made major contributions to a vast number of fields, including set theory, functional analysis, quantum mechanics, ergodic theory, geometry, fluid dynamics, economics and game theory, computer science, numerical analysis,...
(Hungary, USA, 1903–1957) - Jean NicodJean NicodJean George Pierre Nicod was a French philosopher and logician.In his best known work, he showed that the classical propositional calculus could be derived from one axiom and one rule, both expressed using the Sheffer stroke...
(France, 1893–1924) - Pyotr Novikov (Russia/Soviet Union, 1901–1975)
O
- William of OckhamWilliam of OckhamWilliam of Ockham was an English Franciscan friar and scholastic philosopher, who is believed to have been born in Ockham, a small village in Surrey. He is considered to be one of the major figures of medieval thought and was at the centre of the major intellectual and political controversies of...
(England, 1285–1349) - Piergiorgio OdifreddiPiergiorgio OdifreddiPiergiorgio Odifreddi , is an Italian mathematician, logician and aficionado of the history of science, who is also extremely active as a popular science writer and essayist, especially in a perspective of philosophical atheism as a member of the Italian Union of Rationalist Atheists and...
(Italy, born 1950) - Ivan OrlovIvan OrlovOrlov, Ivan Efimovich was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist. The date of his death is unknown but is believed to have occurred no earlier than 1936.-Education and Scientific Career:Orlov studied at the Natural Sciences Faculty of...
(Russia, 1886–1936)
P
- John PagusJohn PagusJohn Pagus was a scholastic philosopher at the University of Paris, generally considered the first logician among the recorded scholastics.-Life:...
(France, fl. 1220-1229) - Jeff ParisJeff ParisJeffrey Bruce Paris is a British mathematician known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles....
(UK, born 1944) - Charles ParsonsCharles Parsons (philosopher)Charles Dacre Parsons is a distinguished figure in the philosophy of mathematics.He is a son of social scientist Talcott Parsons. A specialist in the philosophy of mathematics and logic, Parsons earned his Ph.D. at Harvard University in 1961, under the direction of Burton Dreben and Willard Van...
(USA, born 1933) - Solomon PassySolomon PassySolomon Isaac Passy is a Bulgarian politician, foreign minister of Bulgaria from July 2001 until August 2005, and the Chairman-in-Office of the OSCE in 2004. Dr. Passy is also a member of the Advisory Board of the Institute for Cultural Diplomacy.- Summary :Solomon Passy was born in Plovdiv. He...
(Bulgaria, born 1956) - Giuseppe PeanoGiuseppe PeanoGiuseppe Peano was an Italian mathematician, whose work was of philosophical value. 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 standard axiomatization of the natural numbers is named the Peano axioms in...
(Italy, 1858–1932) - Charles Sanders Peirce (USA, 1839–1914)
- Lorenzo PeñaLorenzo PeñaLorenzo Peña 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, 1944...
(Spain, born 1944) - Paolo da PergolaPaolo da PergolaPaolo da Pergola was an Italian humanist philosopher, mathematician and logician. He was a pupil of Paul of Venice.His most important work was probably De sensu composito et diviso.His logical works were printed early....
(Italy, died 1455) - Chaim PerelmanChaim PerelmanChaïm Perelman was a Polish-born philosopher of law, who studied, taught, and lived most of his life in Brussels. He was among the most important argumentation theorists of the twentieth century...
(Poland, Belgium, 1912–1984) - Philo the DialecticianPhilo the DialecticianPhilo the Dialectician was a dialectic philosopher of the Megarian school. He is often called Philo of Megara although the city of his birth is unknown...
(Greece, 4th-3rd century BC) - Walter PittsWalter PittsWalter Harry Pitts, Jr. was a logician who worked in the field of cognitive psychology.He proposed landmark theoretical formulations of neural activity and emergent processes that influenced diverse fields such as cognitive sciences and psychology, philosophy, neurosciences, computer science,...
(USA, 1923–1969) - Emil Leon PostEmil Leon PostEmil Leon Post was a mathematician and logician. He is best known for his work in the field that eventually became known as computability theory.-Early work:...
(USA, 1897–1954) - Dag PrawitzDag PrawitzDag Prawitz is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction....
(Sweden, born 1936) - Mojżesz PresburgerMojzesz PresburgerMojżesz Presburger was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski and is known for, among other things, having invented Presburger arithmetic as a student in 1929....
(Poland, 1904–1943) - Graham PriestGraham PriestGraham Priest is Boyce Gibson Professor of Philosophy at the University of Melbourne and Distinguished Professor of Philosophy at the CUNY Graduate Center, as well as a regular visitor at St. Andrews University. Priest is a fellow in residence at Ormond College. He was educated at the University...
(Australia, born 1948) - Arthur PriorArthur PriorArthur Norman Prior was a noted logician and philosopher. Prior founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior .-Biography:Prior was entirely educated in New Zealand, where he was fortunate to have come under the...
(New Zealand, UK, 1914–1969) - Hilary PutnamHilary PutnamHilary Whitehall Putnam is an American philosopher, mathematician and computer scientist, who has been a central figure in analytic philosophy since the 1960s, especially in philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science...
(USA, born 1926)
R
- Michael O. RabinMichael O. RabinMichael Oser Rabin , is an Israeli computer scientist and a recipient of the Turing Award.- Biography :Rabin was born in 1931 in Breslau, Germany, , the son of a rabbi. In 1935, he emigrated with his family to Mandate Palestine...
(Israel, USA, born 1931) - Constantin Rădulescu-MotruConstantin Radulescu-MotruConstantin Rădulescu-Motru was a Romanian philosopher, psychologist, sociologist, logician, academic, dramatist, as well as centre-left nationalist politician with a noted anti-fascist discourse...
(1868–1957) - Frank Plumpton Ramsey (UK, 1903–1930)
- Helena RasiowaHelena RasiowaHelena Rasiowa was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic.-Early years:...
(Poland, 1917–1994) - Carveth ReadCarveth ReadCarveth Read was a 19th and 20th century British philosopher and logician. He was Grote professor of philosophy of mind and logic at the University College London from 1903 to 1911.-Bibliography:...
(Britain, 1848–1931) - Abraham RobinsonAbraham RobinsonAbraham Robinson was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were incorporated into mathematics....
(Israel, UK, Canada, USA, 1918–1974) - Raphael M. RobinsonRaphael M. RobinsonRaphael Mitchel Robinson was an American mathematician.Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He was awarded the BA , MA , and Ph.D. , all in mathematics, and all from the University of California, Berkeley. His Ph.D...
(USA, 1911–1995) - Hartley Rogers, JrHartley Rogers, JrHartley Rogers, Jr. is a mathematician who has worked in recursion theory, and who is currently a professor in the Mathematics Department of the Massachusetts Institute of Technology. The Rogers equivalence theorem is named after him....
- J. Barkley Rosser (USA, 1907–1989)
- Richard Routley, later Richard Sylvan (New Zealand, 1935–1996)
- Bertrand RussellBertrand RussellBertrand Arthur William Russell, 3rd Earl Russell, OM, FRS was a British philosopher, logician, mathematician, historian, and social critic. At various points in his life he considered himself a liberal, a socialist, and a pacifist, but he also admitted that he had never been any of these things...
(UK, 1872–1970)
S
- Gerald SacksGerald SacksGerald Sacks is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute of Technology as a Professor Emeritus. His most important contributions have been in recursion theory...
(USA) - Giovanni Girolamo SaccheriGiovanni Girolamo SaccheriGiovanni Girolamo Saccheri was an Italian Jesuit priest, scholastic philosopher, and mathematician....
, (Italy, 1667-1733) - Albert of SaxonyAlbert of Saxony (philosopher)Albert of Saxony was a German philosopher known for his contributions to logic and physics...
(Germany, c. 1316–1390) - Rolf SchockRolf SchockRolf Schock , philosopher and artist, was born in France of German parents. His parents, who had left Germany in 1931, would eventually settle in the United States, where Rolf would go on to study geology and psychology, with mathematics as a minor, at the University of New Mexico...
(USA, Sweden, 1933–1986) - Moses SchönfinkelMoses SchönfinkelMoses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel , was a Russian logician and mathematician, known for the invention of combinatory logic.- Life :Schönfinkel attended the Novorossiysk University of Odessa, studying mathematics under Samuil Osipovich...
(USSR, 1889–1942) - Ernst SchröderErnst SchröderErnst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic , by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce...
(Germany, 1841–1902) - Dana ScottDana ScottDana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California...
(USA, born 1932) - John Duns Scotus (Britain, France, c. 1266–1308)
- Fyodor ShcherbatskoyFyodor ShcherbatskoyFyodor Ippolitovich Shcherbatskoy or Stcherbatsky , often referred to in the literature as F. Th. Stcherbatsky, was a Russian Indologist who, in large part, was responsible for laying the foundations in the Western world for the scholarly study of Buddhist philosophy...
(Russia, 1866–1942) - Saharon ShelahSaharon ShelahSaharon Shelah is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.-Biography:...
(Israel, born 1945) - William of SherwoodWilliam of SherwoodWilliam of Sherwood was a medieval English Scholastic philosopher, logician and teacher.Little is known of his life, but he is thought to have studied in Paris, as a master at Oxford in 1252, treasurer of Lincoln from 1254/8 onwards, and a rector of Aylesbury.He was the author of two books which...
(England, 1190–1249) - Hui ShiHui ShiHui Shi , or Huizi , was a Chinese philosopher during the Warring States Period. He was a representative of the School of Names , and is famous for ten paradoxes about the relativity of time and space, for instance, "I set off for Yue today and came there yesterday."-Works mentioning Hui Shi:The...
(China, fl. 4th century BC) - Christoph von SigwartChristoph von SigwartChristoph von Sigwart was a German philosopher and logician. He was the son of philosopher Heinrich Christoph Wilhelm Sigwart .-Life:...
(Germany, 1830–1894) - Raghunatha SiromaniRaghunatha SiromaniRaghunatha Shiromani was an Indian philosopher and logician. He was born at Navadvipa in present day Nadia district of West Bengal state. He was the grandson of , a noted writer on from his mother's side. He was a pupil of...
(India, 1470s–1550s) - Thoralf SkolemThoralf SkolemThoralf Albert Skolem was a Norwegian mathematician known mainly for his work on mathematical logic and set theory.-Life:...
(Norway 1887–1963) - Dimiter SkordevDimiter SkordevDimiter Skordev is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia. Chairman of the department in 1972-2000...
(Bulgaria, born 1936) - Theodore SlamanTheodore SlamanTheodore Allen Slaman 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, which conjectures that the partial order of the Turing degrees is logically...
(USA) - Raymond SmullyanRaymond SmullyanRaymond Merrill Smullyan is an American mathematician, concert pianist, logician, Taoist philosopher, and magician.Born in Far Rockaway, New York, his first career was stage magic. He then earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959...
(USA, born 1919) - Robert M. SolovayRobert M. SolovayRobert Martin Solovay is an American mathematician specializing in set theory.Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, with a dissertation on A Functorial Form of the Differentiable Riemann–Roch theorem...
(USA, born 1938) - Richard the Sophister (fl. late 1200s)
- Peter of SpainPeter of SpainPeter of Spain or, in Latin, Petrus Hispanus is the Mediaeval author of Tractatus, later known as Summulae logicales magistri Petri Hispani , a standard textbook on logic...
(13th century) - John R. SteelJohn R. SteelJohn Robert Steel is a set theorist at University of California, Berkeley . He has made many contributions to the theory of inner models and determinacy. With Donald A. Martin, he proved projective determinacy, assuming the existence of sufficient large cardinals. He earned his Ph.D...
(USA) - Martin StokhofMartin StokhofMartin Stokhof is a Dutch logician and philosopher. Stokhof wrote a joint Ph.D. dissertation with Jeroen Groenendijk on the semantics of questions. He was also an important figure in the development of dynamic semantics...
(Netherlands) - Ralph StrodeRalph StrodeRalph Strode , English schoolman, was probably a native of the West Midlands.He was a fellow of Merton College, Oxford, before 1360, and famous as a teacher of logic and philosophy and a writer on educational subjects...
(England, fl. 1350-1400) - Akṣapāda GautamaNyaya SutrasThe Nyāya Sūtras are an ancient Indian text on of philosophy composed by ' . The sutras contain five chapters, each with two sections...
(India) - Richard SwinesheadRichard SwinesheadRichard Swineshead 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 and possibly by 1340.His magnum opus was a series of treatises known as the Liber calculationum ,...
(England, fl. c. 1340-1354) - Richard SylvanRichard SylvanRichard Sylvan was a philosopher, logician, and environmentalist.- Biography :Sylvan was born Francis Richard Routley in Levin, New Zealand, and his early work is cited with this surname...
, born Richard Routley (New Zealand, 1935–1996)
T
- Gaisi TakeutiGaisi Takeutiis 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...
(Japan, born 1926) - Alfred TarskiAlfred TarskiAlfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...
(Poland, 1902–1983) - TheophrastusTheophrastusTheophrastus , a Greek native of Eresos in Lesbos, was the successor to Aristotle in the Peripatetic school. He came to Athens at a young age, and initially studied in Plato's school. After Plato's death he attached himself to Aristotle. Aristotle bequeathed to Theophrastus his writings, and...
(Greece, 371 - c. 287 BC) - Pavel TichýPavel TichýPavel Tichý was a Czech logician, philosopher and mathematician.He worked in the field of intensional logic and founded Transparent Intensional Logic, an original theory of the logical analysis of natural languages – the theory is devoted to the problem of saying exactly what it is that we learn,...
(Czechoslovakia, New Zealand, 1936–1994) - Anne Sjerp Troelstra (Netherlands, born 1939)
- Alan TuringAlan TuringAlan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
(UK, 1912–1954) - Kazimierz TwardowskiKazimierz TwardowskiKazimierz Jerzy Skrzypna-Twardowski was a Polish philosopher and logician.-Life:Twardowski's family belonged to the Ogończyk coat-of-arms.Twardowski studied philosophy in Vienna with Franz Brentano and Robert Zimmermann...
(Poland, 1866–1938)
V
- Nicolai A. VasilievNicolai A. VasilievNicolai Alexandrovich Vasiliev , also Vasil'ev, Vassilieff, Wassilieff was a Russian logician, philosopher, psychologist, poet, the forerunner of paraconsistent and multi-valued logics.-Early years:...
(Russia, 1880–1940) - Robert Lawson VaughtRobert Lawson VaughtRobert Lawson Vaught was a mathematical logician, and one of the founders of model theory.-Life:Vaught was a bit of a musical prodigy in his youth, in his case the piano. He began his university studies at Pomona College, at age 16. When World War II broke out, he enlisted US Navy which assigned...
(USA, 1926–2002) - Paul of VenicePaul of VenicePaul of Venice was a Roman Catholic Scholastic philosopher, theologian, and logician of the Hermits of the Order of Saint Augustine.-Life:...
(Italy, 1368–1428) - John VennJohn VennDonald A. Venn FRS , was a British logician and philosopher. He is famous for introducing the Venn diagram, which is used in many fields, including set theory, probability, logic, statistics, and computer science....
(England, 1834–1923)
W
- Hao Wang (China/USA, 1921–1995)
- Isaac WattsIsaac WattsIsaac Watts was an English hymnwriter, theologian and logician. A prolific and popular hymnwriter, he was recognised as the "Father of English Hymnody", credited with some 750 hymns...
(England, 1674–1748) - Richard WhatelyRichard WhatelyRichard Whately was an English rhetorician, logician, economist, and theologian who also served as the Church of Ireland Archbishop of Dublin.-Life and times:...
(England, 1787–1863) - Alfred North WhiteheadAlfred North WhiteheadAlfred North Whitehead, OM FRS was an English mathematician who became a philosopher. He wrote on algebra, logic, foundations of mathematics, philosophy of science, physics, metaphysics, and education...
(UK, 1861–1947) - Ludwig WittgensteinLudwig WittgensteinLudwig Josef Johann Wittgenstein was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He was professor in philosophy at the University of Cambridge from 1939 until 1947...
(Austria, UK, 1889–1951) - W. Hugh WoodinW. Hugh WoodinWilliam Hugh Woodin is an American mathematician and set theorist at University of California, Berkeley. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinal, the Woodin cardinal, bears his name.-Biography:Born in Tucson, Arizona, Woodin...
(USA, born 1955) - Georg Henrik von WrightGeorg Henrik von WrightGeorg Henrik von Wright was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge. He published in English, Finnish, German, and in Swedish. Belonging to the Swedish-speaking minority of Finland, von Wright also had Finnish and 17th-century Scottish...
(Finland, UK, 1916–2003)
External links
- The MacTutor History of Mathematics archive Very complete list of detailed biographies. Many logicians are included.
- A selection of great logicians with detailed bibliographies (in progress)