Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.
The Vienna Circle of logical empiricism was a group of elite philosophers and scientists drawn from the natural and social sciences, logic and mathematics who met regularly from 1924 to 1936 at the University of Vienna, chaired by Moritz Schlick. The Vienna Circle had a profound influence on 20th-century philosophy, especially philosophy of science and analytic philosophy.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Hugo Albert Emil Hermann Dingler was a German scientist and philosopher.
Richard Rowan Rockingham Gill was a lecturer of philosophy—in particular, logic—and is an author.
Philosophy of Arithmetic: Psychological and Logical Investigations is an 1891 book about the philosophy of mathematics by the philosopher Edmund Husserl. Husserl's first published book, it is a synthesis of his studies in mathematics, under Karl Weierstrass, with his studies in philosophy and psychology, under Franz Brentano, to whom it is dedicated, and Carl Stumpf.
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP). With Bachelor and Ms.C. degrees in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 from the same university under the supervision of Newton da Costa and subsequently worked as a PostDoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.
Andrzej Grzegorczyk was a Polish logician, mathematician, philosopher, and ethicist noted for his work in computability, mathematical logic, and the foundations of mathematics.
Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.
Matthias Schirn is a German philosopher and logician.
Béla Juhos was a Hungarian-Austrian philosopher and member of the Vienna Circle.
The following is a list of works by philosopher Graham Priest.
Bruno Baron von Freytag-Löringhoff was a German philosopher, mathematician and epistemologist. He was also a university lecturer at the University of Tübingen. During World War II, Freytag-Löringhoff worked as a mathematician in the In 7/VI, that was the signals intelligence agency of the Wehrmacht and worked with Fritz Menzer on the testing of cryptographic devices and procedures. Freytag-Löringhoff worked specifically on the testing of the m-40 cipher machine. His most important contributions to the history of logic and mathematics was his studies and descriptions from 1957, of the calculating machine, built by Wilhelm Schickard.
Arnold Oberschelp is a German mathematician and logician. He was for many years professor of logic and science theory in Kiel.
The German Association for Mathematical Logic and for Basic Research in the Exact Sciences is the learned society representing the interdisciplinary research area of Logic (within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic. The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).