Chapter 4 set theory \a set is a many that allows itself to be thought of as a one. Solution hints to most exercises are provided in an extra. Leader, lentterm 2005, 2010 chapter 1 propositional logic 1 chapter 2 wellorderings and ordinals 7 chapter 3 posets and zorns lemma 16 chapter 4 predicate logic 24 chapter 5 set theory 34 chapter 6 cardinals 43 bonus lecture incompleteness examples sheets prerequisites. Nb note bene it is almost never necessary in a mathematical proof to remember that a function is literally a set of ordered pairs. If you concentrate too closely on too limited an application of a mathematical idea, you rob the mathematician of his most important tools. The boolean algebra of sets engineering libretexts.
It ought to displace quines set theory and its logic, for example. To deal with the complexities of set theory and mathematics one develops a. Set theory is also the most philosophical of all disciplines in mathematics. Ellermeyer august 18, 2000 set theory membership a setis a welldefined collection of objects. Set theory and logic is the result of a course of lectures for advanced undergraduates, developed at oberlin college for the purpose of introducing students to the conceptual foundations of mathematics. Motivation when you start reading these notes, the first thing you should be asking yourselves is what is set theory and why is it relevant.
Chapter 1 logic and set theory to criticize mathematics for its abstraction is to miss the point entirely. Introduction to modern set theory judith roitman december 6, 2011 1. One of the most complex and essential of modern mathematical innovations, the theory of sets crucial to quantum mechanics and other sciences, is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in set logic. Set theory for computer science university of cambridge. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The set of all functions from a set i to a set m is denoted by mi. The book presents the basic rudiments of fuzzy set theory and fuzzy logic and their applications in a simple and easy to understand manner. From the earliest times, mathematicians have been led to consider sets of objects of one kind or another, and the elementary notions of modern set theory are. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. Set theory and logic supplementary materials math 103. In a group of 90 students 65 students like tea and 35 students like coffee then how many students like both tea and coffee. Mathematical logic mathematical logic pdf fundamentals of mathematical logic classical mathematical logic mathematical logic, 2nd edition mathematical logic language a tour through mathematical logic mathematical logic exercises an introduction to mathematical logic hodel pdf handbook of logic in computer science vol. Introduction to logic and set theory 202014 bgu math.
Use features like bookmarks, note taking and highlighting while reading set theory and logic dover books on mathematics. This means that mathematics in constructive set theory can look very much like ordinary classical mathematics. In a group of 90 students 65 students like tea and 35 students like coffee then how many students like both tea. If a set s is finite, we let ns denote the number of elements in s. Axioms and set theory mathematics university of waterloo. Set theory and logic dover books on mathematics kindle edition by stoll, robert r download it once and read it on your kindle device, pc, phones or tablets. In earlier versions of our logic style manual, we tended to. It assumes no knowledge of logic, and no knowledge of set theory beyond the vague familiarity with curly brackets, union and intersection usually expected of an advanced mathematics.
Examples like this helped make set theory a mathematical subject in its own right. We shall work our way up from the sparse foundation to representing structures for a toy language and arithmetic. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with. 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. Exercises for unit i general considerations ucr math. It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and. Algebraic problems and exercises for high school 3 ion goian raisa grigor vasile marin florentin smarandache algebraic problems and exercises for high school sets, sets operations relations, functions aspects of combinatorics the educational publisher columbus, 2015. Set theory some basics and a glimpse of some advanced. Most of our time this week will be spent building up the language of set theory and in so doing gaining familiarity with its axioms. It will be suitable for all mathematics undergraduates coming to the subject for the first time.
When george boole wrote his 1854 book about logic, it was really as much about set theory as logic. State the compactness theorem and the decidability theorem, and deduce them from the completeness theorem. Leader, lentterm 2005, 2010 chapter 1 propositional logic 1 chapter 2 wellorderings and ordinals 7 chapter 3 posets and zorns lemma 16 chapter 4 predicate logic 24 chapter 5 set theory 34 chapter 6 cardinals 43. Sets are usually described using fg and inside these curly brackets a list of the elements or a description of the elements of the set. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with mathematical logic has been obtained. All elements of all the sets under discussion belong to some universal set or universe. If the object x is a member of the set a, then we write x a which is read as x is a member of aorx belongstoaorx is in aorx is an. It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and iii some elementary philosophy of logic. This chapter introduces set theory, mathematical in duction.
Introduction to set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales. I later discovered endertons elements of set theory and i rec. A revised and corrected republication of set theory, originally published in 1971 by addisonwesley publishing company, reading, massachusetts. Of course its logic is intuitionistic, but there is no special notion of construction or constructive object. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof.
This accessible approach to set theory for upperlevel undergraduates poses rigorous but simple arguments. My solutions to stolls set theory and logic textbook. 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 important properties of sets, and give examples. Oct 17, 20 modern set theory is it a religious belief system. Set theory is indivisible from logic where computer science has its roots. Apr 16, 20 set theory a set is a collection of well defined objects and these things which constitute a set are called its elements or members. Like logic, the subject of sets is rich and interesting for its own sake. If the object x is a member of the set a, then we write x a which is read as x is a.
Theory and applications of categories electronic journal godel on the net. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. The study of these topics is, in itself, a formidable task. I believe one has to have some familiarity with logic and set theory in order to fully.
Nievergelt, logic, mathematics, and computer science. An elementary introduction to logic and set theory. Though propositional logic will prove a useful tool to describe certain aspects of meaning, like the reasoning in 1, it is a blunt. We give below examples for three types of fallacies that are often found in attempted mathematical proofs. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. An overview of logic, proofs, set theory, and functions. The language of set theory can be used to define nearly all mathematical objects. Beginnings of set theory on mactutor history of mathematics site at st andrews british logic colloquium with many further links. 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. However, most of the time, we only have an intuitive picture of what set theory should look like there are sets, we can take intersections, unions, intersections and subsets.
For those of you new to abstract mathematics elementary does not mean simple though much of the material. Thenfwill oftenbedenotedbya i i2i andisnamed,dependingonthecontext,an indexed family, an ituple, or a sequence. Any object which is in a set is called a member of the set. Logic and set theory a rigorous analysis of set theory belongs to the foundations of mathematics and mathematical logic. The book is based on lectures given at the university of cambridge and covers the basic concepts of logic. The geometrical representation of different types of sets. Georg cantor in the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains in predicate logic form sets as well. Basic concepts of set theory, functions and relations. 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 mathematics, the notion of a set is a primitive notion. It is written with a general type of reader in mind. Halmos was quite painful to work through, because there was little mathematical notation. Basic set theory lx 502 semantics i september 11, 2008 1. Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student.
For example, a deck of cards, every student enrolled in math 103, the collection of all even integers, these are all examples of sets of things. Priors book has sections on propositional calculus, quantification theory, the aristotelian syllogistic, traditional logic, modal logic, threevalued logic, and the logic of extension. They are not guaranteed to be comprehensive of the material covered in the course. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. The algebra of sets, like the algebra of logic, is boolean algebra. I worked my way through halmos naive set theory, and did about of robert vaughts book.
Set theory questions and answers, set theory questions for aptitude, set theory question bank, sets questions and answers, set theory questions exercise for practice. Proof, sets, and logic department of mathematics boise state. We will need only a few facts about sets and techniques for dealing with them, which we set out in this section and the next. All the axioms so far can be realized in a domain of finite sets, see exercise 12. For example, a deck of cards, every student enrolled in. Set theory a set is a collection of well defined objects and these things which constitute a set are called its elements or members. These will be the only primitive concepts in our system.
This book is an introduction to logic for students of contemporary philosophy. Ion goian raisa grigor vasile marin florentin smarandache. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. B for example, if s is the set of all juices in the supermarket, and t is the set of all. There are just the sets, as in classical set theory. Thus, three features are the full integration into the text of the study of models of set theory, the use of illustrative examples both in the text and and in the exercises, and the integration of. Show that the set of all xsuch that x2aand xbexists. Complex issues arise in set theory more than any other area of pure mathematics. The notes mentioned that one reason for the continued study of axiomatic set theory is to. A set s of propositions is called nitary if there exists a nite set t of propositions. Set theory is a basis of modern mathematics, and notions of set theory are used in all formal descriptions. The big questions cannot be dodged, and students will not brook a flippant or easy answer. When expressed in a mathematical context, the word statement is viewed in a. Because of the close relationship between logic and set theory, their algebras are very similar.
935 1148 775 78 839 510 439 1221 1142 396 810 1138 713 867 1358 1384 171 752 669 820 793 1175 557 1224 1361 1123 775 1227 491 1073 1134 574 1113 95 955 864 1432 348 114 45 823 1220 230 859 870 982 99 1208 534 138