Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory
    Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory
    Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory
    Ebook161 pages57 minutes

    Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory

    By G. B. Keene

    3/5

    ()

    Read preview

    About this ebook

    This text unites the logical and philosophical aspects of set theory in a manner intelligible both to mathematicians without training in formal logic and to logicians without a mathematical background. It combines an elementary level of treatment with the highest possible degree of logical rigor and precision.
    Starting with an explanation of all the basic logical terms and related operations, the text progresses through a stage-by-stage elaboration that proves the fundamental theorems of finite sets. It focuses on the Bernays theory of finite classes and finite sets, exploring the system's basis and development, including Stage I and Stage II theorems, the theory of finite ordinals, and the theory of finite classes and finite sets. This volume represents an excellent text for undergraduates studying intermediate or advanced logic as well as a fine reference for professional mathematicians.
    LanguageEnglish
    PublisherDover Publications
    Release dateJul 25, 2012
    ISBN9780486155005
    Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory

    Related to Abstract Sets and Finite Ordinals

    Titles in the series (100)

    View More
    View More

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Physicists Attack Math’s $1,000,000 Question

      Apr 4, 2017

      Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.

      4 min read

    • Article

      The Math That Takes Newton Into the Quantum World

      Feb 28, 2019

      In my 50s, too old to become a real expert, I have finally fallen in love with algebraic geometry. As the name suggests, this is the study of geometry using algebra. Around 1637, René Descartes laid the groundwork for this subject by taking a plane,

      9 min read

    • Article

      The Sacred, Spherical Cows of Physics: Theoretical physics milks symmetry to power its newest tool.

      May 1, 2014

      Early in their training, many physics students come across the idea of spherical cows. Cows in the real world—even at their most plump and well-fed—are hardly spherical, and this makes it tricky to calculate things like, say, how their volume or surf

      11 min read

    • Article

      The Deepest Uncertainty: When a hypothesis is neither true nor false.

      Jun 6, 2013

      Georg Cantor died in 1918 in a sanatorium in Halle, Germany. A pre-eminent mathematician, he had laid the foundation for the theory of infinite numbers in the 1870s. At the time, his ideas received hostile opposition from prominent mathematicians in

      4 min read

    • Article

      The Impossible Mathematics of the Real World

      Jun 8, 2017

      Using stiff paper and transparent tape, Craig Kaplan assembles a beautiful roundish shape that looks like a Buckminster Fuller creation or a fancy new kind of soccer ball. It consists of four regular dodecagons (12-sided polygons with all angles and

      6 min read

    • Article

      Math’s Beautiful Monsters

      Oct 26, 2017

      Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B

      10 min read

    • Article

      Math’s Beautiful Monsters: How a destructive idea paved the way for modern math.

      Apr 3, 2014

      Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B

      10 min read

    • Article

      Why Mathematicians Should Stop Naming Things After Each Other

      Sep 2, 2020

      Any student of modern math must know what it feels like to drown in a well of telescoping terminology. For a high-profile example, let’s take the Calabi-Yau manifold, made famous by string theory. A Calabi-Yau manifold is a compact, complex Kähler ma

      6 min read

    • Article

      The Twin Prime Hero: Rags, riches, and fame in mathematics.

      Dec 29, 2016

      Yitang “Tom” Zhang spent the seven years following the completion of his Ph.D. in mathematics floating between Kentucky and Queens, working for a chain of Subway restaurants, and doing odd accounting work. Now he is on a lecture tour that includes st

      8 min read

    • Article

      Math After COVID-19

      Apr 28, 2020

      Math After COVID-19
      4 min read

    • Article

      Kolmogorov Complexity and Our Search for Meaning

      Aug 2, 2018

      Was it a chance encounter when you met that special someone or was there some deeper reason for it? What about that strange dream last night—was that just the random ramblings of the synapses of your brain or did it reveal something deep about your u

      8 min read

    • Article

      The Awards and Rewards of Grasping Infinity

      Sep 19, 2017

      Two mathematicians who made a breakthrough in understanding infinity were recently given a medal. Their work itself reflects an unbounded progress in explanations of reality.

      2 min read

    • Article

      The Aesthetic Beauty of Math

      Jul 22, 2019

      The Aesthetic Beauty of Math
      5 min read

    • Article

      How Physics Is Like Three-Chord Rock: Like a set of common chords, the same math appears in diverse fields of physics.

      Jun 12, 2014

      A few years back, 12 million of us clicked over to watch the “Pachelbel Rant” on YouTube. You might remember it. Strumming repetitive chords on his guitar, comedian Rob Paravonian confessed that when he was a cellist, he couldn’t stand the Pachelbel

      6 min read

    • Article

      The Universe Began With a Big Melt, Not a Big Bang

      Oct 5, 2017

      There are two tantalizing mysteries about our universe, one dealing with its final fate and the other with its beginning, that have intrigued cosmologists for decades. The community has always believed these to be independent problems—but what if the

      10 min read

    • Article

      A Supermassive Lens On The Constants Of Nature

      Nov 25, 2020

      The 2020 Nobel Prize in Physics went to three researchers who confirmed that Einstein’s general relativity predicts black holes, and established that the center of our own galaxy houses a supermassive black hole with the equivalent of 4 million suns

      9 min read

    • Article

      Infinite Energy

      Apr 19, 2021

      Infinite Energy
      11 min read

    Related categories

    Reviews for Abstract Sets and Finite Ordinals

    3/5

    1 rating0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Abstract Sets and Finite Ordinals - G. B. Keene

      INDEX

      PREFACE

      IN this book an attempt is made to present, in a reasonably simple way, the outlines of a relatively complex subject. Although there are now many textbooks devoted to the relationship between mathematics and the logic of classes, very few of them are of much help to the newcomer. They usually presuppose either some knowledge of mathematical logic, despite the fact that few mathematics students are trained in logic, or else considerable competence in mathematics, thus neglecting the needs of many philosophy students. The present text aims to meet the needs of students both of mathematics and of philosophy, as well as those of the general reader. For this reason a preliminary survey is made, in Part I, of the few symbols of logic used in the second half of the text. It can safely be taken as read by anyone who has studied elementary modern logic. At the same time, no knowledge of mathematics is presupposed.

      The basis of Part II is the System of Axiomatic Set Theory of Paul Bernays, originally published as a series of articles in the Journal of Symbolic Logic¹. In these articles Bernays makes as little explicit use as possible of the formalism of logic. But in doing so he makes implicit use of the professional reader’s background knowledge. Consequently much of the intricate reasoning which lies just below the surface, so to speak, is beyond the grasp of readers new to the subject. The purpose of this book is to present a fragment of the Bernays Theory in a version which, while it makes explicit use of a certain amount of formalism, calls for no previous acquaintance with the subject.

      The result, it is hoped, will serve as an introduction both to the complete Bernays theory and to the techniques of set theory in general. It should also provide some point of application for elementary logic, less trivial than the usual testing-for-validity of artificially devised arguments.

      I am indebted to Professor Bernays for his criticisms of the first draft of the book. His suggestions as well as his kindly interest in it considerably lightened the burden of final preparation and correction of the typescript. I am also indebted to Mr. P. Geach of Birmingham, who read the typescript in an early form, to Professor D. J. O’Connor of Exeter University and Professor I. N. Sneddon of Glasgow University for their help and encouragement, and to the Editor of the Journal of Symbolic Logic, Professor S. C. Kleene, for his approval of my adaptation of material published in that Journal.

      Exeter

      G. B. K.

      PART I

      THE ELEMENTS OF SET THEORY

      SECTION 1

      THE BASIC LOGICAL CONCEPTS

      1.1. Introduction

      THE symbolism of elementary logic is both simple and efficient. By its means elegant and powerful logical calculi can be set up for the purpose of formalizing a scientific theory. But familiarity with the techniques involved in setting up these logical calculi is not essential to an understanding of the present text. All that is required is an understanding of the meaning and interrelation of the following symbols:

      , v, ⊃, ≡, (x)φ, (∃x)φ, ε

      All of them translate straightforwardly into a familiar word or phrase of ordinary speech. But they are not mere shorthand symbols. For each differs from its counterpart in ordinary speech in virtue of the fact that it is precisely defined; whereas the words of ordinary speech are not. We shall formulate, explain and illustrate the definition of each in turn. In doing so we shall make use of the two groups of letters: x,y,z,w, and: P,Q,R,S, which we call variables. They are variables in the sense that they keep a place open in a formula, just as the x in x² keeps a place open for any number we may wish to put there. The type of entity that may be put in place of our variables will be called the range of values of those variables. In fact the range of values of the variables x,y,z,w, is any individual object of any kind, and the range of values of the variables P,Q,R,S, is any proposition. Finally we shall use the notation T, to mean any true proposition, and F to mean any false proposition, and we shall refer to the symbols listed above as logical constants.

      1.2. The Logical Constants

      1.21. Member of

      When the Greek letter ε occurs between two variables as in:

      x ε y

      the range of values of the variable y is, thereby, confined to classes. Thus if the value John Doe is given to the variable x and the value mortals to the variable y, the result is the formula:

      John Doe ε mortals

      which may be read:

      John Doe is a member of the class Mortals

      Again if we write Nn as the name of the class Natural Numbers, then the formula:

      (I)

      x ε Nn

      gives rise to the following formulae, each of which represents a true statement:

      (II)

      0 ε Nn 1 ε Nn

      2 ε Nn

      … etc.

      Any formula of the type (I) above will be called a propositional function, where this term is intended to mean: an expression which becomes a proposition (true or false) when values

      Enjoying the preview?
      Page 1 of 1