John Lane Bell on:
[Wikipedia]
[Google]
[Amazon]
John Lane Bell (born March 25, 1945) is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the
''The Continuous and the Infinitesimal in Mathematics and Philosophy''
Polimetrica, 2005. *(With D. DeVidi and G. Solomon) ''Logical Options: An Introduction to Classical and Alternative Logics''. Broadview Press, 2001. *''The Art of the Intelligible: An Elementary Survey of Mathematics in its Conceptual Development''. Kluwer, 1999.
''A Primer of Infinitesimal Analysis''
Cambridge University Press, 1998. Second Edition, 2008. *''Toposes & Local Set Theories: An Introduction''. Clarendon Press, Oxford, 1988. Reprinted by Dover, 2008. *''Boolean-Valued Models and Independence Proofs in Set Theory''. Clarendon Press, Oxford, 1977. 2nd edition, 1985. 3rd edition, 2005. *(With M. Machover)
''A Course in Mathematical Logic''
North-Holland, Amsterdam, 1977. 4th printing, 2003. *(With A. B. Slomson). ''Models and Ultraproducts: An Introduction''. North-Holland, Amsterdam, 1969
2006.
John Bell's webpageJohn Bell at the Mathematics Genealogy Project
{{DEFAULTSORT:Bell, John Lane 1945 births 20th-century Canadian mathematicians 20th-century Canadian philosophers 21st-century Canadian mathematicians 21st-century Canadian philosophers Academics of the London School of Economics Alumni of the University of Oxford Fellows of the Royal Society of Canada Living people Academic staff of the National University of Singapore Model theorists Philosophers of mathematics Set theorists Academic staff of the University of Western Ontario
John Lane Bell (born March 25, 1945) is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the University of Western Ontario
The University of Western Ontario (UWO; branded as Western University) is a Public university, public research university in London, Ontario, Canada. The main campus is located on of land, surrounded by residential neighbourhoods and the Thame ...
in Canada. His research includes such topics as set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
, model theory
In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...
, lattice theory
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bou ...
, modal logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields
it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
, quantum logic
In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting p ...
, constructive mathematics
In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove th ...
, type theory
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems.
Some type theories serve as alternatives to set theory as a foundation of ...
, topos theory
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally, on a site). Topoi behave much like the category of sets and possess a notion ...
, infinitesimal analysis, spacetime theory, and the philosophy of mathematics
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...
. 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
The Royal Society of Canada (RSC; , SRC), also known as the Academies of Arts, Humanities, and Sciences of Canada (French: ''Académies des arts, des lettres et des sciences du Canada''), is the senior national, bilingual council of distinguishe ...
.
Biography
John Bell was awarded a scholarship toOxford University
The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the second-oldest continuously operating u ...
at the age of 15, and graduated with a D.Phil. in Mathematics: his dissertation supervisor was John Crossley. During 1968–89 he was Lecturer in Mathematics and Reader in Mathematical Logic at the London School of Economics
The London School of Economics and Political Science (LSE), established in 1895, is a public research university in London, England, and a member institution of the University of London. The school specialises in the social sciences. Founded ...
.
Bell's students include Graham Priest
Graham Priest (born 1948) is a philosopher and logician who is distinguished professor of philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne, where he was Boyce Gibson Professor of Philosophy an ...
(Ph.D. Mathematics LSE, 1972), Michael Hallett (Ph.D. Philosophy LSE, 1979), David DeVidi (Ph.D. Philosophy UWO, 1994), Elaine Landry (Ph.D. Philosophy UWO, 1997) and Richard A. Feist (Ph.D. Philosophy UWO, 1999).
Bibliography
*''The Continuous, the Discrete, and the Infinitesimal in Philosophy and Mathematics '' (New and Revised Edition of 2005 book), Springer, 2019. *''Oppositions and Paradoxes: Philosophical Perplexities in Science and Mathematics.'' Broadview Press, 2016. *''Intuitionistic Set Theory''. College Publications, 2013. *''Set Theory: Boolean-Valued Models and Independence Proofs''. Oxford University Press 2011. *''The Axiom of Choice''. College Publications, 2009.''The Continuous and the Infinitesimal in Mathematics and Philosophy''
Polimetrica, 2005. *(With D. DeVidi and G. Solomon) ''Logical Options: An Introduction to Classical and Alternative Logics''. Broadview Press, 2001. *''The Art of the Intelligible: An Elementary Survey of Mathematics in its Conceptual Development''. Kluwer, 1999.
''A Primer of Infinitesimal Analysis''
Cambridge University Press, 1998. Second Edition, 2008. *''Toposes & Local Set Theories: An Introduction''. Clarendon Press, Oxford, 1988. Reprinted by Dover, 2008. *''Boolean-Valued Models and Independence Proofs in Set Theory''. Clarendon Press, Oxford, 1977. 2nd edition, 1985. 3rd edition, 2005. *(With M. Machover)
''A Course in Mathematical Logic''
North-Holland, Amsterdam, 1977. 4th printing, 2003. *(With A. B. Slomson). ''Models and Ultraproducts: An Introduction''. North-Holland, Amsterdam, 1969
2006.
References
External links
John Bell's webpage
{{DEFAULTSORT:Bell, John Lane 1945 births 20th-century Canadian mathematicians 20th-century Canadian philosophers 21st-century Canadian mathematicians 21st-century Canadian philosophers Academics of the London School of Economics Alumni of the University of Oxford Fellows of the Royal Society of Canada Living people Academic staff of the National University of Singapore Model theorists Philosophers of mathematics Set theorists Academic staff of the University of Western Ontario