British set theorist and philosopher
Thomas Edward Forster (born 12 April 1948) is a British set theorist and philosopher. His work has focused on Quine 's New Foundations , the theory of well-quasi-orders and better-quasi-orders , and various topics in philosophy.[ 1]
Career
Forster completed a PhD at the University of Cambridge in 1977, with the dissertation NF on New Foundations , jointly supervised by Adrian Mathias and Maurice Boffa.[ 2] [ 3]
Forster is an Affiliated Lecturer at DPMMS , Cambridge,[ 4] a bye-fellow at Queens' College ,[ 5] and holds honorary appointments for many other organisations worldwide, including the Center for Philosophy of Science in Pittsburgh, the Centre National de Recherches de Logique in Belgium, and the Centre for Discrete Mathematics and Theoretical Computer Science at the University of Auckland .[ 1] Amongst his undergraduate supervisees are Phebe Mann , Rosi Sexton , Richard Taylor , Rebecca Kitteridge , Doug Gurr , Sarah Flannery and Ursula Martin .
Recognition
Forster was awarded the J.T. Knight Prize as a PhD student at Cambridge in 1974.[ 1] His article "The Iterative Conception of Set"[ 6] was recognised by the Philosophers' Annual as one of the ten best philosophy articles of 2008.[ 7]
Books
Forster's books include:
Quine's New Foundations: An Introduction (Cabay, 1983)[ 8]
Set Theory with a Universal Set: Exploring an Untyped Universe (Clarendon, 1992; 2nd ed., 1996)[ 9]
Reasoning about Theoretical Entities (World Scientific, 2003)[ 10]
Logic, Induction and Sets (Cambridge University Press, 2003)[ 11]
References
^ a b c 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 , [1]
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 :
External links