Johan van Benthem

Johan van Benthem

male, 60 years old
M.H. Löb, Rijswijk, first-order logic, Master of Arts, ModalLogic, CSLI…Institute for Logic, Language and Computation, First Order Logic, update logic, logic, dynamic logic
Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, June 12, 1949-) is a University Professor ("universiteitshoogleraar") of logic at...
Kurt Gödel

Kurt Gödel

male, deceased (1978)
Logician, incompleteness theorems, mathematician, mathematics, philosopher, Gödel numbering…intuitionistic logic, classical logic, logic, ModalLogic
Kurt Gödel (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) - January 14, 1978 Princeton, New Jersey) was an Austrian American ma...
Jaakko Hintikka

Jaakko Hintikka

male, 80 years old
Florida State University, language theory, Rolf Schock Prize laureate, philosophy of language, university of helsinki, Florida State University faculty…Philosophical logic, ModalLogic, mathematical logic, first-order logic, independence-friendly logic
Jaakko Hintikka (born January 12 1929) is a Finnish philosopher and logician. Hintikka was born in Vantaa. After teaching for a number of years at...
Dana Scott

Dana Scott

male, 77 years old
Turing Award laureate, University of California, Berkeley faculty, University of California, Berkeley alumni, Rolf Schock Prize laureate, Fellow of the Association for Computing Machinery, Erdős number 2…mathematical logic, ModalLogic
Dana Stewart Scott (born 1932) is the emeritus "Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic" at Carnegie...
Charles Hartshorne

Charles Hartshorne

male, deceased (2000)
philosophy of religion, St. Anselm, proof of the existence of God, Process philosophy, arguments for the existence of God, process theology…ModalLogic, modal
Charles Hartshorne (June 5, 1897 - October 9, 2000) was a prominent American philosopher who concentrated primarily on the philosophy of religion...
Ruth Barcan Marcus

Ruth Barcan Marcus

female, 88 years old
Academic, Fellow of Wolfson College, Oxford, Jewish person, Educator, Jewish, Philosopher of language…ModalLogic
Ruth Barcan Marcus (born 1921 in Bronx, New York) is the philosopher and logician after whom the Barcan formula is named. She is a pioneering...
Jack Copeland

Jack Copeland

male
Massachusetts Institute of Technology, University of Portsmouth, Christchurch, DPhil, ModalLogic, University of Aarhus…non-classical logic, modal
B. Jack Copeland is Professor of Philosophy at the University of Canterbury, Christchurch, New Zealand. Copeland received a BPhil and DPhil from...
Georg Henrik von Wright

Georg Henrik von Wright

male, deceased (2003)
Faculty of philosophy cambridge, Honorary doctor at the University of Tromsø, Swedish-speaking Finn, Philosophical logic, ModalLogic, philosophy of language…deontic logic
Georg Henrik von Wright (June 14, 1916 - June 16, 2003) was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University...

Hugh Maccoll

male, deceased (1909)
Logician, mathematician, Scottish, science fiction, frege, mind…ModalLogic, Nordic Journal of Philosophical Logic, propositional logic
Hugh MacColl (1837-1909) was a Scot who trained as a mathematician and evolved into a logician. He is known for two accomplishments: * In 1877-79,...

Martin Löb

male, deceased (2006)
PhD, Holland, professor, Logician, mathematician, Nazi…ModalLogic, mathematical logic
Martin Hugo Löb was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He m...