Related Research Articles
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
Ruth Barcan Marcus was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".
Hao Wang was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel.
Louis Couturat was a French logician, mathematician, philosopher, and linguist. Couturat was a pioneer of the constructed language Ido.
Universal science is a branch of metaphysics, dedicated to the study of the underlying principles of all science. Instead of viewing knowledge as being separated into branches, Universalists view all knowledge as being part of a single category. Universal science is related to, but distinct from universal language.
Wilfrid Augustine Hodges, FBA is a British mathematician and logician known for his work in model theory.
Ehud Hrushovski is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.
Robin 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.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.
(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.
John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
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.
Volker Halbach is a German logician and philosopher. His main research interests are in philosophical logic, philosophy of mathematics, philosophy of language, and epistemology, with a focus on formal theories of truth. He is Professor of Philosophy at the University of Oxford, Tutorial Fellow of New College, Oxford.
Janina Hosiasson-Lindenbaum was a Polish logician and philosopher. She published some twenty research papers along with translations into Polish of three books by Bertrand Russell. The main focus of her writings was on foundational problems related to probability, induction and confirmation. She is noted especially for authoring the first printed discussion of the Raven Paradox which she credits to Carl Hempel and the probabilistic solution she outlined to it. Shot by the Gestapo in 1942, she, like her husband Adolf Lindenbaum, and many other eminent representatives of Polish logic, shared the fate of millions of Jews murdered on Polish soil by the Nazis.
Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Hamburg and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series Foundations of the Formal Sciences and Computability in Europe.
Jouko Antero Väänänen is a Finnish mathematical logician known for his contributions to set theory, model theory, logic and foundations of mathematics. He served as the vice-rector at the University of Helsinki, and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". He was elected to the Finnish Academy of Science and Letters in 2002. He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, as well as the Treasurer of the European Set Theory Society since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.
Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semantics, and functional programming with a focus on foundations and type theories.
The New York University Department of Philosophy offers B.A., M.A., and Ph.D. degrees in philosophy, as well as a minor in philosophy and a joint major in language and mind with the NYU Departments of Linguistics and Psychology. It is home to the New York Institute of Philosophy, a research center that supports multi-year projects, public lectures, conferences, and workshops in the field, as well as outreach programs to teach New York City high school students interested in philosophy.
Philip David Welch is a British mathematician known for his contributions to logic and set theory. He is Professor of Pure Mathematics at the School of Mathematics, University of Bristol. He is currently President of the European Set Theory Society (2021) and the Coordinating Editor of the Journal of Symbolic Logic (2016), and was President of the British Logic Colloquium from 2017 to 2022.
References
- 1 2 3 Charity Commission for England and Wales. "THE BRITISH LOGIC COLLOQUIUM - Charity 275541". Register of Charities. GOV.UK. Retrieved 2024-04-27.
- ↑ "Mapping the Arts and Humanities". Mapping the Arts and Humanities. Humanities.org. Retrieved 2024-05-02.
- 1 2 "British Logic Colloquium: Aims". British Logic Colloquium. Retrieved 2024-04-27.
- ↑ "British Logic Colloquium: Activities". British Logic Colloquium. Retrieved 2024-04-27.
- ↑ "Internet Resources: Philosophy: Logic, Philosophy of Mathematics, Philosophy of Science". University Libraries. Virginia Tech. Retrieved 2024-05-02.
- ↑ "Society Information". History and Philosophy of Logic. Taylor and Francis Online. Retrieved 2024-05-02.
- ↑ "British Logic Colloquium: History". British Logic Colloquium. Retrieved 2024-04-27.
- ↑ Moschovakis and Mike Yates, Yiannis (1996). "In Memoriam: Robin Oliver Gandy, 1919-1995". The Bulletin of Symbolic Logic. 2 (3): 368. Retrieved 2024-05-02.
- ↑ "Notices". The Bulletin of Symbolic Logic. 21 (4): 496. 2015. Retrieved 2024-05-02.
- ↑ "Wilfrid Hodges". Gresham College. Gresham College. Retrieved 2024-05-02.
- ↑ Miller, David (1999). "Being an Absolute Skeptic". Science. 284 (5420): 1625. Retrieved 2024-05-02.
- ↑ "Author Profile: Mirna Džamonja". Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 364 (1849): 3182. 2006. Retrieved 2024-05-02.
- ↑ "British Logic Colloquium". blc-logic.org. Retrieved 2024-09-18.
- ↑ "British Logic Colloquium 2007". www.dcs.bbk.ac.uk. Archived from the original on 27 March 2007.
- ↑ "blc2019". sites.google.com. 2019. Archived from the original on 22 April 2021.
- ↑ "British Logic Colloquium". blc-logic.org. Retrieved 2024-09-18.