Related Research Articles
Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He served as the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
In set theory, a branch of mathematics, an urelement or ur-element is an object that is not a set, but that may be an element of a set. It is also referred to as an atom or individual. Ur-elements are also not identical with the empty set.
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.
Hao Wang was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel.
Non-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
Henry Nelson Goodman was an American philosopher, known for his work on counterfactuals, mereology, the problem of induction, irrealism, and aesthetics.
Ronald Björn Jensen is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory.
Penelope Maddy is an American philosopher. Maddy is Emerita UCI Distinguished Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. She is well known for her influential work in the philosophy of mathematics, where she has worked on mathematical realism and mathematical naturalism.
Akihiro Kanamori is a Japanese-born American mathematician. He specializes in set theory and is the author of the monograph on large cardinals, The Higher Infinite. He has written several essays on the history of mathematics, especially set theory.
Joel David Hamkins is an American mathematician and philosopher who is O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
The following is a list of works by philosopher Graham Priest.
Jean Estelle Hirsh Rubin was an American mathematician known for her research on the axiom of choice. She worked for many years as a professor of mathematics at Purdue University. Rubin wrote five books: three on the axiom of choice, and two more on more general topics in set theory and mathematical logic.
María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory.
The Higher Infinite: Large Cardinals in Set Theory from their Beginnings is a monograph in set theory by Akihiro Kanamori, concerning the history and theory of large cardinals, infinite sets characterized by such strong properties that their existence cannot be proven in Zermelo–Fraenkel set theory (ZFC). This book was published in 1994 by Springer-Verlag in their series Perspectives in Mathematical Logic, with a second edition in 2003 in their Springer Monographs in Mathematics series, and a paperback reprint of the second edition in 2009 (ISBN 978-3-540-88866-6).
Maria Luisa Dalla Chiara Scabia is an Italian logician and philosopher of science, known for her work on quantum logic and quasi-set theory. She is a professor emerita at the University of Florence.
Katalin Bimbó is a logician and philosopher known for her books on mathematical logic and proof theory. She earned a Ph.D. in 1999 at Indiana University Bloomington, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the University of Alberta after having earned tenure there in 2013.
Stella Ewa Orłowska is a Polish logician. Her research centers on the concept that everything in logic and set theory can be expressed in terms of relations, and has used this idea to publish works on deduction systems and model theory for non-classical logic, and logics of non-deterministic and incomplete information. She is a professor at the National Institute of Telecommunications in Warsaw, and the former president of the Polish Association for Logic and Philosophy of Science.
Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.
John Kenneth Truss is a mathematician and emeritus professor of pure mathematics at the University of Leeds where he specialises in mathematical logic, infinite permutation groups, homogeneous structures and model theory. Truss began his career as a junior research fellow at the University of Oxford before holding a series of academic positions and lastly joining the University of Leeds. He has written books on discrete mathematics (1991) and mathematical analysis (1997) and was co-editor in chief of the Journal of the London Mathematical Society until June 2003. He is the father of the former Prime Minister of the United Kingdom, Liz Truss.
References
- 1 2 3 Forster, Thomas. "CV" (PDF).
- ↑ Thomas Forster at the Mathematics Genealogy Project
- ↑ Forster, T. E. (1977). NF (Thesis). University of Cambridge. doi:10.17863/CAM.16205. hdl:1810/223940.
- ↑ "Dr Thomas Forster | Department of Pure Mathematics and Mathematical Statistics". www.dpmms.cam.ac.uk. Retrieved 29 November 2020.
- ↑ "Dr Thomas Forster | Queens' College". www.queens.cam.ac.uk. Retrieved 29 November 2020.
- ↑ FORSTER, THOMAS (June 2008). "The Iterative Conception of Set". The Review of Symbolic Logic. 1 (1): 97–110. CiteSeerX 10.1.1.157.5010 . doi:10.1017/s1755020308080064. ISSN 1755-0203. S2CID 15231169.
- ↑ "The Philosopher's Annual". www.pgrim.org. Retrieved 29 November 2020.
- ↑ Review of Quine's New Foundations: Urs Oswald, The Journal of Symbolic Logic, doi : 10.2307/2274242, JSTOR 2274242
- ↑ Reviews of Set Theory with a Universal Set:
- Maurice Boffa, Modern Logic,
- N. B. Cocchiarella, History and Philosophy of Logic, doi : 10.1080/01445349308837213
- J. W. Degen, Studia Logica, JSTOR 20015755
- Randall Holmes, The Journal of Symbolic Logic, doi : 10.2307/2275241, JSTOR 2275241; 2nd ed., doi : 10.2307/2275828, JSTOR 2275828
- Richard Kaye, Notre Dame Journal of Formal Logic , doi : 10.1305/ndjfl/1093634660
- Stewart Shapiro, MR 1166801
- N. H. Williams, Zbl 0755.03029; 2nd ed., Zbl 0831.03027
- ↑ Review of Reasoning about Theoretical Entities: Elliott Mendelson, MR 2017250, Zbl 1047.03001
- ↑ Reviews of Logic, Induction and Sets:
- Nick Lord, The Mathematical Gazette, doi : 10.1017/S0025557200177502, JSTOR 3620710
- Yehuda Rav, MR 1996832
- K.Chandrasekhara Rao, Zbl 1026.03002
- Jan Woleński, Studia Logica, JSTOR 20016735
