Download Conceptions Of Set And The Foundations Of Mathematics full books in PDF, epub, and Kindle. Read online free Conceptions Of Set And The Foundations Of Mathematics ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : Luca Incurvati |
| Publisher | : Cambridge University Press |
| Total Pages | : 255 |
| Release | : 2020-01-23 |
| Genre | : History |
| ISBN | : 1108497829 |
Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.
| Author | : Luca Incurvati |
| Publisher | : Cambridge University Press |
| Total Pages | : 254 |
| Release | : 2021-07-15 |
| Genre | : Science |
| ISBN | : 9781108708791 |
Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.
| Author | : Luca Incurvati |
| Publisher | : Cambridge University Press |
| Total Pages | : 255 |
| Release | : 2020-01-23 |
| Genre | : Science |
| ISBN | : 1108758355 |
Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.
| Author | : Penelope Maddy |
| Publisher | : Oxford University Press |
| Total Pages | : 161 |
| Release | : 2011-01-27 |
| Genre | : Mathematics |
| ISBN | : 0199596182 |
Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. The axioms of set theory have long played this role, so the question of how they are properly judged is of central importance. Maddy discusses the appropriate methods for such evaluations and the philosophical backdrop that makes them appropriate.
| Author | : Burhanuddin Baki |
| Publisher | : Bloomsbury Publishing |
| Total Pages | : 283 |
| Release | : 2014-11-20 |
| Genre | : Philosophy |
| ISBN | : 1472578716 |
Alain Badiou's Being and Event continues to impact philosophical investigations into the question of Being. By exploring the central role set theory plays in this influential work, Burhanuddin Baki presents the first extended study of Badiou's use of mathematics in Being and Event. Adopting a clear, straightforward approach, Baki gathers together and explains the technical details of the relevant high-level mathematics in Being and Event. He examines Badiou's philosophical framework in close detail, showing exactly how it is 'conditioned' by the technical mathematics. Clarifying the relevant details of Badiou's mathematics, Baki looks at the four core topics Badiou employs from set theory: the formal axiomatic system of ZFC; cardinal and ordinal numbers; Kurt Gödel's concept of constructability; and Cohen's technique of forcing. Baki then rebuilds Badiou's philosophical meditations in relation to their conditioning by the mathematics, paying particular attention to Cohen's forcing, which informs Badiou's analysis of the event. Providing valuable insights into Badiou's philosophy of mathematics, Badiou's Being and Event and the Mathematics of Set Theory offers an excellent commentary and a new reading of Badiou's most complex and important work.
| Author | : Jose Ferreiros |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 472 |
| Release | : 2001-11-01 |
| Genre | : Mathematics |
| ISBN | : 9783764357498 |
"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)
| Author | : Joel David Hamkins |
| Publisher | : MIT Press |
| Total Pages | : 350 |
| Release | : 2021-03-09 |
| Genre | : Mathematics |
| ISBN | : 0262542234 |
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.
| Author | : Geoffrey Hellman |
| Publisher | : Cambridge University Press |
| Total Pages | : 167 |
| Release | : 2018-11-29 |
| Genre | : Science |
| ISBN | : 110863074X |
The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.
| Author | : Jaakko Hintikka |
| Publisher | : Cambridge University Press |
| Total Pages | : 308 |
| Release | : 1998-04-28 |
| Genre | : Mathematics |
| ISBN | : 9780521624985 |
This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities.
