Why Is the Universe of Sets Not a Set?
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Does the Category of Multisets Require a Larger Universe Than
Pure Mathematical Sciences, Vol. 2, 2013, no. 3, 133 - 146 HIKARI Ltd, www.m-hikari.com Does the Category of Multisets Require a Larger Universe than that of the Category of Sets? Dasharath Singh (Former affiliation: Indian Institute of Technology Bombay) Department of Mathematics, Ahmadu Bello University, Zaria, Nigeria [email protected] Ahmed Ibrahim Isah Department of Mathematics Ahmadu Bello University, Zaria, Nigeria [email protected] Alhaji Jibril Alkali Department of Mathematics Ahmadu Bello University, Zaria, Nigeria [email protected] Copyright © 2013 Dasharath Singh et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In section 1, the concept of a category is briefly described. In section 2, it is elaborated how the concept of category is naturally intertwined with the existence of a universe of discourse much larger than what is otherwise sufficient for a large part of mathematics. It is also remarked that the extended universe for the category of sets is adequate for the category of multisets as well. In section 3, fundamentals required for adequately describing a category are extended to defining a multiset category, and some of its distinctive features are outlined. Mathematics Subject Classification: 18A05, 18A20, 18B99 134 Dasharath Singh et al. Keywords: Category, Universe, Multiset Category, objects. 1. Introduction to categories The history of science and that of mathematics, in particular, records that at times, a by- product may turn out to be of greater significance than the main objective of a research. -
The Iterative Conception of Set Author(S): George Boolos Reviewed Work(S): Source: the Journal of Philosophy, Vol
Journal of Philosophy, Inc. The Iterative Conception of Set Author(s): George Boolos Reviewed work(s): Source: The Journal of Philosophy, Vol. 68, No. 8, Philosophy of Logic and Mathematics (Apr. 22, 1971), pp. 215-231 Published by: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2025204 . Accessed: 12/01/2013 10:53 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Journal of Philosophy, Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Philosophy. http://www.jstor.org This content downloaded on Sat, 12 Jan 2013 10:53:17 AM All use subject to JSTOR Terms and Conditions THE JOURNALOF PHILOSOPHY VOLUME LXVIII, NO. 8, APRIL 22, I97I _ ~ ~~~~~~- ~ '- ' THE ITERATIVE CONCEPTION OF SET A SET, accordingto Cantor,is "any collection.., intoa whole of definite,well-distinguished objects... of our intuitionor thought.'1Cantor alo sdefineda set as a "many, whichcan be thoughtof as one, i.e., a totalityof definiteelements that can be combinedinto a whole by a law.'2 One mightobject to the firstdefi- nitionon the groundsthat it uses the conceptsof collectionand whole, which are notionsno betterunderstood than that of set,that there ought to be sets of objects that are not objects of our thought,that 'intuition'is a termladen with a theoryof knowledgethat no one should believe, that any object is "definite,"that there should be sets of ill-distinguishedobjects, such as waves and trains,etc., etc. -
Cantor, God, and Inconsistent Multiplicities*
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 44 (57) 2016 DOI: 10.1515/slgr-2016-0008 Aaron R. Thomas-Bolduc University of Calgary CANTOR, GOD, AND INCONSISTENT MULTIPLICITIES* Abstract. The importance of Georg Cantor’s religious convictions is often ne- glected in discussions of his mathematics and metaphysics. Herein I argue, pace Jan´e(1995), that due to the importance of Christianity to Cantor, he would have never thought of absolutely infinite collections/inconsistent multiplicities, as being merely potential, or as being purely mathematical entities. I begin by considering and rejecting two arguments due to Ignacio Jan´e based on letters to Hilbert and the generating principles for ordinals, respectively, showing that my reading of Cantor is consistent with that evidence. I then argue that evidence from Cantor’s later writings shows that he was still very religious later in his career, and thus would not have given up on the reality of the absolute, as that would imply an imperfection on the part of God. The theological acceptance of his set theory was very important to Can- tor. Despite this, the influence of theology on his conception of absolutely infinite collections, or inconsistent multiplicities, is often ignored in contem- porary literature.1 I will be arguing that due in part to his religious convic- tions, and despite an apparent tension between his earlier and later writings, Cantor would never have considered inconsistent multiplicities (similar to what we now call proper classes) as completed in a mathematical sense, though they are completed in Intellectus Divino. Before delving into the issue of the actuality or otherwise of certain infinite collections, it will be informative to give an explanation of Cantor’s terminology, as well a sketch of Cantor’s relationship with religion and reli- gious figures. -
Sets, Functions
Sets 1 Sets Informally: A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object. Examples: • real numbers, • complex numbers, C • integers, • All students in our class Defining Sets Sets can be defined directly: e.g. {1,2,4,8,16,32,…}, {CSC1130,CSC2110,…} Order, number of occurence are not important. e.g. {A,B,C} = {C,B,A} = {A,A,B,C,B} A set can be an element of another set. {1,{2},{3,{4}}} Defining Sets by Predicates The set of elements, x, in A such that P(x) is true. {}x APx| ( ) The set of prime numbers: Commonly Used Sets • N = {0, 1, 2, 3, …}, the set of natural numbers • Z = {…, -2, -1, 0, 1, 2, …}, the set of integers • Z+ = {1, 2, 3, …}, the set of positive integers • Q = {p/q | p Z, q Z, and q ≠ 0}, the set of rational numbers • R, the set of real numbers Special Sets • Empty Set (null set): a set that has no elements, denoted by ф or {}. • Example: The set of all positive integers that are greater than their squares is an empty set. • Singleton set: a set with one element • Compare: ф and {ф} – Ф: an empty set. Think of this as an empty folder – {ф}: a set with one element. The element is an empty set. Think of this as an folder with an empty folder in it. Venn Diagrams • Represent sets graphically • The universal set U, which contains all the objects under consideration, is represented by a rectangle. -
The Universal Finite Set 3
THE UNIVERSAL FINITE SET JOEL DAVID HAMKINS AND W. HUGH WOODIN Abstract. We define a certain finite set in set theory { x | ϕ(x) } and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any desired larger finite set in top-extensions of that universe. Specifically, ZFC proves the set is finite; the definition ϕ has complexity Σ2, so that any affirmative instance of it ϕ(x) is verified in any sufficiently large rank-initial segment of the universe Vθ ; the set is empty in any transitive model and others; and if ϕ defines the set y in some countable model M of ZFC and y ⊆ z for some finite set z in M, then there is a top-extension of M to a model N in which ϕ defines the new set z. Thus, the set shows that no model of set theory can realize a maximal Σ2 theory with its natural number parameters, although this is possible without parameters. Using the universal finite set, we prove that the validities of top-extensional set-theoretic potentialism, the modal principles valid in the Kripke model of all countable models of set theory, each accessing its top-extensions, are precisely the assertions of S4. Furthermore, if ZFC is consistent, then there are models of ZFC realizing the top-extensional maximality principle. 1. Introduction The second author [Woo11] established the universal algorithm phenomenon, showing that there is a Turing machine program with a certain universal top- extension property in models of arithmetic. -
Cantor-Von Neumann Set-Theory Fa Muller
Logique & Analyse 213 (2011), x–x CANTOR-VON NEUMANN SET-THEORY F.A. MULLER Abstract In this elementary paper we establish a few novel results in set the- ory; their interest is wholly foundational-philosophical in motiva- tion. We show that in Cantor-Von Neumann Set-Theory, which is a reformulation of Von Neumann's original theory of functions and things that does not introduce `classes' (let alone `proper classes'), developed in the 1920ies, both the Pairing Axiom and `half' the Axiom of Limitation are redundant — the last result is novel. Fur- ther we show, in contrast to how things are usually done, that some theorems, notably the Pairing Axiom, can be proved without invok- ing the Replacement Schema (F) and the Power-Set Axiom. Also the Axiom of Choice is redundant in CVN, because it a theorem of CVN. The philosophical interest of Cantor-Von Neumann Set- Theory, which is very succinctly indicated, lies in the fact that it is far better suited than Zermelo-Fraenkel Set-Theory as an axioma- tisation of what Hilbert famously called Cantor's Paradise. From Cantor one needs to jump to Von Neumann, over the heads of Zer- melo and Fraenkel, and then reformulate. 0. Introduction In 1928, Von Neumann published his grand axiomatisation of Cantorian Set- Theory [1925; 1928]. Although Von Neumann's motivation was thoroughly Cantorian, he did not take the concept of a set and the membership-relation as primitive notions, but the concepts of a thing and a function — for rea- sons we do not go into here. This, and Von Neumann's cumbersome nota- tion and terminology (II-things, II.I-things) are the main reasons why ini- tially his theory remained comparatively obscure. -
Sets - June 24 Chapter 1 - Sets and Functions
Math 300 - Introduction to Mathematical reasoning Summer 2013 Lecture 1: Sets - June 24 Chapter 1 - Sets and Functions Definition and Examples Sets are a \well-defined” collection of objects. We shall not say what we mean by \well-defined” in this course. At an introductory level, it suffices to think of a Set as a collection of objects. Some examples of sets are - • Collection of students taking Math 300, • Collection of all possible speeds that your car can attain, • Collection of all matrices with real entries (Math 308). Examples We mention some mathematical examples which we shall use throughout the course. Keep these examples in mind. • N - the set of natural numbers. Here, N = f1; 2; 3;:::; g • Z - the set of integers. Here, Z = f;:::; −3; −2; −1; 0; 1; 2; 3;:::; g • Q - the set of rational numbers. The set of rational numbers can described as fractions, where the numerator and denominator of the fraction are both integers and the denominator is not equal to zero. • R - the set of real numbers. • R+ - the set of positive real numbers. The objects of the set are called elements, members or points of the set. Usually a set is denoted by a capital letter. The elements of the set are denoted by lowercase letters. The symbol 2 denotes the phrase \belongs to". Let A be a set and let x be an element of the set A. The statement x 2 A should be read as x belongs to the set A. For example, the statement \1 2 N" should be read as \1 belongs to the set of natural numbers". -
Review of Set-Theoretic Notations and Terminology A.J
Math 347 Review of Set-theoretic Notations and Terminology A.J. Hildebrand Review of Set-theoretic Notations and Terminology • Sets: A set is an unordered collection of objects, called the elements of the set. The standard notation for a set is the brace notation f::: g, with the elements of the set listed inside the pair of braces. • Set builder notation: Notation of the form f::: : ::: g, where the colon (:) has the meaning of \such that", the dots to the left of the colon indicate the generic form of the element in the set and the dots to 2 the right of the colon denote any constraints on the element. E.g., fx 2 R : x < 4g stands for \the set of 2 all x 2 R such that x < 4"; this is the same as the interval (−2; 2). Other examples of this notation are f2k : k 2 Zg (set of all even integers), fx : x 2 A and x 2 Bg (intersection of A and B, A \ B). 2 Note: Instead of a colon (:), one can also use a vertical bar (j) as a separator; e.g., fx 2 R j x < 4g. Both notations are equally acceptable. • Equality of sets: Two sets are equal if they contain the same elements. E.g., the sets f3; 4; 7g, f4; 3; 7g, f3; 3; 4; 7g are all equal since they contain the same three elements, namely 3, 4, 7. • Some special sets: • Empty set: ; (or fg) • \Double bar" sets: 1 ∗ Natural numbers: N = f1; 2;::: g (note that 0 is not an element of N) ∗ Integers: Z = f:::; −2; −1; 0; 1; 2;::: g ∗ Rational numbers: Q = fp=q : p; q 2 Z; q 6= 0g ∗ Real numbers: R • Intervals: ∗ Open interval: (a; b) = fx 2 R : a < x < bg ∗ Closed interval: [a; b] = fx 2 R : a ≤ x ≤ bg ∗ Half-open interval: [a; b) = fx 2 R : a ≤ x < bg • Universe: U (\universe", a \superset" of which all sets under consideration are assumed to be a subset). -
Chapter I Set Theory
Chapter I Set Theory There is surely a piece of divinity in us, something that was before the elements, and owes no homage unto the sun. Sir Thomas Browne One of the benefits of mathematics comes from its ability to express a lot of information in very few symbols. Take a moment to consider the expression d sin( θ). dθ It encapsulates a large amount of information. The notation sin( θ) represents, for a right triangle with angle θ, the ratio of the opposite side to the hypotenuse. The differential operator d/dθ represents a limit, corresponding to a tangent line, and so forth. Similarly, sets are a convenient way to express a large amount of information. They give us a language we will find convenient in which to do mathematics. This is no accident, as much of modern mathematics can be expressed in terms of sets. 1 2 CHAPTER I. SET THEORY 1 Sets, subsets, and set operations 1.A What is a set? A set is simply a collection of objects. The objects in the set are called the elements . We often write down a set by listing its elements. For instance, the set S = 1, 2, 3 has three elements. Those elements are 1, 2, and 3. There is a special symbol,{ }, that we use to express the idea that an element belongs to a set. For instance, we∈ write 1 S to mean that “1 is an element of S.” For∈ the set S = 1, 2, 3 , we have 1 S, 2 S, and 3 S. -
Elements of Set Theory
Elements of set theory April 1, 2014 ii Contents 1 Zermelo{Fraenkel axiomatization 1 1.1 Historical context . 1 1.2 The language of the theory . 3 1.3 The most basic axioms . 4 1.4 Axiom of Infinity . 4 1.5 Axiom schema of Comprehension . 5 1.6 Functions . 6 1.7 Axiom of Choice . 7 1.8 Axiom schema of Replacement . 9 1.9 Axiom of Regularity . 9 2 Basic notions 11 2.1 Transitive sets . 11 2.2 Von Neumann's natural numbers . 11 2.3 Finite and infinite sets . 15 2.4 Cardinality . 17 2.5 Countable and uncountable sets . 19 3 Ordinals 21 3.1 Basic definitions . 21 3.2 Transfinite induction and recursion . 25 3.3 Applications with choice . 26 3.4 Applications without choice . 29 3.5 Cardinal numbers . 31 4 Descriptive set theory 35 4.1 Rational and real numbers . 35 4.2 Topological spaces . 37 4.3 Polish spaces . 39 4.4 Borel sets . 43 4.5 Analytic sets . 46 4.6 Lebesgue's mistake . 48 iii iv CONTENTS 5 Formal logic 51 5.1 Propositional logic . 51 5.1.1 Propositional logic: syntax . 51 5.1.2 Propositional logic: semantics . 52 5.1.3 Propositional logic: completeness . 53 5.2 First order logic . 56 5.2.1 First order logic: syntax . 56 5.2.2 First order logic: semantics . 59 5.2.3 Completeness theorem . 60 6 Model theory 67 6.1 Basic notions . 67 6.2 Ultraproducts and nonstandard analysis . 68 6.3 Quantifier elimination and the real closed fields . -
Sets and Functions
Unit SF Sets and Functions Section 1: Sets The basic concepts of sets and functions are topics covered in high school math courses and are thus familiar to most university students. We take the intuitive point of view that sets are unordered collections of objects. We first recall some standard terminology and notation associated with sets. When we speak about sets, we usually have a “universal set” U in mind, to which the various sets of our discourse belong. Definition 1 (Set notation) A set is an unordered collection of distinct objects. We use the notation x ∈ S to mean “x is an element of S” and x∈ / S to mean “x is not an element of S.” Given two subsets (subcollections) of U, X and Y , we say “X is a subset of Y ,” written X ⊆ Y , if x ∈ X implies that x ∈ Y . Alternatively, we may say that “Y is a superset of X.” X ⊆ Y and Y ⊇ X mean the same thing. We say that two subsets X and Y of U are equal if X ⊆ Y and Y ⊆ X. We use braces to designate sets when we wish to specify or describe them in terms of their elements: A = {a, b, c}, B = {2, 4, 6,...}. A set with k elements is called a k-set or set with cardinality k. The cardinality of a set A is denoted by |A|. Since a set is an unordered collection of distinct objects, the following all describe the same 3-element set {a, b, c} = {b, a, c} = {c, b, a} = {a, b, b, c, b}. -
Paradox and Foundation Zach Weber Submitted in Total Fulfilment of The
Paradox and Foundation Zach Weber Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy May 2009 School of Philosophy, Anthropology and Social Inquiry The University of Melbourne This is to certify that - the thesis comprises only my original work towards the PhD, - due acknowledgement has been made in the text to all other material used, - the thesis is less than 100,000 words in length. Preface Dialethic paraconsistency is an approach to formal and philosophical theories in which some but not all contradictions are true. Advancing that program, this thesis is about paradoxes and the foundations of mathematics, and is divided accordingly into two main parts. The first part concerns the history and philosophy of set theory from Cantor through the independence proofs, focusing on the set concept. A set is any col- lection of objects that is itself an object, with identity completely determined by membership. The set concept is called naive because it is inconsistent. I argue that the set concept is inherently and rightly paradoxical, because sets are both intensional and extensional objects: Sets are predicates in extension. All consistent characterizations of sets are either not explanatory or not coherent. To understand sets, we need to reason about them with an appropriate logic; paraconsistent naive set theory is situated as a continuation of the original foundational project. The second part produces a set theory deduced from an unrestricted compre- hension principle using the weak relevant logic DLQ, dialethic logic with quantifiers. I discuss some of the problems involved with embedding in DLQ, especially related to identity and substitution.