|
![]() |
|||
|
||||
OverviewThis 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics, and should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics. Full Product DetailsAuthor: John P. MayberryPublisher: Cambridge University Press Imprint: Cambridge University Press (Virtual Publishing) Volume: 82 ISBN: 9781139087124ISBN 10: 1139087126 Publication Date: 05 March 2012 Audience: Professional and scholarly , Professional & Vocational Format: Undefined Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsPreface; Part I. Preliminaries: 1. The idea of foundations of mathematics; 2. Simple arithmetic; Part II. Basic Set Theory: 3. Semantics, ontology and logic; 4. The principal axioms and definitions of set theory; Part III. Cantorian Set Theory: 5. Cantorian finitism; 6. The axiomatic method; 7. Axiomatic set theory; Part IV. Euclidean Set Theory: 8. Euclidian finitism; 9. The Euclidean theory of cardinality; 10. The theory of simply infinite systems; 11. Euclidean set theory from the Cantorian standpoint; 12. Envoi; Appendices; Bibliography; Index.ReviewsReview of the hardback: ' ... this book is thought-provoking ... distinctive approach to the twin issues of mathematical ontology and mathematical foundations'. Australasian Journal of Philosophy ...an invigorating call to foundational arms... Notre Dame Journal of Formal Logic ...this book is thought provoking...a distinctive approach to the twin issues of mathematical ontology and mathematical foundations... Australasian Journal of Philosophy ...I also think that it is one of the more philosophically significant books to have been written on this topic in some time. It provides much food for thought... this should certainly be acknowledged as an important piece of conceptual analysis, one which suggests interesting avenues for further exploration. Mary Tiles, Philosophia Mathematica ...a very lively book, filled with striking theses... The Bulletin of Symbolic Logic Review of the hardback: ' ... this book is thought-provoking ... distinctive approach to the twin issues of mathematical ontology and mathematical foundations'. Australasian Journal of Philosophy Author InformationTab Content 6Author Website:Countries AvailableAll regions |