Related Research Articles
In mathematics, the axiom of regularity is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A. In first-order logic, the axiom reads:
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Sir Michael Anthony Eardley Dummett was an English academic described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford. He wrote on the history of analytic philosophy, notably as an interpreter of Frege, and made original contributions particularly in the philosophies of mathematics, logic, language and metaphysics.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
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.
Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.
In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.
In the philosophy of mathematics, specifically the philosophical foundations of set theory, limitation of size is a concept developed by Philip Jourdain and/or Georg Cantor to avoid Cantor's paradox. It identifies certain "inconsistent multiplicities", in Cantor's terminology, that cannot be sets because they are "too large". In modern terminology these are called proper classes.
In set theory, the axiom of limitation of size was proposed by John von Neumann in his 1925 axiom system for sets and classes. It formalizes the limitation of size principle, which avoids the paradoxes encountered in earlier formulations of set theory by recognizing that some classes are too big to be sets. Von Neumann realized that the paradoxes are caused by permitting these big classes to be members of a class. A class that is a member of a class is a set; a class that is not a set is a proper class. Every class is a subclass of V, the class of all sets. The axiom of limitation of size says that a class is a set if and only if it is smaller than V—that is, there is no function mapping it onto V. Usually, this axiom is stated in the equivalent form: A class is a proper class if and only if there is a function that maps it onto V.
John Cook Wilson was an English philosopher, Wykeham Professor of Logic and Fellow of New College.
The following events related to sociology occurred in the 1980s.
Michael Makkai is Canadian mathematician of Hungarian origin, specializing in mathematical logic. He works in model theory, category theory, algebraic logic, type theory and the theory of topoi.
Donald Angus Gillies is a British philosopher and historian of science and mathematics. He is an Emeritus Professor in the Department of Science and Technology Studies at University College London.
John Lane Bell is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the University of Western Ontario in Canada. His research includes such topics as set theory, model theory, lattice theory, modal logic, quantum logic, constructive mathematics, type theory, topos theory, infinitesimal analysis, spacetime theory, and the philosophy of mathematics. He is the author of more than 70 articles and of 13 books. In 2009, he was elected a Fellow of the Royal Society of Canada.
Ian Rumfitt is a British philosopher specialising in the philosophy of language and philosophy of math He is a senior research fellow at All Souls College, Oxford.
Dmitry Semionovitch Mirimanoff was a member of the Moscow Mathematical Society in 1897. And later became a doctor of mathematical sciences in 1900, in Geneva, and taught at the universities of Geneva and Lausanne.
John MacFarlane is an American professor of philosophy at the University of California, Berkeley interested in logic and metaphysics. He has made influential contributions to truth-value theory inferential semantics. In 2015, he was elected a Fellow the American Academy of Arts and Sciences. He is also known for his contributions to open source software, especially the Pandoc document converter and other Markdown parsers and verifiers. MacFarlane was among the group of people that helped launch the CommonMark standardization effort for Markdown.
Philip Joseph Kain is an American philosopher and Professor of Philosophy at Santa Clara University. He is known for his works on post-Kantian philosophy.
Anand Pillay is a British mathematician and logician working in model theory and its applications in algebra and number theory.
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
- ↑ Moore, Gregory H. (June 1987). "Michael Hallett. Cantorian set theory and limitation of size. Oxford logic guidelines, no. 10. Clarendon Press, Oxford University Press, Oxford and New York1984, xxiii + 343 pp". The Journal of Symbolic Logic. 52 (2): 568–570. doi:10.2307/2274416. ISSN 0022-4812.
- ↑ Dauben, Joseph W. (1988). "Review of Cantorian Set Theory and Limitation of Size". The British Journal for the Philosophy of Science. 39 (4): 541–550. ISSN 0007-0882.
- ↑ Clark, Peter (1986). "Review of Cantorian Set Theory and Limitation of Size". Mind. 95 (380): 523–528. ISSN 0026-4423.
