SettingsLogicians
Abraham Abigdor
Abraham Abigdor was a Jewish physician, philosopher, and translator.
Abraham Abigdor was a Jewish physician, philosopher, and translator.
Adolph Stöhr
Adolph Stöhr was professor of philosophy at the University of Vienna.
Adolph Stöhr was professor of philosophy at the University of Vienna.
African Spir
Afrikan Aleksandrovich Špir (Russian: Африка́н Алекса́ндрович Спир; Ukrainian: Африка́н Олекса́ндрович Спір or Шпір, transcribed: Afrykan Oleksandrovych Spir or Shpir; German: Afrika...
Afrikan Aleksandrovich Špir (Russian: Африка́н Алекса́ндрович Спир; Ukrainian: Африка́н Олекса́ндрович Спір or Шпір, transcribed: Afrykan Oleksandrovych Spir or Shpir; German: Afrika...
Al-Akhdari
ʻAbd al-Raḥmān al-Akhḍarī was the author of the highly popular didactic poem Al-Sullam al-murawnaq fī ʻilm al-manṭiq.
ʻAbd al-Raḥmān al-Akhḍarī was the author of the highly popular didactic poem Al-Sullam al-murawnaq fī ʻilm al-manṭiq.
Albert Muchnik
Albert Abramovich Muchnik (1934–) is a Russian mathematician who worked in the field of foundations and mathematical logic.
Albert Abramovich Muchnik (1934–) is a Russian mathematician who worked in the field of foundations and mathematical logic.
Alexander Bain
Alexander Bain (11 June 1818 – 18 September 1903) was a Scottish philosopher and educationalist in the British school of empiricism who was a prominent and innovative figure in the fields of psy...
Alexander Bain (11 June 1818 – 18 September 1903) was a Scottish philosopher and educationalist in the British school of empiricism who was a prominent and innovative figure in the fields of psy...
Alexander Esenin-Volpin
Alexander Sergeyevich Esenin-Volpin (, born May 12, 1924) is a prominent Russian-American poet and mathematician.
Alexander Sergeyevich Esenin-Volpin (, born May 12, 1924) is a prominent Russian-American poet and mathematician.
Alexandre Borovik
Alexandre Borovik is Professor of Pure Mathematics at the University of Manchester, United Kingdom, where he has been working for the past 20 years.
Alexandre Borovik is Professor of Pure Mathematics at the University of Manchester, United Kingdom, where he has been working for the past 20 years.
Alfred Horn
Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra.
Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra.
Alfred North Whitehead
Alfred North Whitehead, OM FRS was an English mathematician who became a philosopher.
Alfred North Whitehead, OM FRS was an English mathematician who became a philosopher.
Alice Ambrose
Alice Ambrose Lazerowitz (November 25, 1906 – January 25, 2001) was an American philosopher, logician, and author.
Alice Ambrose Lazerowitz (November 25, 1906 – January 25, 2001) was an American philosopher, logician, and author.
Andrea Bonomì
Andrea Bonomi (Rome, 1940-) is an Italian philosopher and logician.
Andrea Bonomi (Rome, 1940-) is an Italian philosopher and logician.
Arthur Prior
Arthur Norman Prior (1914 Masterton, New Zealand – 1969 Trondheim, Norway) was a noted logician and philosopher.
Arthur Norman Prior (1914 Masterton, New Zealand – 1969 Trondheim, Norway) was a noted logician and philosopher.
Bahmanyār
Abul-Ḥasan Bahmanyār ibn Marzubān 'Ajamī Aḍarbāyijānī, known as Bahmanyār (died 1067) was a famous pupil of Avicenna.
Abul-Ḥasan Bahmanyār ibn Marzubān 'Ajamī Aḍarbāyijānī, known as Bahmanyār (died 1067) was a famous pupil of Avicenna.
Carew Arthur Meredith
Carew Arthur Meredith (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947.
Carew Arthur Meredith (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947.
Charles Leonard Hamblin
Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.
Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.
Charles Sanders Peirce
Charles Sanders Peirce ( like "purse"; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born at 3 Phillips Place in Cambridge, Massachusetts.
Charles Sanders Peirce ( like "purse"; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born at 3 Phillips Place in Cambridge, Massachusetts.
Christine Ladd-Franklin
Christine Ladd-Franklin was the first American woman psychologist, logician, and mathematician.
Christine Ladd-Franklin was the first American woman psychologist, logician, and mathematician.
Clark Glymour
Clark Glymour is the Alumni University Professor in the Department of Philosophy at Carnegie Mellon University.
Clark Glymour is the Alumni University Professor in the Department of Philosophy at Carnegie Mellon University.
Colin McLarty
Colin McLarty is a logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.
Colin McLarty is a logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.
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, l...
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, l...
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
David Kaplan (philosopher)
David Benjamin Kaplan is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy of language, metaphysics, and e...
David Benjamin Kaplan is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy of language, metaphysics, and e...
David Kellogg Lewis
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was a 20th-century American philosopher.
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was a 20th-century American philosopher.
David Kolb
David Kolb (born 1939) is a well-known philosopher and the Charles A. Dana Professor Emeritus of Philosophy at Bates College in Maine.
David Kolb (born 1939) is a well-known philosopher and the Charles A. Dana Professor Emeritus of Philosophy at Bates College in Maine.
David Lewis (philosopher)
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was a 20th-century American philosopher.
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was a 20th-century American philosopher.
Denis Miéville
Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic, born in Switzerland in September, 15, 1946.
Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic, born in Switzerland in September, 15, 1946.
Dirk van Dalen
Dirk van Dalen is a Dutch mathematician and historian of science.
Dirk van Dalen is a Dutch mathematician and historian of science.
Doug Walton
Douglas Neil Walton is a Canadian academic and author, well known for his many widely published books and papers on argumentation, logical fallacies and informal logic.
Douglas Neil Walton is a Canadian academic and author, well known for his many widely published books and papers on argumentation, logical fallacies and informal logic.
Dov Gabbay
Dov 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.
Dov 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.
Edward N. Zalta
Edward N. Zalta is a Senior research scholar at the Center for the Study of Language and Information.
Edward N. Zalta is a Senior research scholar at the Center for the Study of Language and Information.
Ehud Hrushovski
Ehud Hrushovski is a mathematical logician.
Ehud Hrushovski is a mathematical logician.
Eric Schechter
Eric Schechter is an American mathematician, currently an Associate Professor at Vanderbilt University.
Eric Schechter is an American mathematician, currently an Associate Professor at Vanderbilt University.
Ernst Schröder
Ernst Schröder (25 November 1841 Mannheim, Baden – 16 June 1902 Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.
Ernst Schröder (25 November 1841 Mannheim, Baden – 16 June 1902 Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.
Evandro Agazzi
Evandro Agazzi (b. Bergamo, Italy) is an Italian philosopher and professor at the University of Genoa.
Evandro Agazzi (b. Bergamo, Italy) is an Italian philosopher and professor at the University of Genoa.
Friedrich Kambartel
Friedrich Kambartel is a philosopher.
Friedrich Kambartel is a philosopher.
Garlandus Compotista
Garlandus Compotista also known as Garland the Computist was an early medieval logician of the eleventh-century school of Liège.
Garlandus Compotista also known as Garland the Computist was an early medieval logician of the eleventh-century school of Liège.
Georg Henrik von Wright
Georg Henrik von Wright was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge.
Georg Henrik von Wright was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge.
Georg Kreisel
Georg Kreisel FRS (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America.
Georg Kreisel FRS (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America.
Georg Wilhelm Friedrich Hegel
Georg Wilhelm Friedrich Hegel (August 27, 1770 – November 14, 1831) was a German philosopher, one of the creators of German Idealism.
Georg Wilhelm Friedrich Hegel (August 27, 1770 – November 14, 1831) was a German philosopher, one of the creators of German Idealism.
George Koletsos
George Koletsos is a Professor in the School of Electrical and Computer Engineering at the National Technical University of Athens.
George Koletsos is a Professor in the School of Electrical and Computer Engineering at the National Technical University of Athens.
Gerald Sacks
Gerald 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.
Gerald 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.
Graham Priest
Graham 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. An...
Graham 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. An...
Hartley Rogers, Jr.
Hartley 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.
Hartley 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.
Henry Gordon Rice
Henry Gordon Rice (born 1920) is a logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University.
Henry Gordon Rice (born 1920) is a logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University.
Hugh MacColl
Hugh MacColl (1837-1909) was a Scot who trained as a mathematician and became a logician.
Hugh MacColl (1837-1909) was a Scot who trained as a mathematician and became a logician.
Ivan Orlov
Orlov, Ivan Efimovich (October 1 (old style) 1886 Galich, Kostroma district Russia – 1936) was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist.
Orlov, Ivan Efimovich (October 1 (old style) 1886 Galich, Kostroma district Russia – 1936) was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist.
Ivan Orlov (philosopher)
Orlov, Ivan Efimovich was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist.
Orlov, Ivan Efimovich was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist.
J.C.C. McKinsey
John Charles Chenoweth McKinsey was an American mathematician known for his work on mathematical logic and game theory.
John Charles Chenoweth McKinsey was an American mathematician known for his work on mathematical logic and game theory.
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (born January 12, 1929) is a Finnish philosopher and logician.
Kaarlo Jaakko Juhani Hintikka (born January 12, 1929) is a Finnish philosopher and logician.
Jacobus Naveros
Jacob Naveros (fl. ca. 1533) was an early sixteenth century logician who is now known only for his concern about the attribution of the logical works of Duns Scotus.
Jacob Naveros (fl. ca. 1533) was an early sixteenth century logician who is now known only for his concern about the attribution of the logical works of Duns Scotus.
Jacques Herbrand
Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France.
Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France.
Jean Ladrière
Jean Ladrière was a Belgian philosopher.
Jean Ladrière was a Belgian philosopher.
Jean Nicod
Jean George Pierre Nicod (c.
Jean George Pierre Nicod (c.
Jean van Heijenoort
Jean Louis Maxime van Heijenoort (pronounced highenort) (July 23, 1912, Creil France - March 29, 1986, Mexico City) was a pioneer historian of mathematical logic.
Jean Louis Maxime van Heijenoort (pronounced highenort) (July 23, 1912, Creil France - March 29, 1986, Mexico City) was a pioneer historian of mathematical logic.
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 Federal University of Ceara, Brazil.
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 Federal University of Ceara, Brazil.
Jeff Paris
Jeffrey Bruce Paris (born 1944) is a British mathematician known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an em...
Jeffrey Bruce Paris (born 1944) is a British mathematician known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an em...
Jesús Mosterín
Jesús Mosterín (born 1941) is a leading Spanish philosopher and a thinker of broad spectrum, often at the frontier between science and philosophy.
Jesús Mosterín (born 1941) is a leading Spanish philosopher and a thinker of broad spectrum, often at the frontier between science and philosophy.
Jesús Padilla Gálvez
Jesús Padilla Gálvez (October 28, 1959, Almería) is a philosopher who worked primarily in philosophy of language, logic, and the history of sciences.
Jesús Padilla Gálvez (October 28, 1959, Almería) is a philosopher who worked primarily in philosophy of language, logic, and the history of sciences.
Johan 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 ...
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 ...
John Pagus
John Pagus (active first half of the 13th century) was a scholastic philosopher at the University of Paris, generally considered the first logician among the recorded scholastics.
John Pagus (active first half of the 13th century) was a scholastic philosopher at the University of Paris, generally considered the first logician among the recorded scholastics.
John Woods (logician)
John Hayden Woods is a Canadian logician and philosopher, currently Director of the Abductive Systems Group at the University of British Columbia and The UBC Honorary Professor of Logic.
John Hayden Woods is a Canadian logician and philosopher, currently Director of the Abductive Systems Group at the University of British Columbia and The UBC Honorary Professor of Logic.
Joseph Rizzo
Joseph Rizzo was a minor Maltese philosopher and theologian who probably specialised in logic.
Joseph Rizzo was a minor Maltese philosopher and theologian who probably specialised in logic.
Karel Lambert
Karel Lambert (born 1928) is a philosopher and logician at the University of California, Irvine and the University of Salzburg.
Karel Lambert (born 1928) is a philosopher and logician at the University of California, Irvine and the University of Salzburg.
Kenneth Kunen
Herbert Kenneth Kunen is an emeritus professor of mathematics at the University of Wisconsin–Madison who works in set theory and its applications to various areas of mathematics, such as set-the...
Herbert Kenneth Kunen is an emeritus professor of mathematics at the University of Wisconsin–Madison who works in set theory and its applications to various areas of mathematics, such as set-the...
Kit Fine
Kit Fine (born March 26, 1946) is Silver Professor of Philosophy and Mathematics at New York University.
Kit Fine (born March 26, 1946) is Silver Professor of Philosophy and Mathematics at New York University.
Lambert of Auxerre
Lambert of Auxerre was a medieval 13th century logician best known for writing the book "Summa Lamberti" or simply "Logica" in the mid 1250's which became an authoritative textbook on lo...
Lambert of Auxerre was a medieval 13th century logician best known for writing the book "Summa Lamberti" or simply "Logica" in the mid 1250's which became an authoritative textbook on lo...
Lennart Åqvist
Lennart Åqvist (born 1932, Sweden) is a Swedish logician.
Lennart Åqvist (born 1932, Sweden) is a Swedish logician.
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
Ludwig Josef Johann Wittgenstein was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
Mario Pieri
Mario Pieri (22 June 1860 - 1 March 1913) was an Italian mathematician who is known for his work on foundations of geometry.
Mario Pieri (22 June 1860 - 1 March 1913) was an Italian mathematician who is known for his work on foundations of geometry.
Martin Davis
Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem.
Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem.
Martin Löb
Martin Hugo Löb (31 March 1921 - 21 August 2006) was a German mathematician.
Martin Hugo Löb (31 March 1921 - 21 August 2006) was a German mathematician.
Michael Fourman
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.
Mojżesz Presburger
Mojżesz Presburger (1904–1943) was a Polish Jewish mathematician, logician, and philosopher.
Mojżesz Presburger (1904–1943) was a Polish Jewish mathematician, logician, and philosopher.
Nijaz Ibrulj
Nijaz Ibrulj is a Bosnian philosopher and a professor at the University of Sarajevo's Department of Philosophy and Sociology.
Nijaz Ibrulj is a Bosnian philosopher and a professor at the University of Sarajevo's Department of Philosophy and Sociology.
Norman Shapiro
Norman Z. Shapiro (born 1932) is an American mathematician, who is the co-author of the Rice–Shapiro theorem.
Norman Z. Shapiro (born 1932) is an American mathematician, who is the co-author of the Rice–Shapiro theorem.
Nuel Belnap
Nuel D. Belnap, Jr. (born 1930) is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory.
Nuel D. Belnap, Jr. (born 1930) is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory.
Paul Lorenzen
Paul Lorenzen (March 24, 1915 in Kiel, Germany – October 1, 1994 in Göttingen, Germany) was a philosopher and mathematician.
Paul Lorenzen (March 24, 1915 in Kiel, Germany – October 1, 1994 in Göttingen, Germany) was a philosopher and mathematician.
Paul of Venice
Paul of Venice (or Paulus Venetus) (1368–1428) was a Roman Catholic Scholastic philosopher, theologian, and logician of the Hermits of the Order of Saint Augustine.
Paul of Venice (or Paulus Venetus) (1368–1428) was a Roman Catholic Scholastic philosopher, theologian, and logician of the Hermits of the Order of Saint Augustine.
Per Lindström (logician)
Per Lindström, born 1936, died 2009, was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.
Per Lindström, born 1936, died 2009, was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.
Peter Abelard
Peter Abelard was a medieval French scholastic philosopher, theologian and preeminent logician.
Peter Abelard was a medieval French scholastic philosopher, theologian and preeminent logician.
Peter Geach
Peter Thomas Geach, MA, FBA is a British philosopher.
Peter Thomas Geach, MA, FBA is a British philosopher.
Peter of Spain
Peter 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.
Peter 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.
Piergiorgio Odifreddi
Piergiorgio Odifreddi (born July 13, 1950 in Cuneo), is an Italian mathematician, logician and aficionado of the history of science, who is also extremely active as a popular science writer and ...
Piergiorgio Odifreddi (born July 13, 1950 in Cuneo), is an Italian mathematician, logician and aficionado of the history of science, who is also extremely active as a popular science writer and ...
Pierre Nicole
Pierre Nicole (1625 – November 16, 1695) was one of the most distinguished of the French Jansenists.
Pierre Nicole (1625 – November 16, 1695) was one of the most distinguished of the French Jansenists.
Professor of Logic and Rhetoric, Glasgow
The Professor of Logic and Rhetoric is a professorship at the University of Glasgow.
The Professor of Logic and Rhetoric is a professorship at the University of Glasgow.
Richard Milton Martin
Richard Milton Martin (1916, Cleveland, Ohio–22 November 1985, Milton, Massachusetts) was an American logician and analytic philosopher.
Richard Milton Martin (1916, Cleveland, Ohio–22 November 1985, Milton, Massachusetts) was an American logician and analytic philosopher.
Richard Sylvan
Richard Sylvan was a philosopher, logician, and environmentalist.
Richard Sylvan was a philosopher, logician, and environmentalist.
Robert Kilwardby
Robert Kilwardby (c. 1215–11 September 1279) was an Archbishop of Canterbury in England and as well as a cardinal.
Robert Kilwardby (c. 1215–11 September 1279) was an Archbishop of Canterbury in England and as well as a cardinal.
Robert S. Hartman
Robert Schirokauer Hartman (January 27, 1910 - September 20, 1973) was a logician and philosopher.
Robert Schirokauer Hartman (January 27, 1910 - September 20, 1973) was a logician and philosopher.
Robin Gandy
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.
Rolf Schock
Rolf Schock (1933–1986), philosopher and artist, was born in France of German parents.
Rolf Schock (1933–1986), philosopher and artist, was born in France of German parents.
Rudolf Carnap
Rudolf Carnap was an influential German-born philosopher who was active in Europe before 1935 and in the United States thereafter.
Rudolf Carnap was an influential German-born philosopher who was active in Europe before 1935 and in the United States thereafter.
Ruth Barcan Marcus
Ruth Barcan Marcus (August 2, 1921 – February 19, 2012) was an American philosopher and logician who developed the Barcan formula.
Ruth Barcan Marcus (August 2, 1921 – February 19, 2012) was an American philosopher and logician who developed the Barcan formula.
Sol Garfunkel
Solomon "Sol" Garfunkel PhD born 1943, in Brooklyn, New York, is an American mathematician who has dedicated his career on mathematics education.
Solomon "Sol" Garfunkel PhD born 1943, in Brooklyn, New York, is an American mathematician who has dedicated his career on mathematics education.
Stephen Cole Kleene
Stephen Cole Kleene (January 5, 1909, Hartford, Connecticut, United States – January 25, 1994, Madison, Wisconsin) was an American mathematician who helped lay the foundations for theoretical co...
Stephen Cole Kleene (January 5, 1909, Hartford, Connecticut, United States – January 25, 1994, Madison, Wisconsin) was an American mathematician who helped lay the foundations for theoretical co...
T. Edward Damer
T. Edward Damer is a philosopher and author of Attacking Faulty Reasoning, a textbook on logical fallacies.
T. Edward Damer is a philosopher and author of Attacking Faulty Reasoning, a textbook on logical fallacies.
Theophrastus
Theophrastus (Greek: Theophrastus; c. 371 – c. 287 BC), a Greek native of Eresos in Lesbos, was the successor to Aristotle in the Peripatetic school.
Theophrastus (Greek: Theophrastus; c. 371 – c. 287 BC), a Greek native of Eresos in Lesbos, was the successor to Aristotle in the Peripatetic school.
Valentino Annibale Pastore
Valentino Annibale Pastore (November 13, 1868 - February 27, 1956) was an Italian philosopher and logician.
Valentino Annibale Pastore (November 13, 1868 - February 27, 1956) was an Italian philosopher and logician.
Victor Shestakov
Victor Ivanovich Shestakov (1907 – 1987) was a Russian/Soviet logician and theoretician of electrical engineering.
Victor Ivanovich Shestakov (1907 – 1987) was a Russian/Soviet logician and theoretician of electrical engineering.
Viggo Stoltenberg-Hansen
Viggo Stoltenberg-Hansen, born 1942, professor at Uppsala University, Department of Mathematics, is a Swedish mathematician/logician and expert on domain theory and recursion theory (also known ...
Viggo Stoltenberg-Hansen, born 1942, professor at Uppsala University, Department of Mathematics, is a Swedish mathematician/logician and expert on domain theory and recursion theory (also known ...
Walter Pitts
Walter Pitts (23 April 1923 – 14 May 1969) was a logician who worked in the field of cognitive psychology.
Walter Pitts (23 April 1923 – 14 May 1969) was a logician who worked in the field of cognitive psychology.
Warren Goldfarb
Warren D. Goldfarb is a philosopher and mathematician with a specialization in logic, most noted for his work on the classical decision problem, and in particular his book on the subject, The ...
Warren D. Goldfarb is a philosopher and mathematician with a specialization in logic, most noted for his work on the classical decision problem, and in particular his book on the subject, The ...
Willard Van Orman Quine
Willard Van Orman Quine (June 25, 1908 – December 25, 2000) (known to intimates as "Van") was an American philosopher and logician in the analytic tradition.
Willard Van Orman Quine (June 25, 1908 – December 25, 2000) (known to intimates as "Van") was an American philosopher and logician in the analytic tradition.
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...
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...
William of Ockham
William of Ockham (; also Occam, Hockham, or several other spellings; c. 1288 – c. 1348) was an English Franciscan friar and scholastic philosopher, who is believed to have been born...
William of Ockham (; also Occam, Hockham, or several other spellings; c. 1288 – c. 1348) was an English Franciscan friar and scholastic philosopher, who is believed to have been born...
William of Sherwood
William of Sherwood (or Shyreswood, Shireswood) (1190–1249) was a medieval English Scholastic philosopher, logician and teacher.
William of Sherwood (or Shyreswood, Shireswood) (1190–1249) was a medieval English Scholastic philosopher, logician and teacher.
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich, (Ю́рий Влади́мирович Матиясе́вич; born March 2, 1947 in Leningrad) is a Russian mathematician and computer scientist.
Yuri Vladimirovich Matiyasevich, (Ю́рий Влади́мирович Матиясе́вич; born March 2, 1947 in Leningrad) is a Russian mathematician and computer scientist.
Zaid Orudzhev
Zaid Melikovich Orudzhev (; born on April 4, 1932) is an Azerbaijani-born Russian academic specialising in the history of philosophy, dialectical logic and sociological methodology.
Zaid Melikovich Orudzhev (; born on April 4, 1932) is an Azerbaijani-born Russian academic specialising in the history of philosophy, dialectical logic and sociological methodology.