It sounds simple, but set theory is one of the basic building blocks for higher mathematics, so it helps to understand the basics well. Beyond its foundational role, set theory is a branch of mathematics in its own right, with an active research community. We write \a\in a\ to indicate that the object \a\ is an. One might say that set theory was born in late 1873, when he made the amazing discovery that the linear continuum, that is, the real line, is not countable, meaning that its points cannot be counted using the natural numbers. A set is described by listing elements separated by commas, or by a characterizing property of its elements, within braces. Set theory and its philosophy this page intentionally left blank set theory and its philosophy a critical introduct. Set symbols of set theory and probability with name and definition. Michael potter presents a comprehensive new philosophical introduction to set theory. Basic concepts of set theory, functions and relations.
If you concentrate too closely on too limited an application of a mathematical idea, you rob the mathematician of his most important tools. Chapter 1 logic and set theory to criticize mathematics for its abstraction is to miss the point entirely. Set theory will be compared and contrasted with logic, and ways will be examined of disguising each to resemble the other. The theory of the foundations of mathematics 1870 to 1940. Linkages the program philosophy is consistent with the districts philosophy of education. Also, the formal language of pure set theory allows one to formalize all mathematical notions and arguments. Set theory and its philosophy faculty of philosophy. The early development of set theory stanford encyclopedia. A critical introduction all book readable online or download on pdf and mor formats for pc pda mac ipad mobile and more devices. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof. They also dwell on the still vexed issue of whether kellys theory is a cognitive theory or a theory of human experiencing. In naive set theory, a set is a collection of objects called members or elements that is regarded as being a single object.
In set theory and its philosophy, michael potter has given us a wonderful new book. He discusses in detail the project of set theoretic reduction, which aims to interpret. Of sole concern are the properties assumed about sets and the membership relation. The philosophy provides a sound foundation for program goals and objectives. For those of you new to abstract mathematics elementary does not mean simple though much of the material. Sets are welldetermined collections that are completely characterized by their elements.
Contemporary research into set theory includes a diverse collection of topics, ranging from the structure of the real number line to the study of the consistency of large cardinals. Set theory and its philosophy is a key text for philosophy, mathematical logic, and computer science. A set is a collection of objects, nothing more and nothing less. Philosophy is a key text for philosophy, mathematical logic, and computer science. Quines approach to set theory and logic is very much within the philosophy department way of thinking, which is no longer taken seriously by mathematicians. Analytic philosophy, a loosely related set of approaches to philosophical problems, dominant in angloamerican philosophy from the early 20th century, that emphasizes the study of language and the logical analysis of concepts.
Both its foundational role and its particular mathematical features the centrality of. Set theory is the mathematical theory of welldetermined collections, called. Pdf set theory and its philosophy download full pdf book. Its core is a slightly nonstandard development of axiomatic set theory, starting with the concept of a collection and working up through the axiom of choice and some simple cardinal arithmeticenough to understand the statement and significance of the continuum hypothesis, but not enough to appreciate the. Set theory, as a separate mathematical discipline, begins in the work of georg cantor.
A critical introduction download set theory and its philosophy. The mathematical theory of sets is both a foundation in some sense for classical mathematics and a branch of mathematics in its own right. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Moral principles and moral judgement introduction over the last two decades traditional, principlebased moral theories have come under. This page sets out the principles of sets, and the elements within them. The new dover edition of levys basic set theory contains an errata not available in the old version. Section i the psychology of personal constructs and its. The old theory of types is still discussed somewhat in the philosophy department version of mathematical logic, but the mathematics department principally remembers russells work only. It discusses in detail the project of settheoretic reduction. This book presents a philosophical introduction to set theory. Properties and relationships of set theory how are venn diagrams used to show relationships among sets. Thus, two sets are equal if and only if they have exactly the same elements.
The book offers an account of cardinal and ordinal arithmetic, and the various axiom candidates. The philosophy states an educationally appropriate case for the role of specific discipline in the k12 curriculum and its importance in the education for all students. The implications of naturalism as an educational philosophy in jordan from the perspectives of. Types, sets and categories information technology services. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. To indicate that an object x is a member of a set a one writes x. It is useful in a number of fields of philosophy, like logic, semantics. The big questions cannot be dodged, and students will not brook a flippant or easy answer.
Although elementary set theory is wellknown and straightforward, the modern subject, axiomatic set theory, is both conceptually more di. So with this book, set theory and its logic, quine was tying himself to the losing side of history. Raymond bradley norman swartz department of philosophy simon fraser university. Jan 21, 2016 set theory and its applications slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. Its core is a slightly nonstandard development of axiomatic set theory, starting with the concept of a collection and working up through the axiom of choice and some simple cardinal arithmeticenough to understand the statement and significance of the continuum hypothesis, but not enough to appreciate the singular cardinals hypothesis. Because the fundamentals of set theory are known to all mathemati.
Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. I offer a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. This theory is supported by science as its primary assumption strahler, 1992. Complex issues arise in set theory more than any other area of pure mathematics. The axioms of set theory imply the existence of a settheoretic universe so rich that all mathematical objects can be construed as sets. A set of assumptions, propositions, or accepted facts that attempts to provide a plausible or rational explanation of causeandeffect causal relationships among a group of observed phenomenon. Philosophy of set theory university of california, irvine. Pdf set theory and its philosophy a critical introduction.
Sets and elements set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions. Philosophy as a key instrument in establishing curriculum. If you continue browsing the site, you agree to the use of cookies on this website. Philosophy is a particular unique type of thought or style of thinking.
This book was written for two groups of people, philosophically informed mathematicians with a serious interest in the philosophy of their subject, and philosophers with a serious interest in mathematics. It also led to the emergence of the intuitionistic philosophy of mathematics by the. I will state and give supporting evidence for several theses. Given that phenomenology has been a decisive precondition and persisting interlocutor for a whole range of later theory formations, including hermeneutics, deconstruction, and poststructuralism, it rightly. A set may be defined by a membership rule formula or by listing its. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. Schimmerlings new book, a course on set theory, looks like a nice and compact introduction. A taste of set theory for philosophers university of helsinki. Some challenges for the philosophy of set theory logic at harvard. The whole point of russells paradox is that the answer such a set does not exist means the definition of the notion of set within a given theory is unsatisfactory. Note the difference between the statements such a set does not exist and it is an empty set. They are not guaranteed to be comprehensive of the material covered in the course.
French philosophy in the twentieth century, chapter 18. Thus, set theory has become the standard foundation for mathematics. It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. Anyone wishing to work on the logical foundations of mathematics must understand set theory. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. B for example, if s is the set of all juices in the supermarket, and t is the set of all. Introduction to modern set theory judith roitman december 6, 2011 1. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Set theory if we are interested in elements of a set a that are not contained in a set b, we can write this set as a. But even more, set theory is the milieu in which mathematics takes place today.
Set theory begins with a fundamental binary relation between an object o and a set a. An introduction to elementary set theory guram bezhanishvili and eachan landreth 1 introduction in this project we will learn elementary set theory from the original historical sources by two key gures in the development of set theory, georg cantor 18451918 and richard dedekind 18311916. Set theory and its philosophy is a key text for philosophy, mathematical logic, and. The philosophy of inductive logic, however, would be in no way distinguishable from philosophy s main stem, the the ory of knowledge. I wrote it in the rm belief that set theory is good not just for set theorists, but for many mathematicians, and that the earlier a student sees the particular point of view that we call modern set theory, the better.
What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Set theory and its philosophy paperback michael potter. Both its foundational role and its particular mathematical features the centrality of axiomatization and the prevalence of. The theory of the foundations of mathematics 1870 to 1940 mark sche. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. The notion of set is taken as undefined, primitive, or basic, so we dont try to define what a set is, but we can give an informal description, describe. In contrast to naive set theory, the attitude adopted in an axiomatic development of set theory is that it is not necessary to know what the things are that are called sets or what the relation of membership means. Of course, a representation of all mathematics in set theory is meant to be taken. Set theory is a very general but still entirely exact theory of objects called sets. Bell this essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day.
Basic set theory stanford encyclopedia of philosophy. The basic relation in set theory is that of elementhood, or membership. Set theory is also the most philosophical of all disciplines in mathematics. Its core is a slightly nonstandard development of axiomatic set theory, starting with the concept of a collection and working up through the axiom of choice and some simple cardinal arithmeticenough to understand the statement and significance of the continuum hypothesis, but not enough to appreciate the singular. A critical introduction pdf file nik weaver apr 22, 2015 mathematics the book is a research.
Department of mathematics and statistics university of helsinki and institute for logic, language and computation university of amsterdam november 17, 2010 contents 1 introduction 1 2 elementary set theory 2 3 cardinal and ordinal numbers 3. German philosophy heidegger, gadamer, apel, chapter 17. Although most work in analytic philosophy has been done in great britain. Basic set theory a set is a many that allows itself to be thought of as a one. A comprehensive philosophical introduction to set theory. Introduction in this paper my main goal is to elaborate on some ideas from a talk which i gave at the workshop on \ set theory and the philosophy of mathematics held at the university of pennsylvania in october 2010.
The whiteheadrussell way of doing logic and set theory has long been relegated to the history books, while zf set theory and its spawn have dominated the scene. Henle, an outline of set theory is a problemoriented text. Jack adamswebber then summarizes much of the research that has been carried out in relation to personal construct theory. Pdf set theory and its philosophy download full pdf. A critical introduction clarendon press, 2004 360 pages 0191556432, 9780191556432 michael. If a is a set, its elements may themselves be sets. And by set theory here i mean the axioms of the usual system of zermelofraenkel set theory, including at least some of the fancy addons that do not come as standard. Oyeshile department of philosophy, university of ibadan, ibadan, nigeria introduction the definition of philosophy has remained a perennial philosophical problem and there is little agreement as to what it is. Timothy bays in set theory and its philosophy, michael potter has. The main aim of descriptive set theory is to find structural properties common to all such definable sets. In order to properly understand the philosophy of intuitionism, we must first gain an.
1027 798 120 1039 764 164 712 842 969 728 444 185 1457 347 1427 510 1151 956 1613 1461 760 161 1495 1100 864 1312 350 529 1267 592 1425 542