Haim Gaifman
Gaifman's first result (obtained when he was a mathematics student) was the equivalence of context-free grammars and categorial grammars. He was Rudolf Carnap’s research assistant, working on the fou...
William Craig (philosopher)
William Craig (born November 13, 1918) is Emeritus professor of Philosophy at University of California, Berkeley, in Berkeley, California. His interests include mathematical logic, and philosophy o...
William Craig (philosopher) - Wikipedia
Charles Graves (bishop)
Charles Graves FRS (6 December 1812 - 17 July 1899) was a 19th-century Anglican Bishop of Limerick, Ardfert and Aghadoe. He was President of the Royal Irish Academy, Dean of the Chapel Royal at Dublin...
Kurt Gödel
Kurt Friedrich Gödel (/ˈkɜrt ɡɜrdəl/; [ˈkʊʁt ˈɡøːdəl]; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle ...
Kurt Gödel - Wikipedia
Stathis Zachos
Stathis K. Zachos (Greek: Στάθης (Ευστάθιος) Ζάχος; born 1947, Athens) is a mathematician, logician and theoretical computer scientist.
Zachos received his PhD from the ETHZ (Swiss Federal In...
Gottfried Wilhelm Leibniz
Gottfried Wilhelm von Leibniz (also Godefroi Guillaume Leibnitz, /ˈlaɪbnɪts/; [ˈɡɔtfʁiːt ˈvɪlhɛlm fɔn ˈlaɪbnɪts] or [ˈlaɪpnɪts]; July 1, 1646 – November 14, 1716) was a German polymath and philosopher...
Gottfried Wilhelm Leibniz - Wikipedia
Wilfrid Hodges
Wilfrid Augustine Hodges, FBA (born May 27, 1941) is a British mathematician, known for his work in model theory.
Hodges was Professor of Mathematics at Queen Mary, University of London from 1987 ...
Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz (12 December 1890 – 12 April 1963) was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic. He originated many novel ideas in semantics. Amon...
Robert Feys
Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).Feys was born in Mechelen, and received his PhD in 1909 from the...
Arthur Prior
Arthur Norman Prior, also known as A. N. Prior, (1914–1969) was a noted logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions t...
Pavel Tichý
Pavel Tichý ([ˈpavɛl ˈcɪxiː]; 18 February 1936 Brno, Czechoslovakia – 26 October 1994 Dunedin, New Zealand) was a Czech logician, philosopher and mathematician. He worked in the field of intens...