Mathematics of Ideas
Mathematics of Ideas
William S. Veatch
Copyright 2016, by William S. Veatch.
All Rights Reserved. Moral rights asserted.
ISBN-13: 978-1539503392
ISBN-10: 1539503399
DEDICATION
Preface xvii
VOLUME 1 FOUNDATIONS
vi
MATH WITHOUT NUMBERS
4.4.1. Union 81
4.4.2. Intersection 81
4.4.5. Complement 84
vii
WILLIAM S. VEATCH
viii
MATH WITHOUT NUMBERS
ix
WILLIAM S. VEATCH
x
MATH WITHOUT NUMBERS
xi
WILLIAM S. VEATCH
9.5. Using a Partition Set to Sort Objects from the World 197
of Ideas
xii
MATH WITHOUT NUMBERS
Discourse?
xiii
WILLIAM S. VEATCH
12.6.1. The Universal Set and the Empty Set in the 266
Power Set Domain
12.7.1. The Universal Set and the Empty Set in the 272
P(P(X)) Domain
xiv
MATH WITHOUT NUMBERS
Bibliography 320
Index 330
xv
WILLIAM S. VEATCH
xvi
PREFACE
This Volume 1 Foundations is the first in a series of books that discuss
different aspects of the Mathematics of Ideas. The goal of this series of
books is to provide an overview that, hopefully, is accessible to everyone,
particularly those who have no formal training in mathematics beyond high
school math. Admittedly, some of the mathematics is complicated in places,
but the intent is that those parts could be skimmed over without losing the
overall message of the Book. The remaining books will explore the
Mathematics of Ideas in more detail, and can be used as a reference source if
the reader wants to explore particular areas in more detail.
The central theme of this Volume 1 is that we can apply the mathematics
of Set Theory to explain how we think; we cannot, however, use
mathematics to determine what to think. We use Set Theory to explain
not only the form in which we make valid arguments, which we refer to as
Logic, but also to explain the way in which we create, store, and retrieve
knowledge, which we refer to as Knowledge Representation. As a result,
our discussion of Math Without Numbers, or MWN for short, is much
more than just a study of Logic, which is an enormous undertaking in itself,
but it also provides a methodology for us to map the knowledge of the World
of Ideas in a systematic way. At least, we show how such a mapping could
be accomplished.
Sets of Ideas,
Power Sets,
Chains,
Partitions,
xvii
WILLIAM S. VEATCH
In Chapters Four, Five, and Six, we examine the five ways in which any
two sets may be related to one another (identical, disjoint, subset-superset,
superset-subset, and partially overlapping), and the five principal Operations
(union, intersection, symmetric difference, set subtraction, and complement).
The key point to note here is that the same five set relationships and five set
operations apply to both Sets of Idea-Objects and Sets of Idea-Attributes,
but the set operations for Objects and Attributes are inverse to one another.
xviii
MATH WITHOUT NUMBERS
xix
WILLIAM S. VEATCH
One way to use the books is to use this Book One as the main text for a
class, with an emphasis on topics of interest to the particular teacher or class
of students. For example, the focus could be on Logic, Abstract Algebra,
Formal Concept Analysis, Set Theory, analyzing Current Events, etc.
Hopefully, Math Without Numbers (MWN) techniques will prove to be
useful in a wide range of disciplines.
xx
MATH WITHOUT NUMBERS
xxi
1. OVERVIEW OF THE MATHEMATICS OF IDEAS
In this first Chapter, we provide a high level overview of the path that we will
take on our journey to study and explore the Mathematics of Ideas. We will
demonstrate that how we think is governed by the rules of Mathematics. By
how, we mean both (i) the rules of Logic that determine how Ideas are
related to one another and how we can draw valid conclusions from true
premises using sound arguments, and (ii) Knowledge Representation, which
involves creating a map of the Universe of Ideas. Although the same rules
of thought apply to all Ideas, the subject matter of Ideas that we choose to
study initially breaks down into three main areas:
We will see that the rules of Set Theory and Mathematics work well to
describe how we think in all of these areas.
1
WILLIAM S. VEATCH
We will revisit this question at the end of the Book, but our hope is to show
that by studying the Mathematics of Ideas, we can communicate more clearly
and with greater precision of meaning. If successful, the benefits are far
reaching, and could be applied in virtually any field of study. A few examples
of the applications include:
2
MATH WITHOUT NUMBERS
Lets start with a definition of what we mean by an Idea, and then illustrate
how the Mathematics of Ideas would be extremely helpful to us in many
walks of life. We start with the following characteristics of Ideas, taken from
various general definitions of the word Idea:
including:
o an observation, or description;
o an impression;
o an opinion, view, or belief;
o a plan of action; an intention;
o a groundless supposition;
o a fantasy; and
o a conception of what is desirable or ought to be; what
is ideal.
Note that we speak of Ideas, not Words. The reason for this is that
we use words to attempt to capture the essence of an Idea, but we often fail
miserably. For example, an Idea may not be capable of expression in a single
word. In fact, sometimes it takes a sentence, a paragraph, or perhaps even
3
WILLIAM S. VEATCH
an entire book to convey a single Idea. In this sense, a new, complex Idea
may not have a single word associated with it.
Another issue with words, is that words are ambiguous, that is, the same
word is often used to mean several different things. This can be easily
illustrated by looking up words in a dictionary, and noting the numerous
definitions and meanings of a single word. For example, when hiking in the
woods, a sign at a fork in the path reads: Bear to the right. Does this sign
mean Keep to the right, or Watch out, grizzly bears have been spotted to
the right? Here, the word bear is ambiguous. See [McInerny 2004] at 31.
Ideas on the other hand, as we will soon see, are unique and
unambiguous if used properly. The ambiguity is in the words that we use to
describe Ideas, not in the Ideas themselves.
Sometimes, two words can have the same meaning. One example of
this is when we use a thesaurus to search for words with the same meaning
in order to add variety, diversity, or variation to our writing (although in fact
the Words listed as synonyms usually have slightly different meanings). A
better example might be words in different languages that have the same
meaning, and therefore represent the same Idea. The word cat in English
has the same meaning as chat in French. This illustrates the point that two
different words may illustrate the same picture or notion conceived of in
the mind, or Idea.
4
MATH WITHOUT NUMBERS
In our minds eye, however, we can see the Idea of a purple cow, even
though no such thing exists in the real world. We start learning words by
associating them with real world objects, so that we can communicate with
one another by using the same word to refer to the same object. Once the
meaning of a word has been established, however, it is released from the
shackles of its origin and free to combine with other words in new and
creative ways. Our imagination is in no way limited by our real world
experiences.
As a practical matter, we must rely upon words, along with their inherent
limitations, to define Ideas. Hence, we turn to the dictionary for definitions
of Ideas expressed in words that in turn are defined by other related Ideas.
5
WILLIAM S. VEATCH
For the moment, we must accept on faith that Ideas can be described, as least
in part, by familiar concepts of geometry, arithmetic, and algebra. In fact,
one of the goals of this book is to show, or at least begin to show, the extent
to which the familiar rules of the mathematics of numbers apply to Ideas
generally. (After all, one interpretation of numbers is that numbers
themselves are simply an Idea, governed by the same rules as all other Ideas.)
Also, the use of etc. saves us here, and allows us to define a new branch of
mathematics relating specifically to the world of Ideas, in case we object to
saying that Ideas are merely a part of geometry, arithmetic, or algebra.
At this point, it may seem like a bit of a stretch to say that Ideas are
governed by a branch of mathematics, but that view may change as you
proceed through this book. Some readers, particularly those who did not
enjoy math in school, may be disturbed by the concept of turning the world
of Ideas into a branch of mathematics. The good news for those readers,
however, is that by mathematics we mean an abstract deductive science,
but not one that is limited to numbers in the sense that we learned in grade
school. In fact, it will become apparent that numbers in the sense of
counting numbers are actually a small subset of the vast Universe of Ideas.
Rather than the study of Ideas being a branch of mathematics, mathematics
can be viewed as a branch of the study of the much broader world of abstract
Ideas.
6
MATH WITHOUT NUMBERS
At the second stage, Critical Thinking and Logic, we study Logic and
Knowledge Representation, including Propositions, Syllogisms, and the
Logic of Lattices. A Proposition is a special kind of sentence which is either
true or false, and is made up of two Ideas, a Subject and a Predicate,
connected by a Copula, which is simply a form of the verb to be. For
example, Socrates is human is an example of a Proposition. Whereas a
Proposition is a combination of two Ideas, a Syllogism is a combination of
three Ideas using three Propositions, as illustrated in the following example
showing how the three Ideas in the Set X = { Socrates, humans, mortal } are
related:
All humans are mortal.
Socrates is human.
Therefore, Socrates is mortal.
7
WILLIAM S. VEATCH
8
MATH WITHOUT NUMBERS
Debates, and Policy Making. In its simplest form, an Argument may be made
up of a single Syllogism. (We call a Syllogism an explanation if it is
generally agreed upon, and an argument if it is open to debate.) Often,
Arguments consist of a string of Syllogisms, often referred to as a Sorites,
which is the term that Aristotle used as far back as 322 BCE in ancient
Greece. We look at other forms of Arguments as well. In debating and
policy making, we have two or more competing Arguments, and we need to
decide which we believe to be the better Argument.
In the Physical World, tangible objects are made up of atoms of elements set
forth in the Periodic Table of Elements; in our World of Ideas we have a
similar concept of Atoms. In the Physical World, an atom is the smallest
piece of matter that still exhibits all of the properties of the element in
question; and compounds are made up of multiple atoms of different types.
For example, hydrogen and oxygen are types of atoms, and together two
atoms of Hydrogen and one atom of oxygen form H2O or water. Similarly,
in the world of Ideas, we define an Atom to be an Idea that cannot be
broken down into smaller component Ideas. (Often, for convenience we will
deem Ideas to be Atoms, even though in theory they could be broken down
into smaller Ideas.) Compound Ideas are in turn composed of
combinations of Atoms. For example, if we assume that the Ideas in the Set
S = { Dog, Cat, Human, Cow, Horse} are Atoms, then together they form
the Compound Idea Mammal. Given a set of Atoms X = { a, b, c, },
we can form a Power Set which is defined as the Set of all subsets of the set
of Atoms, including the Empty Set denoted by the symbol . For
example, if X = { a, b }, then the Power Set of X = P(X) = (, a, b, ab ). If
X = { a, b, c }, then the Power Set of X = P(X) = ( ,a, b, c, ab, ac, bc, abc),
i.e., the Set of all possible Subsets. Power Sets will play an important role in
our Mathematics of Ideas. For now, just note that every possible Compound
Idea that can be formed from a particular Set of Atoms will appear
somewhere in the Power Set for that Set of Atoms. This is true because by
definition, every possible combination appears somewhere in the Power Set.
In fact, there are two related Power Sets, one for a Set of Atoms, and
one for a Set of Coatoms. See Fig. 1-2. A Coatom is defined as the Set
containing all Atoms except one. The Atoms are found in the second row
from the bottom of the Power Set of Atoms/Objects, just above the 0 or
Element; the Coatoms are found in the second row from the top, just
below the Universe Element. Notice how when we relabel the Coatoms from
9
WILLIAM S. VEATCH
The second and fourth Power Set diagrams in Fig. 1-2 illustrate the
inverse relationship between the Power Set of Objects (Atoms) and the
10
MATH WITHOUT NUMBERS
Note that there is a rich history of books on Logic and critical thinking
that discuss the dual nature of Ideas as Objects (extension) and Attributes
(intension). See the list of references at the end of this Chapter. Our
treatment here of Attributes as a dual Power Set to the Power Set of Objects,
and our emphasis on Power Sets generally, is, however, different from the
traditional view.
11
WILLIAM S. VEATCH
From the Set relationships that are illustrated in Fig. 1-3, we can derive a
number of Propositions, including, among others, the following:
Note that all of the above examples of Propositions follow the basic
format of Subject + Copula (i.e., a form of the verb to be) + Predicate.
In addition, there are some key words not, some, and all that we will
discuss further in the Chapter on Logic. For now the point that we want to
make is that we can view Ideas as Sets, and Propositions are statements about
the relationship between two Sets.
The above Propositions are all true, but we can also create Propositions
that are false, such as the following:
12
MATH WITHOUT NUMBERS
Viewing each of the three Ideas as Sets, we can create the diagram in
Fig. 1-4 to illustrate the relationships among the three Sets.
While diagrams such as the one in Fig. 1-4 are helpful to visualize Set
13
WILLIAM S. VEATCH
14
MATH WITHOUT NUMBERS
To give some specific examples of how we can use the Euler Diagrams
to represent Syllogisms, we look at three sample Syllogisms labelled Cesare,
Camestres, and Festino. See, Table 1-4. If you have not studied Logic before,
then these names may sound strange to you, but in fact they have been used
15
WILLIAM S. VEATCH
for many, many years by logicians. (More on that in Volume 2.) For now,
the significance of the names is not important. Rather, we just want a basic
understanding of what a Syllogism is, and how we can interpret it as the
relationships among three Sets of Ideas.
Later, when we study Classical Logic in more detail, we will see that
because of certain ambiguities inherent in the way Propositions are
constructed, more than one Euler Diagram is possible for many Syllogisms,
further adding to the limitation of such circle diagrams. (For example, in the
16
MATH WITHOUT NUMBERS
Festino Syllogism above, it is unclear from the Syllogism itself whether some
politicians are criminals or no politicians are criminals. The Euler Diagram
suggests that no politicians are criminals, but it is possible to draw the Euler
Diagram for the Festino Syllogism in other ways.) As we can see, while
helpful for comparing two or three Sets, the circle diagrams are difficult
enough with three Idea Sets, and will quickly become unmanageable as we
start to work with more than three Ideas.
17
WILLIAM S. VEATCH
We have seen some examples of how we can apply the concepts of the
Mathematics of Ideas (e.g., Atoms, Coatoms, Chains, Power Sets, and
Lattices) to objects in the Physical World, but the same rules also apply to
abstract Ideas, including how we form Arguments. We will explore in detail
the concept of an Action Chain or Argument Chain, to show how to
develop sound, persuasive Arguments. Fig. 1-8 shows a sample Argument
Chain.
18
MATH WITHOUT NUMBERS
19
WILLIAM S. VEATCH
Again, if true, we move to the next text; if false, the inquiry stops there.
In our study of debating and policy making, we will see how we can use
the Mathematics of Ideas to compare and contrast two competing
Arguments, and apply Values, in order to decide which is the better
Argument, and ultimately, to decide how we should act in our lives. We will
see, however, that while mathematics can tell us how we think, it cannot tell
us what to think or how to act. Mathematics can, however, help us
communicate in a clear and precise manner, and can highlight for us how two
competing Arguments differ from one another.
At the end of each Chapter of this Book, we will update our definition of an
Idea to reflect what was discussed in the course of that Chapter. So far, we
have the following:
Mathematical Philosophy
Logic
[Kreeft 2010]: In Peter Kreefts Socratic Logic at page 43 et seq., the author
discusses the concepts of extension and comprehension, which are
similar to our Math Without Numbers concepts of Objects and Attributes,
respectively. This book is an excellent contemporary introduction to classical
Socratic Logic.
20
MATH WITHOUT NUMBERS
[Ganter and Wille 1999]: For those readers with a deeper background
in mathematics, this book, Formal Concept Analysis, discusses intent and
extent, which are similar to our Math Without Numbers (MWN) concepts
of Attributes and Objects, respectively. At page 22, the authors discuss dual
concept lattices, which are similar to our Dual Power Set Lattices in MWN.
One of the principal differences between FCA and MWN is that in MWN
we focus on Power Sets, which also constitute Boolean Algebras, Rings,
Lattices, and Topologies; whereas, FCA focuses more on certain subsets of
Boolean Lattices known as Complete Lattices.
21
WILLIAM S. VEATCH
22
MATH WITHOUT NUMBERS
The circles themselves are numbered, and each circle (and the area
inside the circle) represents an Attribute or Set of Attributes. The circle
labeled 5432 represents all Attributes of Dogs, and 2 represents all of
the Attributes that make a Dog a Dog, and not another type of Mammal.
Similarly, the circle labeled 543 represents all Attributes of Mammals, and
3 represents the Attributes of Mammals that distinguish Mammals from
other Vertebrates. The circle labeled 54 represents all Attributes of
Vertebrates, and the number 4 represents the Attributes of Vertebrates that
distinguish Vertebrates from other Animals. The circle labeled 5
represents all Attributes of Animals that distinguish Animals from other
Ideas in the Universe of Ideas.
23
WILLIAM S. VEATCH
of Mammals are true of Dogs as well. We can summarize the Objects and
Attributes in the following Table 2-1.
When someone asks us what we mean by the Idea of Color, we may start
by listing out a variety of colors, such as the colors of the rainbow: Red,
Orange, Yellow, Green, Blue, Indigo, and Violet. Each of these colors is an
example of the Idea of Color.
24
MATH WITHOUT NUMBERS
Note that when we write an Object Set, the Elements may or may not be
mutually exclusive of one another. For example, in the Set X = { Dog, Cat,
Mammal }, the Elements are not Mutually Exclusive, because a Dog is
both a Dog and a Mammal, and a Cat is both a Cat and a
Mammal. This is easily illustrated using a Euler Diagram, as set forth in
Fig. 2-2.
Another tool we can use to identify Mutually Exclusive Sets, i.e., Sets
where each pair of Elements is Disjoint, is what we call an Is a Relation
Table. Fig. 2-3 illustrates how we can use an Is a Relation Table to
determine whether or not two Sets are Mutually Exclusive. We draw a line
from the left column to the right column for any Element in the left column
that is a something in the right column. A Dog is a Dog, so we draw a
line from Dog in the left column to Dog in the right column. A Dog
is a Mammal, so we draw a line there as well.
25
WILLIAM S. VEATCH
The Elements in the table on the left ( Dog and Cat ), are Mutually
Exclusive, as verified by only straight lines across the table. On the other
hand, the Elements in the table on the right ( Dog, Cat, and Mammal ), are
not Mutually Exclusive, as indicated by the diagonal lines. The advantage to
the Is A Relation Table over Euler Diagrams, is that we can list a dozen or
more elements and the resulting diagram is much less confusing than trying
to draw a dozen or more overlapping circles.
As we will see later, Mutually Exclusive Sets, where each pair of Elements
is Disjoint, play a special role in our Mathematics of Ideas. In particular, any
time we refer to a Partition, it is understood that the Elements in the
Partition Set must be Mutually Exclusive. Sometimes we will write the
subscript ME to indicate that the Elements of a Set are Mutually Exclusive,
although in the case of Partition Sets it is understood that the Elements must
be Mutually Exclusive.
26
MATH WITHOUT NUMBERS
A form of government,
By the people,
Where the majority rules,
Supreme power is vested in the people,
Power is exercised by the people directly or indirectly through a
system of representation, and
There are periodic elections.
This definition is not a list of governments that are democracies, but rather
the definition is a list of the Attributes of a form of government that make
that form of government a democracy. Stated another way, the definition is
comprised of a list of the elements of a test for determining whether or not
an Object is a democracy or not. The elements form a Set where
DemocracyAtt = { form of government, by the people, the majority rules,
supreme power is vested in the people, exercised directly or by means of
elected representatives, periodic elections }. When we list out Attributes in
this way, we sometimes refer to the Set as a Test Set. We use the subscript
Att or Test to identify Attribute Sets and to distinguish them from
Object Sets with the Obj or List subscript.
27
WILLIAM S. VEATCH
Note that the same Idea, Democracy, can mean both a list of
Attributes of what makes a democracy a democracy; and a list of Objects, in
this case countries where the type of government meets the test for a
democracy. We will talk more about this dual nature of Ideas as we proceed.
As was the case with a List Set of Objects, the Elements of a Test Set
of Attributes may or may not be mutually exclusive of one another. For
example, in the Set Y Att = { Vertebrate, Mammal, Dog }, the Elements are
not Mutually Exclusive, because Vertebrate is both an element of the test
for Vertebrate as well as for Mammal, and Dog; and Mammal is
both an element of the test for Mammal and for Dog. Note that as with
Objects, the is a test can also be used for Attributes to specify a Mutually
Exclusive Set of Attributes, but in a slightly different way. For Attributes, we
say that each element of the Attribute Set is an attribute of, or element of
the test for the specified Idea. Fig. 2-4 illustrates how we can use an Is a
Relation Table, applied to the same Sets we used in Fig. 2-1, to determine
whether or not two Sets of Attributes are Mutually Exclusive. We draw a
line from the left column to the right column for any Element in the left
column that is an element of the test for something in the right column.
28
MATH WITHOUT NUMBERS
In Fig. 2.4, the left column shows the is a relation table for Objects;
and the right column shows the is an element of the test for relation table
for Attributes. Note how the diagonal lines go in opposite directions, which
is what you would expect given the inverse relationship of Objects and
Attributes. (In set theoretic terms, the Element on the left side is equal to or
a subset of the Element to which it is connected on the right side.)
Observation: Every Idea can be described in terms of both a list of Objects, which
are examples of the Idea and which may or may not be mutually exclusive (a List
Set); and a list of Attributes consisting of test elements or characteristics of the Idea,
which may or may not be mutually exclusive (a Test Set).
29
WILLIAM S. VEATCH
Interestingly, when we look at certain Sets that have overlapping Objects and
Attributes, we find that there is an inverse relationship between the number
of Objects and the number of Attributes. Consider the Sets in Table 2-2.
30
MATH WITHOUT NUMBERS
The fewer the number of Attributes we require Objects to have, the more
Objects there are that meet the test. If the only required Attribute is that the
Object is alive, then Dogs, Other Mammals, Other Vertebrates, Other
Living Things all qualify. If, however, we require that Objects also Have a
Backbone, then Other Living Things, such as invertebrates, drop out.
On the one hand, this inverse relationship may seem like simply common
sense: given a set of Objects, the more Attributes you require an Object to
have, the fewer the number of Objects that will meet the test. This
observation, however, has great significance when it comes to understanding
the Mathematics of Ideas, as we will see later.
The Object Set and Attribute Set exist for each Idea, like two sides of the
same coin. We can prove, in fact, that once we specify an Object Chain, the
Attribute Chain can be calculated; similarly, once we specify an Attribute
Chain, the Object Chain can be calculated. Can we say that one or the other,
i.e., Objects or Attributes, is a better way to define an Idea? In practice, we
use both methods. For example, when defining the Idea color, we tend to
list the Objects, such as red, yellow, green, etc., rather than the Attributes,
such as Hue, Saturation, and Brightness/Lightness. On the other, with an
Idea such as Democracy, we tend to list the Attributes, such as a
Government by the people, where the majority rules, and where periodic
elections are held. The best answer is to recognize that we use both Objects
31
WILLIAM S. VEATCH
and Attributes to define Ideas, and that the two concepts are inextricably
linked.
In this Subchapter, we will explore in more detail how we can use a Power
Set of Atoms to represent Objects, and a Power Set of Coatoms to represent
Attributes. It is easy to understand the Power Set of Objects. We are
accustomed to thinking of tangible Objects as forming Sets, and the Power
Set of Atoms is simply the Set of all possible subsets of a Set of Objects.
Admittedly, however, it is much more difficult to understand the Power Set
of Coatoms and how it relates to Attributes. For this reason, we take some
time now to explore this concept in more detail.
Hypothesis: The Power Set of Atoms represents the Set of all possible Ideas
expressed as Objects (Atomic or Compound); the Power Set of Coatoms represents the
Set of all possible Ideas expressed as Attributes (Atomic or Compound).
The key to proving this hypothesis is to start with the assumption that
the Universe of all Ideas exists. With this assumption in hand, we can
demonstrate that an Attribute actually does two things: the Attribute divides
the Universe into (i) a class of Objects that exhibit the Attribute, and (ii) a
class of Objects that do not exhibit the Attribute.
32
MATH WITHOUT NUMBERS
We can also use Power Set Lattice notation to illustrate that a single
Attribute partitions the Universe of Ideas into two Equivalence Classes. See
Fig. 2-7. The Power Set Lattice notation clarifies how we arrive at our
numbering system. If we have a single Attribute, it will divide the Universe
of Ideas into two parts: Object (a) and Object (b), where (a) and (b) may
themselves be Sets. Given a two-Element Universe with Elements (a) and
(b), writing a is equivalent to writing not-b or ~b. Substituting
numbers 1, 2, 3, for the letters ~a, ~b, ~c, gives us a dual, inverse
Power Set Lattice of Coatoms. You might ask: why do we bother to use
numbers 1, 2, 3, instead of saying ~a, ~b, ~c, ? The reason is that we
will use numbers in square brackets to represent Attributes, and letters in
parentheses to represent Objects. Using different notation helps to
emphasize the difference between Objects and Attributes, so that we do not
confuse the two.
33
WILLIAM S. VEATCH
Fig. 2-8 gives an example of dual Object - Attribute Power Sets with
four Atoms. The important thing to understand here is that the two Power
Sets represent exactly the same Ideas, but just expressed in different ways.
34
MATH WITHOUT NUMBERS
We can demonstrate that the two Power Sets are really just two ways of
writing the same thing. For example, the Element (abc) in the Object Power
Set is the same as ~(d)=[4] in the Attribute Power Set. Therefore, you might
ask: do we really need both Power Sets, if one can be calculated from the
other? There are several reasons why the dual Power Sets are helpful:
35
WILLIAM S. VEATCH
Step 3: The Equivalence Class where the Attribute is True will appear
somewhere in the Power Set of Atoms
In this example, the pair of Sets created by the Partition were ( a, b ) and
( c, d ), but in total there are 16 possible Partitions of a four Atom Set into
two parts where one part is True and the other part is False, as follows:
36
MATH WITHOUT NUMBERS
Note that the True and False Sets are Complements of one another,
meaning that they are Disjoint, but together they constitute the entire
Universe of Ideas. Our focus, however, is on the Elements where the
Attribute is True. The Power Set of Objects is made up of the Elements
where the Attribute is True; and the Power Set of Attributes is made up of
the negative of the Complement Set. For example, the Element (a) is
equivalent to the negative of the Complement Set (bcd), which we write as
~(bcd) = [432].
Now, we come to the critical step. Can we show that the Power Set of
Coatoms adequately represents Attributes? Conveniently, the Power Set of
Coatoms provides us with a means of representing Attributes, because it is
possible to map all possible Attributes to the Elements in the Power Set of
37
WILLIAM S. VEATCH
Suppose we take the four Atom Power Set of Objects, where the four
Atoms are Black Dog, Brown Cat, Black Snake, and Brown Crab. Fig. 2-10
illustrates the various Set relationships.
Now, we list all of the Attributes of the Atoms in the Power Set.
38
MATH WITHOUT NUMBERS
For any particular Attribute listed in the left hand column, the Atoms
listed across the top row that are marked with an X exhibit that Attribute.
By looking which Atoms have an X for a particular Attribute, we can map
that Attribute to the dual Power Sets. For example, for the Attribute has
four legs, the Atoms (a) and (b) each have four legs, so we map has four
legs to (ab) in the Object Power Set of Atoms, which corresponds to [43] in
the Attribute Power Set of Coatoms. The column at the far right shows the
Element in the Power Set of Coatoms to which each Attribute maps.
39
WILLIAM S. VEATCH
Now, we can see from Table 2-5 the enormous benefit to mapping
Attributes to the Elements of the Power Set of Coatoms: we now have a clear
record of the Inheritance of Attributes. For example, we can see that
Dog maps to [431] and Cat maps to [432]. Any single number or
combination of numbers that Dog and Cat have in common represents
Attributes that Dogs and Cats have in common. In this case, the possible
common Elements are [3], [4], and [43]. The number [3] does not have any
particular significance in this example, but 4 maps to has a backbone and
is a Vertebrate, and [43] maps to has fur/hair, nurses young, is a
Mammal, and has four legs. As a result, we know that Dog and Cats share
all of these common Attributes. This may not seem like an earth-shattering
result as to Dogs and Cats, but it will prove to be a very useful tool when we
are trying to communicate more complex Ideas that are not so well
understood. Also, it will be a useful tool in artificial intelligence, because
whereas the letters a and b do not communicate any information as to
how the two Objects are related, [432] and [431] immediately convey that the
two Objects share any Attributes that map to 3, 4, or 43. This is something
that a computer can process very easily.
40
MATH WITHOUT NUMBERS
At first it may seem pointless to use two different Power Sets that are
mathematically equivalent. As a practical matter, however, using both a
Power Set of Atoms and its dual Power Set of Coatoms provides a
convenient and mathematically precise way to represent what we think of
intuitively as Objects (examples) and Attributes (properties). The inverse
relationship of the Power Set of Atoms and Power Set of Coatoms matches
nicely with the inverse relationship of Objects and Attributes.
In this last step, we talk more about the fact that every Idea will have
both an entry in the Power Set of Atoms, and a corresponding entry in the
related Power Set of Coatoms. We can create what we call an Idea
Signature by pairing the Object Set Element with its related Attribute Set
Element. To clarify which are Objects and which are Attributes, we use
parentheses for Objects, and square brackets for Attributes. For a four Atom
Power Set, we have the following:
41
WILLIAM S. VEATCH
We can calculate the Objects from the Attributes; and the Attributes
from the Objects.
The total number of Elements is always equal to n, i.e., the number
of Deemed Atoms in the Universe of Discourse. In the above
example, since there are four Atoms, there are always four Elements,
not counting the Empty Set. For example, (a)[432] has four
Elements, (b)[431] has four Elements, etc.
The Objects and Attributes are inversely related, with fewer Atoms
at the top, and fewer Coatoms at the bottom.
The following are some more examples of Objects and their unique Idea
Signatures given the specified Domains of three, four, or five Atoms. Since
the Power Sets grow very rapidly in size, with 23= 8, 24=16, and 25=32
Elements, we do not list all of the Elements, but just a few to give you a sense
of what the Idea Signatures look like:
42
MATH WITHOUT NUMBERS
Domain X = { a, b, c }:
o {a} = (a)[32],
o {b}= (b)[31],
o {c} = (c)[21],
o {a,b} = (ab)[3],
o {a,b,c} = (abc)[].
Domain X = { a, b, c, d }
o {a} = (a)[432],
o {b} = (b)[431],
o {c} = (c)[421],
o {d} = (d)[321],
o {a,b} = (ab)[43],
o {a,b,c,d} = (abcd)[],
Domain X = { a, b, c, d, e }
o {a} = (a)[ 5432],
o {b} = (b)[ 5431],
o {c} = (c)[5421],
o {d} = (d)[5321],
o {e} = (e)[4321],
o {a,b} = (ab)[543],
o {a,b,c,d,e} = (abcde)[].
The significance of the Idea Signature is that we have taken the mystery
out of the notion of Attributes by defining an Attribute as an entry in the
Power Set of Coatoms. The key to understanding Attributes in a
mathematical sense is to determine by experimentation and research, the
correct mapping from Attributes in the World of Ideas to Elements of the
Power Set of Coatoms in the World of Abstract Sets. See Fig. 2-11.
43
WILLIAM S. VEATCH
In summary, we have learned that while in the Physical World and World
of Ideas we view Objects as possessing certain properties that we refer to
as Attributes, in the World of Abstract Sets we can interpret Attributes as
merely corresponding entries in the Power Set of Coatoms. In one sense,
this approach may be unsatisfying because it takes the mystery out of the
concept of properties or attributes. Rather than assume that Objects
somehow possess Attributes, we have shown that in the World of Abstract
Sets, Attributes are merely equivalent Sets of Coatoms. On the other hand,
this makes perfect sense. If we wish to develop a Mathematics of Ideas, then
it needs to be clear and precise, not surrounded by mystery. As discussed
more at the end of this Chapter (see Subchapter 2.8), it is important to
44
MATH WITHOUT NUMBERS
distinguish among the Physical World, the World of Ideas, and the World of
Abstract Sets. The Physical World and the World of Ideas are still cloaked
in mystery; only the World of Abstract Sets is clear and precise. Creating the
map of relationships among the three Worlds, however, remains challenging.
There is a third way we can define an Idea which we call Cover Plus a
Difference, that draws upon both Objects and Attributes. We have seen
that we can define an Idea by listing examples of the Ideas which we refer to
as Objects. E.g., Dog Obj = { Lab, Pug, Dalmatian, Other Dog }.
Alternatively, we can define an Idea by listing its characteristics, which we
refer to as Attributes. Attributes can also be thought of as the Elements of
a Test for whether or not an Object can be classified as a particular type of
Object. E.g., Dog Att = { Living Thing, Animal, Vertebrate, Mammal,
Carnivorous, Walks on Four Legs, Barks, Has Dog Shape }. Sometimes,
however, it is helpful to define an Idea with reference to other similar Ideas.
The technique we use is to choose an Attribute of the Idea that we know is
shared by other similar Ideas (i.e., the Cover), and then distinguish the
Idea from the other related Ideas using a specific Attribute that is unique to
the Idea in question (i.e., the Difference). Note that the Cover is a
Superset of the Idea that we are defining, i.e., an Idea that is higher up in a
Chain. In our example of a Dog, there are a number of Attributes that we
could use as a Cover, including Mammal, Vertebrate, Living Thing, etc., but
often it is most helpful to choose a closely related Attribute, such as Mammal
in this case. Suppose we define Mammal as X = { Dog, Cat, Human, Cow,
Pig, Horse }. Is there a particular Attribute that distinguishes a Dog from all
of the other Mammals? One possibility is the Attribute Barks, since of the
listed Mammals, only a Dog barks. Therefore, to define Dog by Cover
Plus a Difference, we define Dog as a Mammal (i.e., the Cover) that Barks
(i.e., the Difference).
45
WILLIAM S. VEATCH
This provides a key to simplifying the Idea Signature by defining the Idea
Signature for Dog to be, for example, (a)[Mammal+2]. In an infinite
Universe of Ideas, we may not know exactly what Elements are subsumed by
the Attribute Mammal, but we can discuss any Elements below Mammal
in a Chain or Power Set without any worries.
As it turns out, there are several Domains that we use regularly when
working with the Mathematics of Ideas, including the following:
46
MATH WITHOUT NUMBERS
See Fig. 2-12. As we progress on our journey, we will develop rules for
adding/subtracting/multiplying/dividing Sets of Objects with Sets of
Objects, Sets of Attributes with Sets of Attributes, Power Sets of Objects
with Power Sets of Objects, and Power Sets of Attributes with Power Sets of
Attributes, but we cannot combine elements across different Domains.
47
WILLIAM S. VEATCH
In the first three examples in Table 2-8, it may not be clear at first why
we cannot combine elements from the two Domains of Atoms and Power
Sets of Atoms, but in the fourth example, the problem becomes apparent.
Any element that represents a simple Set in the Domain of Atoms, will
represent a Power Set in the Power Set Domain. For example, B
represents a simple Set B = { b, c } in the Domain of Atoms, but represents
a Power Set, BPS= (, b, c, bc ), in the Power Set Domain. The Set B is
entirely different, depending upon the Domain. Note that we use the
subscript PS after the close parentheses as a reminder that any Elements
that are Sets, such as B in the example, are in fact Power Sets.
From these examples, we can derive a number of Rules that will help us
convert back and forth from Atoms(or Coatoms) to Power Sets.
Rule 1: If we take the Power Set of a Set X with 1,2,3, Atoms, we get the
familiar Power Set structure where the number of Atoms in each row (i.e.,
the series 1, 121, 1331, 14641,) matches up with the familiar structure
known as Pascals Triangle. (For those with a deeper interest in mathematics,
a curious fact is that the number of Atoms in each row also corresponds to
the coefficients in equations generated by the binomial theorem.) See Fig. 2-
11. Pascals Triangle is formed by creating a triangle with 1s on the outside,
where each number inside the triangle is equal to the sum of the two numbers
immediately above it.
48
MATH WITHOUT NUMBERS
Rule 2: If an Element in the Set X is itself a Set, then such Element becomes
a Power Set when we take the Power Set of X, i.e., the Power Set operation
distributes to each Element of X. For example, take X = {A, B }, where A
= { a, b } and B = { c, d }. P(X) = { ,APS, BPS, APSBPS }={ ,{a, b, ab },
{c, d, cd },{ a, b, ab} Un { c, d, cd}} = {, a, b, ab,c, d, cd, ac, ad, acd,
bc, bd, bcd, abc, abd, abcd } = P(a, b, c, d) . We use the PS subscript to
emphasize the point that the Element is a Power Set, not a regular Set. (The
symbol Un represents Direct Product followed by Union. See
Subchaper 7.5 for a detailed explanation.)
Rule 3: We must treat Sets of Atoms (or Coatoms) and Power Sets as
49
WILLIAM S. VEATCH
Another central theme in MWN is that there are three different worlds of
interest when we study the Mathematics of Ideas: the Physical World, the
World of Ideas, and the World of Abstract Sets. See Fig. 2-13. In the Physical
World, there are rules of physics and other laws of nature at work that limit
what is possible. We often feel that we are discovering rather than
creating, when we explore the Physical World.
50
MATH WITHOUT NUMBERS
The World of Abstract Sets is once again entirely different from the
Physical World and the World of Ideas. In the World of Abstract Sets, we
have Objects, but the sole properties of an Object are: (i) its existence as an
Atom or Compound Idea, and (ii) its uniqueness, which leads to the ability
to differentiate any Object from any other Object by its unique Idea
Signature. The real power to using Abstract Sets comes from the realization
that we can map Attributes in the World of Ideas to Elements of the Power
Set of Coatoms in the World of Abstract Sets.
Objects and Attributes: Each Idea has a dual nature as a Set of Objects
and a Set of Attributes.
Objects in the Object Set (or List Set) are examples of the Idea (e.g., a Dog
is a Mammal).
51
WILLIAM S. VEATCH
Power Set: The Power Set of Atoms represents all Atoms and all
possible Compound Ideas that we can form from the Set of Atoms. Dually,
the Power Set of Coatoms represents all Coatoms and all possible Compound
Ideas that we can form from the Set of Coatoms.
General
52
MATH WITHOUT NUMBERS
53
WILLIAM S. VEATCH
Most readers will have some understanding of Set Theory already. Our
view of Set Theory for purposes of the Mathematics of Ideas is similar to the
traditional view, except in the following areas:
54
MATH WITHOUT NUMBERS
Finite v. infinite,
Discrete v. continuous, and
Subdivision v. consolidation.
In this way, we will develop a solid foundation in Set Theory for our
Mathematics of Ideas.
55
WILLIAM S. VEATCH
Sets. For example, we could write: X = { animal, dog, cat }. The principal
difference between the Physical World and the World of Ideas, is that objects
in the Physical World are limited by what we can measure and observe, and
are governed by the laws of nature, whereas in the World of Ideas, the only
limitation is our imagination.
In the World of Abstract Sets we have four principal types of Elements
or Domains that can form Sets:
There are other possible types of elements that could form Sets, such as
Power Sets of Power Sets (see Chapter 7), but the ones listed above are the
four principal types for our present purposes. Note that the four types of
Elements or Domains are related. See Fig. 3-2
56
MATH WITHOUT NUMBERS
Given any one Domain, we can generate the other three. Although in a
sense the four Domains are equivalent, each serves an important purpose:
Atoms: Atoms (or Deemed Atoms) are the smallest Ideas that for
all practical purposes cannot be broken down into smaller
component ideas. Objects in the World of Ideas map to Atoms or
Sets of Atoms in the World of Abstract Sets.
Power Set of Atoms: The Power Set of Atoms includes the Atoms
themselves, as well as all Compound Ideas that can be formed from
the Atoms.
Coatoms: Coatoms (or Deemed Coatoms) represent Sets of all
Atoms except one: 1=~a, 2=~b, etc. Attributes or properties in
the World of Ideas map to Coatoms or Sets of Coatoms in the
World of Abstract Sets.
Power Set of Coatoms: The Power Set of Coatoms includes the
Coatoms themselves, as well as all Compound Ideas that can be
formed from the Coatoms.
57
WILLIAM S. VEATCH
Cat a,
Dog b,
Mammal ab,
Snake c,
Vertebrate abc,
Crab d, and
Animal abcd.
Within the Universe of Abstract Sets we see that there are several
different equivalent ways to represent the same Sets, including a Hierarchy
Tree, a Nested Partition Equation, and a Nested Lattice. All of these are
helpful techniques for representing Sets of Ideas as Abstract Sets, that we will
discuss in more detail as we proceed through the Book.
58
MATH WITHOUT NUMBERS
Imagine a Set that contains every conceivable Idea. This Set is the Universal
Set, as it contains every Idea imaginable in our Universe of Ideas. In terms
of a diagram, we use a square with a single x labelled (a) representing a
single Object in the Universe. This single Object is itself a Set that includes
every possible Idea. See Fig. 3-4. There are no Attributes that are shared by
every Idea in the Universe, so the related Attribute Set is []. (We use
parentheses for Objects; and square brackets for Attributes.)
We can also create a Power Set from the Universal Set. Since the Universe
consists of a single Object or Set, we know that the Power Set will have 2n =
21 = 2 Elements. What is the second Element? The answer is the Empty
Set, which is considered in Set Theory to be an element of every Power Set.
See Fig. 3-5.
59
WILLIAM S. VEATCH
In this case, [1] represents all possible Attributes, including both the
true and false values of an Attribute. Since no Object can exhibit all
Attributes, such as both Red and ~Red, the Attribute [1] corresponds to the
Empty Set of Objects. [] represents the absence of any required
Attributes. Since no Attributes are required, all Objects in the Universe U
meet the test.
Does the Universal Set of Ideas really exist? If we view the Universe of
Ideas as infinite, then we quickly see that we will never achieve our goal of
writing down all of the Elements of the Universal Set. However, for our
present purposes, we choose to work with finite Sets, and the Universe
becomes the Universe of Ideas under discussion, or the Universe of
Discourse. Sometimes we write U for the infinite Universe or Universal
Set of all Ideas, and UD for a finite Universe of Discourse. The subscript
D emphasizes that we are talking about a finite Universe for discussion
purposes, and not really trying to talk about an infinite, innumerable
Universe. Since we are talking about a finite Universe of Discourse, for all
practical purposes we can safely assume that it exists.
In summary, we assume that the Universal Set of Ideas exists in the World
of Ideas, separate and apart from the Physical World and the World of
Abstract Sets.
60
MATH WITHOUT NUMBERS
Key Point: We assume that the Universal Set of all Ideas exists in the World of
Ideas, separate and apart from the Physical World and the World of Abstract Sets.
The Universal Set U encompasses every thought that we are capable of thinking.
Picture an empty box. The set of objects in the box is the Empty Set, because
there is nothing in the box. This seems like a simple enough concept when
applied in the Physical World, but what about the world of abstract Ideas?
In the World of Abstract Sets, the Empty Set has some interesting
properties that we will mention briefly now, and discuss later in more detail.
First, the Empty Set is considered to be an element of every Power Set.
Therefore, if we create a set X of Ideas where X = { a, b, c } = { Dog, Cat,
Elephant }, we need to remember that the Empty Set is an element of the
Power Set P(X) = (, a, b, c, ab, ac, bc, abc ).
Note, however, that the Empty Set is not an element of itself. So, ={}
is a true statement, whereas ={ } is not true, because { } has one
element and is therefore not empty.
Before considering particular Ideas as Object Sets and Attribute Sets, note
the important relationship between the Empty Set and the Universal Set. In
particular, we note the following:
61
WILLIAM S. VEATCH
On the other hand, when choosing or creating the Finite Sets that we
want to explore, we begin with the assumption that Ideas are Infinite in
nature, always capable of further subdivision into smaller and smaller parts.
This Infinite nature of Ideas is something that we will return to from time to
time, as there are different types of Infinite sets that are relevant to Ideas.
62
MATH WITHOUT NUMBERS
But do discrete Objects really exist? In the Physical World, they do, since
my dog, or the apple I ate for lunch, are clearly discrete Objects. Yet in the
World of Ideas, it becomes a much closer question. As we examine the
Attributes of two related but different Objects, we can imagine a continuum
of Objects between the two original Objects, with infinitesimal variations to
the point that what at first seemed to be discrete Objects now appear to be
points on a line of continuous variation. Such a continuum of Ideas is an
example of the Infinite nature of Ideas.
63
WILLIAM S. VEATCH
See Fig. 3-7. In this Figure, we illustrate a Universe with four Atoms: X
= { a,b,c,d }. We start with a diagram of U without any Subdivisions. Then,
we subdivide U into two Sets: A = { a, b, c } and { d }. Next, we further
subdivide A = { a, b, c } into two Sets: B = { a, b } and { c }. For each
subdivision, we look at four different ways of representing the subdivision:
Partition Equation,
Hierarchy Tree,
Simplified Power Set Lattice, and
Power Set Lattice showing all Atoms.
64
MATH WITHOUT NUMBERS
65
WILLIAM S. VEATCH
66
MATH WITHOUT NUMBERS
we can transform into Power Sets, and then back to Sets of Atoms, at will.
In this way, the meaningless combinations are hidden from view, although
they are still present. This technique allows us to work with Power Sets,
which exhibit amazing properties of Boolean Algebras, Lattices, Rings, and
Topologies (see Chapter 7), without becoming overwhelmed by the number
of Elements. The other possible approach is to try to identify subsets of
Power Sets that describe how Ideas work, but the disadvantage to that
approach is that we inevitably lose the benefit of many of the unique and
sometimes startling properties of Power Sets. Keeping the Power Sets intact,
but finding ways to hide the unwanted Elements from view has its
advantages.
This brings us to the main point of this Section of the Book, namely,
that it is important to understand that within the World of Abstract Sets,
there are in fact three Domains that are relevant to our study of the
Mathematics of Ideas:
Domain 1: Atoms, X = { a, b, c },
Domain 2: Power Sets of Atoms, P(X) = (, a, b, c, ab, ac, bc,
abc ) PS, and
Domain 3: Power Sets of Power Sets of Atoms, P(P(X)) = (, a, b,
c, (a, b, ab), (a, c, ac), (b, c, bc), (a, b, c, ab, ac, bc, abc))DPS.
Note the use of the subscript PS for Power Set, and DPS for Double
Power Set.
67
WILLIAM S. VEATCH
(Do not worry if this last example is hard to follow. We will discuss
nested Power Sets in detail in Chapter 7. For now, we just want to introduce
the concept.)
68
MATH WITHOUT NUMBERS
Observations:
We may convert any Set of Atoms into a Power Set.
We may convert any Power Set into a Set of Atoms.
We may convert any Partition of Atoms into a nested Power Set Lattice; and vice versa.
69
WILLIAM S. VEATCH
U and : We assume the existence of both the Universal Set of all Ideas,
and the Empty Set containing no Ideas.
Finite v. Infinite
70
4. HOW OBJECT SETS OF IDEAS ARE RELATED
TO EACH OTHER
71
WILLIAM S. VEATCH
The Power Set formed by a Set of Atoms will contain all possible
Compound Ideas that could be formed from these Atoms, because by
definition the Power Set contains all possible combinations. This is not to
say that all combinations will be relevant or meaningful. Our challenge is to
ascertain which combinations are relevant and which are not. As a general
rule, if a combination is relevant, then it is likely that we have already given it
a name!
72
MATH WITHOUT NUMBERS
( b, bc, bcd )
( a, ab )
( c, bc, abc )
73
WILLIAM S. VEATCH
4.3. The Five Ways in Which Two Object Sets May be Related to
Each Other
74
MATH WITHOUT NUMBERS
75
WILLIAM S. VEATCH
76
MATH WITHOUT NUMBERS
Assume that we are looking at Relationships among Sets within the same
Domain. If the Domain is the same, then two Sets with the same Objects
also have the same Attributes. For example, the Word Cat in English
means the same thing as the Word Chat in French. In set notation, if AObj
= {a,b,c} and BObj = {a,b,c}, then A = B, because the two Sets have the same
Objects. In this example the Sets A and B are exactly the same or Identical.
See Fig. 4-3, for an illustration using a Euler Diagram.
If the Domains of two Sets are different, then we cannot use Set
Operations to combine the Elements directly, unless we first convert one of
the Sets to a common Domain. For example, suppose we have the following
Sets:
See Fig. 4-5. We can apply Set Operations like Union and Intersection
to A, C, and E, or B, D, and F, but not other combinations, because they
have different Domains. Note that in the example, the Sets A and E are
Identical, because they have the same Objects; and Sets B and F are Identical,
because they have the same Attributes. Therefore, we know that the word
Cat in English and Chat in French refer to the same Idea and mean the
same thing.
77
WILLIAM S. VEATCH
If two Object Sets do not have any overlapping elements, then we say that
they are Disjoint. Disjoint Sets typically arise when we create Partitions of
Sets. Note, however, that two Disjoint Object Sets may have Partially
Overlapping (POL) Attribute Sets.
78
MATH WITHOUT NUMBERS
Siamese = (a)[432]
Persian= (b)[431]
Lab = (c)[421]
Dalmatian= (d)[321]
How can this be? The reason is that while at first it may not appear that
Siamese and Persian Cats share much in common with a Lab Dog, in fact
they do have one common Attribute: none of them is a Dalmatian. As a
result, they all share the Attribute ~d=4.
Partially Overlapping Sets often arise when we create two different Partitions
of a Set of Atoms. For example, suppose we take the following Set of
Animals: X Obj = { Cow, Whale, Robin, Salmon } = { a, b, c, d }. We can
create two different Partitions either by sorting the Animals by whether they
live on land or in water, or by whether or not they are Mammals: X =
( Land + Water ) In ( Mammal + ~Mammal ) = ( ac + bd ) In ( ab + cd ),
where + stands for Union and In stands for Direct Product followed
by Intersection. The Set of Mammals (ab) and the Set of Animals that live
on land (ac) are Partially Overlapping Sets, because a cow (a) lives on land
and is a Mammal. Some Mammals live on land, but some do not; some
Animals are Mammals, but some are not. See Fig. 4-6.
79
WILLIAM S. VEATCH
In summary:
80
MATH WITHOUT NUMBERS
4.4.1.Union
By the Union of two Sets, we mean a new Set that includes all of the
elements that are contained within either of the original two sets. The Union
of two or more Sets is the Set formed by combining all of the Elements in
such Sets:
A B = {x| x A or x B }; or
x (A B) x A or x B.
We read the first example as: A Union B equals x such that x belongs
to A or x belongs to B, and the second example as: x belongs to A Union
B if and only if x belongs to A or x belongs to B. See [Rodgers 2000] at 233
for more information about the various Set Operations.
4.4.2. Intersection
By the Intersection of two Sets, we mean a new Set that includes only the
elements that are in common with, or contained within, each of the original
two sets. The Intersection of two of more Sets is the Set formed by those
Elements that are in all such Sets:
81
WILLIAM S. VEATCH
A B = {x| x A and x B }; or
x (A B) x A and x B.
What is the Intersection of the Idea Animal and the Idea Dog?
Written as words, the answer is not immediately obvious. If we write the
Idea Animal as a set of its component Objects, however, the answer
becomes clear. Animal becomes Animal List = { Dog, Cat, Cow, Horse,
Other Animals }. Now it is clear that the Intersection of Animal and Dog is
Dog, as Dog is the only element that is common to both Sets (assuming
that Dog includes all subcategories of Dogs).
Note that each of Intersection and Union distributes over the other:
A (B C) = (A B) (A C), and
A (B C) = (A B) (A C).
then:
82
MATH WITHOUT NUMBERS
then:
A B = { Antokolsky, Cervantes, Shelley, Dickens }, and
A C = { Dostoyevsky, Tolstoy, Dickinson, Longfellow }.
Note that if the two Sets in question are Disjoint, then the Symmetric
Difference will be the same as the Union. This fact will be helpful later.
83
WILLIAM S. VEATCH
then:
Russian Authors who are not Novelists: A B = { Antokolsky },
Novelists who are not Russian Authors: B A = { Cervantes,
Shelley, Dickens}.
4.4.5.Complement
The Idea together with the other Elements of the Cover Set (the Object
Complement Set) equal the Cover Set. E.g., a Dog is a Mammal that is not
84
MATH WITHOUT NUMBERS
85
WILLIAM S. VEATCH
X PE = (A B C) (D E) (F G)
Step 1: Use the Associative Law to group together the last two terms in the
Partition Equation:
X PE = (A B C) ((D E) (F G))
Step 2: In the newly grouped section, use the Distributive Law to distribute
the third term over the second:
(A B C) ((D E) (F G))
= (A B C) ((D (F G)) (E (F G)))
Step 3: Now, use the Distributive Law to distribute the term in bold from
Step 2 over the first term, creating a Nested Partition Equation:
86
MATH WITHOUT NUMBERS
Now that we have established the rules for the Distributive property of
Union and Intersection, we will use + for Union and In or simply
( : ()) for Direct Product followed by Intersection when we write
out a Partition Equation. This will make it much easier to read the Partition
Equation. From the example above, we can see that Union and Intersection
Distribute or multiply out in the same way as Addition and
Multiplication when working with numbers. This will prove to be
extremely valuable in Chapter 11 regarding Partition Equations. (As
illustrated above, sometimes we use a colon : to indicate that there is a
Nested Partition, instead of using the In symbol.)
Identical,
Disjoint,
Subset-Superset,
Superset-Subset, or
Partially Overlapping.
87
5. HOW ATTRIBUTE SETS OF IDEAS ARE
RELATED TO EACH OTHER
In this Chapter, we look in more detail at the nature of Attributes, and how
Sets of Attributes are related to one another. We saw in Chapter 2, how
Ideas have a dual nature as representing both Objects (examples of the
Idea) and Attributes (properties of the Idea), but what exactly is the
difference in mathematical terms between Objects and Attributes? In
Chapter 4 we saw how Objects form Sets that behave in accordance with
the normal rules of Set Theory, such as Union, Intersection, Symmetric
Difference, Set Subtraction, and Complement. Chapter 4 may have seemed
easy, but Chapter 5 will probably seem more difficult. The reason for this is
that we are not familiar with applying Set Operations to Attributes. As we
will see in this chapter, however, Attributes also follow the rules of Set
Theory, but in an inverse fashion as compared to Objects. If we remember
that Attributes are simply the inverse dual of Objects, then the rules that
apply to Attributes will be easy to remember.
We have seen that if we start with a Set X of Atoms, we can create a Power
Set, P(X) consisting of all of the subsets of X. If X has n Elements, then
P(X) will have 2n Elements, including X itself and the Empty Set. Whereas
the Atoms are typically placed at the bottom of a Lattice diagram, just above
the Empty Set, Coatoms make up the row at the top of the Lattice, just below
the Set X = (a,b,c,d). See Fig. 5-1.
88
MATH WITHOUT NUMBERS
If we relabel the Coatoms using numbers, then we can create what looks
like an upside Power Set formed by Coatoms. This Power Set of Coatoms
turns out to be extremely useful to us, because, when we map Attributes to
Coatoms, Coatom is synonymous with Attribute. By creating a Power
Set of Attributes, we can apply the same rules for Chains, Partitions, etc. to
Attributes that we apply to a Power Set of Objects. The inverse relationship,
or Duality, between Objects and Attributes becomes readily apparent.
89
WILLIAM S. VEATCH
the Power Set of Coatoms. (To the extent that we have Deemed Atoms
in our Power Set of Atoms, we will have corresponding Deemed Coatoms
in our Power Set of Coatoms.)
90
MATH WITHOUT NUMBERS
The result differs greatly for Attributes. Fig. 5-3 illustrates how the
Attributes in a Universe of Discourse are impacted by the excluded Elements.
Basically, each Attribute is preceded by a 5 reflecting the exclusion of the
Atom e from all Elements in the Universe of Discourse, as compared to
the four-Atom Power Set in Fig. 5-1.
91
WILLIAM S. VEATCH
92
MATH WITHOUT NUMBERS
example four Atom Power Set (P4) Universe of Discourse has Atoms X =
( a,b,c,d ), but Coatoms Y = [ 5,4,3,2,1 ].
93
WILLIAM S. VEATCH
5.5. The Five Ways in Which Two Attribute Sets May be Related
to Each Other
Assume that we are looking at Relationships among Sets within the same
Domain. Then, as discussed in Section 4.3.1, if the Domain is the same, the
two Sets with the same Attributes also have the same Objects.
As discussed in Section 4.3.2, if two Object Sets do not have any overlapping
Elements, then we say that they are Disjoint. Disjoint Object Sets, however,
do not necessarily result in Disjoint Attribute Sets. For example, Dog and
Cat are disjoint Object Sets, but share many Attributes, such as the
following: they are Mammals (have hair/fur, nurse young, etc.), Vertebrates
(have a backbone), Animals (can move, etc.), and Living Things (consume
food, reproduce, etc.).
94
MATH WITHOUT NUMBERS
95
WILLIAM S. VEATCH
because in Fig. 5-1 the Power Sets represent the entire Universe of Ideas. In
Fig. 5-5, however, we have a more limited 4-Atom Universe of Discourse,
so all Elements share the Attribute 5, which in this case refers to the
Attributes common to all Animals.
Tables 5-1, 5-2, 5-3 and 5-4 summarize these Disjoint and POL
relationships for the 15 (16 if we include ) possible Partitions of a four
Atom Set. Table 5-1 shows that Disjoint Object Partitions result in POL
Attribute Partitions, or sometimes Disjoint Attribute Partitions if working
with the entire Universe. Note that when working with the entire Universe,
a two Element Disjoint Object Set Partition always gives rise to a two
Element Disjoint Attribute Partition, whereas a three or four Element
Disjoint Object Partition always gives rise to a POL Attribute Partition.
96
MATH WITHOUT NUMBERS
97
WILLIAM S. VEATCH
Note that the above Table 5-2 excludes the Coatom 5, representing
the Attributes that all Elements in the UD have in common. This would be
appropriate, for example, if this were a Partition of the entire Universe, as
opposed to a UD. In a UD, there can never be a Disjoint Partition, because
all Elements have a common Coatom, 5 in this case.
What if two Sets, either Objects are Attributes, are POL? Can we say
with certainty what the other related Sets will be? See Tables 5-3 and 5-4.
98
MATH WITHOUT NUMBERS
99
WILLIAM S. VEATCH
Table 5-5 provides some more examples based upon Fig. 5-6, that
illustrate the Inverse relationship.
100
MATH WITHOUT NUMBERS
As with Object Sets, the same five well-established Operations in Set Theory
that apply to Object Sets also apply to Attribute Sets: Union ( ),
Intersection ( ), Symmetric Difference ( ), Set Subtraction (-), and
101
WILLIAM S. VEATCH
5.6.1. Union
5.6.2. Intersection
102
MATH WITHOUT NUMBERS
103
WILLIAM S. VEATCH
5.6.5.Complement
As with Object Sets, we can define a Complement Set for Attributes Sets.
For example, referring to Fig. 5-6:
104
MATH WITHOUT NUMBERS
(i.e., Snake in Fig. 5-6). Therefore, we are left with [3]= ~Snake. Given our
UD in Fig. 5-6, ~Snake could be a Dog, Cat, Crab, or any Object that is
not an Animal.
Note that the Union of TAtt = {Cat}Att and T Att = {Dog}Att is SAtt =
{Dog, Cat}Att. We write ( T T = S)Att.
If we accept that all Attributes in the Universe map to the Power Set of
Coatoms, then if we have n Coatoms there will be 2n possible distinct
105
WILLIAM S. VEATCH
We may ask the question: How many Attributes does an Idea have?
In the case of an Idea that is an Atom, this is equivalent to asking: How
many Elements in a Power Set contain a particular Atom? The answer is
2 n-1. The easiest way to visualize this is to add an Atom to an existing Power
Set. The result is to double the size of the Power Set. See Fig. 5-7.
Table 5-11 sets forth the number of Elements in a Power Set that
contain a Particular Atom, for Power Sets with two to six Atoms.
106
MATH WITHOUT NUMBERS
107
WILLIAM S. VEATCH
Any two Sets within a specified Attribute Domain are related to each
other in one of five ways:
Identical,
Disjoint,
Subset-Superset,
Superset-Subset, or
Partially Overlapping.
108
MATH WITHOUT NUMBERS
109
WILLIAM S. VEATCH
In many respects, Objects and Attributes are very similar to each other. In
this Chapter we want to highlight both the similarities and the differences.
What we will discover is that Objects and Attributes behave in the same way
as each other in mathematical terms, except that one is the inverse of the
other. This is an example of Duality, which occurs surprisingly often in
Mathematics. In this case, however, it makes perfect sense considering how
we arrived at our definition of Attributes in the World of Abstract Sets, i.e.,
the Power Set of Attributes is the inverse of the Power Set of Objects.
110
MATH WITHOUT NUMBERS
One way to prove this is by looking at the Idea Signature of an Idea, which
consists of the List of the Atoms and Coatoms relating to that Idea. Once
we specify a Set of Object Atoms that represents an Idea, the Set of Attribute
Coatoms is equal to the negative of the Complement Set. For example, in a
UD = { a, b, c, d }, if we create an Object Set A = { a, b } = (ab), then the
Complement Set of A is A = { c, d } and the negative of the Complement
Set is B = { ~d, ~c } = [43]. Therefore, the Idea Signature for our Ideas is
(ab)[43]. This demonstrates that if we know the Universe of Discourse, given
a Set of Atoms we can calculate the related Coatoms, and vice versa, given a
Set of Coatoms we can calculate the related Atoms.
111
WILLIAM S. VEATCH
The rules of Set Theory remain constant, but once again we see the
importance of specifying whether we are working with the Domain of Sets
of Objects or Sets of Attributes.
We must begin our analysis with the critical assumption that the Universe
(U) of Ideas exists, as represented by the Object Set XObj = (a), and the
Attribute Set YAtt = []. If we start with this assumption, then when we
specify an Object Set X (or an Attribute Set Y), we have in fact specified
two Sets, i.e., X and its Complement ~X (or Y and its Complement ~Y). In
other words, specifying an Object Set (or Attribute Set) creates a Partition of
the Universe into two parts which we call Equivalence Classes. If we had not
specified the Universe up-front, then a Partition would not have been
created, and we would lose the dual Power Set relationship between Objects
and Attributes.
112
MATH WITHOUT NUMBERS
Idea Signature: Every Idea has an Idea Signature consisting of a list of Atoms
included in the Idea: X=(a,b,c); and a list of Coatoms representing Attributes
included in the Idea Y = [ 6,5,4], where 4 = ~d, 5=~e etc. In a six Atom UD,
we write the Idea Signature as: (abc)[654], for an Idea with Atoms a, b, and c.
Every Idea Objectin the World of Ideas maps to an Element of the Power
Set of Atoms in the World of Abstract Sets. We know this is true, because
every Idea is either an Atom or a Compound consisting of a Set of Atoms,
113
WILLIAM S. VEATCH
and the Power Set is the Set of all possible subsets. Therefore, every Idea
expressed as a Set of Objects must correspond to some Element of the Power
Set of Atoms. Similarly, the same logic demonstrates that every Idea
expressed as a Set of Attributes must correspond to some Element of the
Power Set of Coatoms.
6.2.1.Examples v. Properties
In the World of Ideas, Objects are examples of an Idea, and we say that an
Object is a or is an example of a given Idea. In the case of Attributes,
however, we say that the Attribute is a property or characteristic of the
Idea, or that an Attribute is an element of the test for a particular Idea. For
example, we have the following:
114
MATH WITHOUT NUMBERS
The most significant difference between Objects and Attributes is that they
are related to one another in an Inverse relationship. We can see this most
clearly in the Chain table that we have examined a number of times in
previous Chapters. See Table 6-1.
115
WILLIAM S. VEATCH
6.3. Duality
Ideas have two parts, like two sides of the same coin, namely Objects
and Attributes,
The Objects and Attributes are related to one another in an Inverse
fashion, and
If we have a formula using Dual Concepts (e.g., Object and Attribute;
Union and Intersection; and U; or and ) that applies to
Ideas, then we can create a dual formula that is also true, by swapping
each dual element, i.e., Object becomes Attribute, Attribute becomes
Object, Union becomes Intersection, etc.
116
MATH WITHOUT NUMBERS
Table 6-1 illustrates the Chain Duality, and Fig. 6-2 illustrates Power Set
Duality.
In addition to Chains (see Chapter 8) and Power Sets (see Chapter 7),
there are other examples of Duality, including the following:
117
WILLIAM S. VEATCH
A (B C) = (A B) (A C).
A (B C) = (A B) (A C).
118
MATH WITHOUT NUMBERS
Dog Mammal,
Dog Mammal= Dog, and
Dog Mammal = Mammal.
Note that we have not attempted to list all examples of Duality in the
Mathematics of Ideas. (For example, in Chapter 7 we will discuss the Dual
relationship of Ideals and Filters.) Remarkably, examples of Duality
abound. In fact, if we discover a principle that applies to Objects (or Power
Sets of Objects), there undoubtedly is a corresponding Dual principle that
applies to Attributes (or Power Sets of Attributes), and vice versa. We can use
this as a means of testing a proposed Theorem by asking: Does the Dual
Theorem hold true as well? If not, then we know we have a problem with
our original Theorem.
Since a Set of Objects fully determines its related Attributes, and vice versa, do
we really need both? We have asked this question before, and will continue
to do so, because Objects and Attributes are equivalent, although inverse to
one another. In a strictly mathematical sense, the answer is no, we do not
need both, since we can calculate one from the other. From a practical
standpoint, however, we use both Objects and Attributes in the World of
Ideas. Objects are the denotation whereas Attributes are the
connotation.
119
WILLIAM S. VEATCH
my black lab named Lucy takes the place of a much larger Set of Attributes
that would be required to identify Lucy. In practice, without thinking about
it, we tend to choose the smaller Set, whether it be Attributes or Objects.
Duality
120
MATH WITHOUT NUMBERS
Galois Theory
[Stewart 2004] at 85 et seq. and 133 et seq. : In Galois Theory, Ian Stewart
has written a very accessible and well-written book about a very complex
subject.
121
7. A MORE DETAILED LOOK AT POWER SETS:
THE BUILDING BLOCKS OF IDEAS
In this Chapter, we take a closer look at Power Sets. The Power Set is the
basic building block of our Mathematics of Ideas. The Power Set provides a
list of all possible Compound Ideas that we can form from a given Set of
Atoms.
This Chapter involves more mathematics that the other Chapters in the
Book. The reader, therefore, may choose to skip this Chapter if it is hard to
follow, or perhaps read only Sections 7.1 through 7.5. For those readers up
for a challenge, it is well worth the effort to read the whole Chapter.
Given a finite Set of Atoms X, we can form a Power Set, written P(X)
(i.e., the Set of all Subsets of X, including and X itself). If we define
Addition as Union and Multiplication as Intersection, then, along with
the Complement Operation, we can define a Boolean Algebra. In other
words, with the Power Set of X, P(X), as the Domain, we have a closed
Algebra. Later, we will show that we can convert any Boolean Algebra into
a Boolean Ring where Addition is Symmetric Difference and
Multiplication is Intersection.
We will see that we can also form a Domain consisting of a Power Set of
Power Sets, P(P(X)), and that we can perform Operations, including Addition
and Multiplication, on the Power Sets within this Domain.
122
MATH WITHOUT NUMBERS
There are a number of reasons why we study Power Sets, including the
following:
From this example, we see that there are many possible ways to define
Vertebrate in terms of Object Sets. Is one definition better than another?
We may not always want to list every Atom separately, but if we Consolidate
Atoms, how do we decide which ones to Consolidate? We start to see that
Vertebrate is equal to, or can be expressed as, every possible combination
of Subsets formed from Partitions of the component Atoms of Vertebrate.
We know from our study of Power Sets that the Power Set is by definition
the Set of all possible Subsets. Each Partition that defines Vertebrate,
therefore, consists of some combination of Subsets of the Power Set of the
component Atoms of Vertebrate. The implication is that we can view an
Idea as the complete Power Set! There is no need to select any one definition,
because they all appear in the Power Set.
123
WILLIAM S. VEATCH
Table 7-1 lists some of the Partitions of our eight Atom Power Set.
124
MATH WITHOUT NUMBERS
Importantly, the number of Elements in the Power Set is equal to 2n, where
n = the number of Elements in X. Here are some examples of Power Sets:
Note that the Empty Set, , is always listed as an Element of the Power
Set.
Interestingly, we can also take the Power Set of a Set of Sets, but we
must exercise care as illustrated in the following examples in Table 7-3. (The
symbol Un refers to Direct Product followed by Union. See page 130
for more information on this Operation.)
Note that the Power Set Operation distributes across the Elements in
X. Also, note that we count the Empty Set only one time. (We can prove
that the Empty Set is unique, and therefore should be counted only one time.)
This concept of treating the Power Set as an Operation is extremely
important in our Mathematics of Ideas, because it allows us to switch back
and forth between Sets of Atoms X, Y, , and Power Sets of Atoms P(X),
P(Y), , as long as we exercise care and remember to distribute the Power
Set Operation to any Elements that are Sets.
125
WILLIAM S. VEATCH
Remember that the number of Elements in a Power Set = 2n, where n = the
number of Elements in the related Base Set of Atoms. This means that every
time we add a new Atom to our Base Set of Atoms, the size of the Power Set
doubles. See Fig. 7-1.
Note that a Base Set X with a single Atom, { a }, becomes a Set of two
Elements when we take the Power Set P(X) = ( , a ). In Lattice notation,
we write this two Element Set as two circles connected by a line. In a Power
Set of Object Atoms, we place at the bottom of the Lattice; in a Power
Set of Attribute Coatoms, we place at the top of the Lattice.
Fig. 7-2 shows a trick to make it easier to draw expanding Power Set
Lattices. We follow these steps:
In this way, you can see how the P1 Lattice (i.e., the Power Set Lattice
with one Atom) shows up two times in the P2 Lattice (i.e., the Power Set
126
MATH WITHOUT NUMBERS
Lattice with two Atoms); the P2 Lattice shows up two times in the P3 Lattice;
and so on.
127
WILLIAM S. VEATCH
!
where denotes the binomial coefficient:
! !
5! = 5 4 3 2 1 = 120,
4! = 4 3 2 1 = 24,
3! = 3 2 1 = 6, and
2! = 2 1 = 2.
128
MATH WITHOUT NUMBERS
!
= 24/(2x2) = 6. Also, note that (n-k) is equal to the number of
! !
Attributes in the corresponding row of the Attribute Lattice of Coatoms.
Note that the Direct Product is not a Closed Binary Operation in the
same sense as Union, Intersection, and Symmetric Difference. By Closed
Binary Operation, we mean that Sum or Product obtained from applying the
Operation to any two Elements in the Domain is another Element in the
Domain. Union, Intersection, and Symmetric Difference are all Closed
Binary Operations, because the result is always another Element in the same
Domain. In the case of the Direct Product, however, the result of taking the
Direct Product of two Sets is a Set of Ordered Pairs; Ordered Pairs are not
in the original Domains that we work with in the Mathematics of Ideas.
Rather, in the Mathematics of Ideas we use the Direct Product to create a list
of all possible combinations of Elements in two or more Sets, and then we
apply a Binary Operation, such as Union, Intersection, or Symmetric
Difference, to the Elements of each Ordered Pair (or N-Tuple, if we took
the Direct Product of more than two Sets). Therefore, we need a simple
notation that allows us to show that we are taking the Direct Product and
next applying a Binary Operation to each Ordered Pair (or N-Tuple). Table
7-5 illustrates this concept.
129
WILLIAM S. VEATCH
Through careful use of the above notation, we can track whether we are
working with Boolean Algebras or Boolean Rings; and whether we are
working within the Domain P(X) (i.e., the Power Set of a Base Set X), or
within the Domain P(P(X)) (i.e., the Power Set of Power Sets of a Base Set
X).
Also, just to emphasize the point, note that in MWN we use the Direct
Product as a tool for listing all of the possible combinations of Elements in
two or more Sets. The result of the Direct Product of two Sets is an Ordered
Pair; three Sets, an Ordered Triple; and n Sets, an Ordered N-Tuple. The
Direct Product, as we use it in this book, is just the first step. The second
step is to apply the relevant Operation to the Elements of the Ordered N-
Tuple, which Operation could be Union, Intersection, Symmetric Difference,
etc. Therefore, any time you apply a Direct Product Operation, you should
ask what Operation follows, i.e., Union, Intersection, Symmetric Difference,
etc.
130
MATH WITHOUT NUMBERS
(Union and Intersection are Binary Operations, because they act on two
Elements of the Power Set, whereas Complement is a Unary Operation
acting on a single Element.)
131
WILLIAM S. VEATCH
X =
= X, and
Double Complement Law: ( A ) = A.
There are other Boolean Algebras besides the Power Set Boolean
Algebra. For example, when we look at Logic in Volume 2, we will see that
the Logic Operations of , , and also form a Boolean Algebra. Our
primary interest, however, is in the Power Set Boolean Algebra; as well as the
Boolean Algebra formed by a Power Set of Power Sets, sometimes referred
to as Dual Power Sets of Ideals and Filters. First, we look briefly at Boolean
Rings, then we return to Ideals and Filters.
a a = (a a) (a a)=
ab ab = (ab ab) (ab ab)=
abc abc = (abc abc) (abc abc)=
abcd abcd = (abcd abcd) (abcd abcd)=
132
MATH WITHOUT NUMBERS
The following identities in Table 7-7 are always true for any Subsets A,
B, and C.
Boolean Rings are interesting also because the Set of Integers, i.e., the
positive and negative counting numbers that we learn in grade school, form
a Ring. Another interesting fact is that any Boolean Ring can be converted
to a Boolean Algebra; and any Boolean Algebra can be converted to a
Boolean Ring. See [Givant and Halmos 2009] at 14.
133
WILLIAM S. VEATCH
Take the Direct Product of the Elements of the n Power Sets that
we want to Add, Multiply, etc., resulting in a Set of N-Tuples.
Apply the relevant Operation (Sum/Product/Complement etc.) to
the Elements of each N-Tuple.
Simplify by eliminating any redundant Elements.
134
MATH WITHOUT NUMBERS
If you look at a diagram of two Power Set Lattices, it may not be obvious
how to add them together in a meaningful way. Fortunately, an area of
mathematics called Ideal Theory works nicely, and provides a means of
adding Power Sets in a way that resembles Union; and a means of multiplying
Power Sets in a way that resembles Intersection. See [Northcott 1968] at 5.
As we saw in Section 7.8, there are two ways of performing the Addition
Operation that yield equivalent results: the Atomic or Sum of Atoms
Approach, and the Sum of DPE Approach.
It turns out that the Sum of Atoms Approach is the easiest way to add
two Power Sets: (i) first, convert the Power Sets to Base Sets of Atoms, (ii)
then, take the Union of the two Base Sets of Atoms, and (iii) finally, convert
the new Union of Atoms into a Power Set. For example, if we have P(X) =
( , a, b, ab ) and P(Y) = ( , c, d, cd ), then we take the following steps to
add P(X) and P(Y):
135
WILLIAM S. VEATCH
The second way to add two Power Sets, is the Sum of the Direct
Product of Elements Approach or Sum of DPE Approach. We take
the sum of each pair of Elements where each such pair has one Element from
the first Set and one Element from the second Set. See [Northcott 1968] at
5. Interestingly, the Sum of P(X) and P(Y) defined in this way is also equal
to the Union of each pair of Elements in the Direct Product of P(X) and
P(Y), if we remove any duplicative Elements. For example, suppose we have
two Power Sets P(A) = { , a, b, ab } and P(B) = { , c, d, cd }. The Direct
Product of P(A) P(B) =
{ (, ), (, c), (, d), (, cd), (a, ), (a, c), (a, d), (a, cd), (b,), (b, c),
(b, d), (b, cd), (ab,), (ab, c), (ab, d), (ab, cd) }.
Note that the Direct Product does not combine the Elements the way
that we do when we add or multiply Elements. Instead, the Direct Product
has created a Set of Ordered Pairs; the first Element in each Ordered Pair is
from P(A) and the second Element is from P(B). To complete our Addition
of Power Sets, we need to take the Union of Elements in each Ordered Pair
from the Direct Product. This leaves us with the following: P(A)+P(B) =
{ , c, d, cd, a, ac, ad, acd, b, bc, bd, bcd, ab, abc, abd, abcd }. If you look
closely, you will see that we got the same answer for the Sum P(A)+P(B)
whether using the Sum of Atoms approach or the Sum of the Direct Product
of Elements approach.
The Direct Product is a useful tool for listing all the possible
combinations of Elements in two or more Power Sets. However, the Direct
Product is not a Closed Binary Operation in the sense that it does not
combine the Elements to create a third Element from within the original
Domain. Rather, the Direct Product results in a list of N-Tuples, to which
we can apply the relevant Operation, whether it is Union, Intersection, etc.
Also, note that a single Idea, represented as a Power Set Object, takes
the form (, a). When we add a Power Set Object to another Power Set
Object, we start by taking the Direct Product of the two Power Sets. (In
mathematical terms, when we take the Direct Product of two or more Power
136
MATH WITHOUT NUMBERS
Sets, the Empty Set plays the role of the Identity Element. This means
that when we take the Direct Product of a Power Set Object and a new Power
Set Object, the Empty Set results in a copy of the original Power Set and the
new Atom results in a second copy of the original Power Set multiplied by
the new Atom. In this way, adding a single Atom to a Power Set will always
double the size of the Power Set. See Fig. 7-1.
Fig. 7-4 illustrates the Sum of two Partially Overlapping (POL) Power
Sets using these two approaches. As you can see, the Sum of Atoms
approach is much easier to apply.
137
WILLIAM S. VEATCH
138
MATH WITHOUT NUMBERS
Note that we can apply the same methodology in reverse to split a Power
Set into its component parts. We refer to this as a Sum Decomposition
of a Power Set. For example:
139
WILLIAM S. VEATCH
As with Addition of Power Sets, there are two equivalent ways of performing
the Multiplication Operation: (i) the Atomic or Product of Atoms
Approach and (ii) the Product of Direct Product of Elements or
Product of DPE Approach.
Using the Product of Atoms Approach, (i) we first convert the Power
Sets to Base Sets of Atoms, (ii) then, we take the Intersection of the two Base
Sets of Atoms, and (iii) finally, convert the new Intersection of Atoms into a
Power Set. For example, if we have P(X) = ( , a, b, c, ab, ab, bc, abc ) and
P(Y) = ( , b, c, d, bc, bd, cd, bcd ), then we take the following steps to
multiply P(X) and P(Y):
140
MATH WITHOUT NUMBERS
P(X) and P(Y) defined in this way also equals the Intersection of each pair of
Elements in the Direct Product of P(X) and P(Y), if we remove any
duplicative Elements. For example, suppose we have two Power Sets P(A)
= { , a, b, c, ab, ac, bc, abc } and P(B) = { , b, c, d, bc, bd, cd, bcd }. The
Direct Product of P(A) P(B) =
Note that the Direct Product does not combine the Elements the same
way as when we add or multiply Elements, but rather the Direct Product has
created a Set of Ordered Pairs where the first Element in each Ordered Pair
is from P(A) and the second Element is from P(B). To complete our
Multiplication of Power Sets, we take the Intersection of Elements in each
Ordered Pair from the Direct Product. This leaves us with the following:
P(A) P(B) =
= (, b, c, bc)PS.
As you can see, we got the same answer for the Product P(A) P(B)
whether using the Product of Atoms Approach or the Product of DPE
Approach.
As we have seen, there are two different calculations used frequently with
Sets and Power Sets that we think of as multiplication. They are very
different, however, and it is important not to confuse the two. One
calculation is the Direct Product. As discussed above (see discussion of the
Direct Product of Elements approach), however, the Direct Product of
141
WILLIAM S. VEATCH
Power Sets creates Ordered Pairs (or N-Tuples if there are more than two
Sets), and is actually just the first step in what we define as addition or
multiplication of Power Sets. The second step is to apply the Operation
at hand (e.g., Union or Intersection) to each Ordered Set in the Direct
Product.
142
MATH WITHOUT NUMBERS
can be very confusing at first, but we can avoid most of the confusion if we
carefully specify the Domain up-front, which is typically either the Power Set
of Atoms P(X), or the Power Set of Power Sets P(P(X)). As we will soon see,
in the Power Set Domain we typically look at the Complement of a single
Element, or the Complement of each individual Element in a Set of
Elements. On the other hand, in the Power Set of Power Sets Domain, we
take our familiar Atomic Approach where we convert to Atoms, determine
the Complement, and then convert back to a Power Set.
In the case of a Base Set X = { a,b,c,d }, we can form a Power Set P(X) = P4
= ( , a, b, c, d, ab, ac, ad, bc, bd, cd, abc, bcd, cda, dab, abcd ). To determine
the Complement of an Element of the Power Set of X relative to X, we
simply determine the result of X { Set Element}. For example:
X a = bcd,
X ab = cd, or
X acd = b.
In the above example, the Domain is the Power Set P4, and the
Complement is determined relative to the X=abcd Element at the top of
the Power Set Lattice. (In Lattice Theory, the top Element in a Lattice is
sometimes referred to as the 1 Element, and the bottom Element as the
0 Element.)
143
WILLIAM S. VEATCH
Finally, note that if we relabel our Filter using Coatoms rather than
Atoms, we can more easily see that we can also view the dual Ideal and Filter,
as a dual Power Set of Atoms and related Power Set of Coatoms. See Fig. 7-
6.
144
MATH WITHOUT NUMBERS
The key points to remember are that if we are working in the Power Set
Domain P(X), then the Complement will be another Element in the Power
Set Domain P(X); and if we are determining the Complement of a group of
Elements, such as an Ideal or a Filter, then we determine the Complement
of the group by determining the Complement of each Element in the group,
one-by-one.
We have seen that we can Add (i.e., take the Union (for Boolean
Algebras) or Symmetric Difference (for Boolean Rings)) and Multiply (i.e.,
take the Intersection) of Power Sets by Adding or Multiplying the related Sets
of Atoms, and then creating the Power Set of the Sum or Product, as the case
may be. We can take a similar approach to determine the Complement of a
145
WILLIAM S. VEATCH
Power Set within a broader Universe of Discourse. For any given Power Set
within a broader Universe of Discourse, we start by converting the Power
Set to Atoms. We then take the Complements of the Set of Atoms, relative
to the Base Set of Atoms for the Universe of Discourse. Finally, we convert
the Complement Set of Atoms to a Power Set. We call this the
Complement of Base Set Atoms Approach. For example, what is the
Complement of the Power Set P( a,b ) in the UD = P( a,b,c,d )?:
a a = 1
a a = 0.
146
MATH WITHOUT NUMBERS
A more helpful and less confusing way to draw the lattice, would be as
a lattice of Power Sets, where the Domain is a Power Set of Power Sets, not
a Power Set of Atoms. See Fig. 7-8.
147
WILLIAM S. VEATCH
Now, we still have a four Atom Power Set, but each Element in the
Power Set is itself a Power Set. (Note that the Empty Set is unique, so it
appears only one time in the Power Set Lattice.) Now, using this Domain of
UD = P(P(X)), we can easily determine that the Complement of the single
Element (,a,b,ab)PS is in fact (,c,d,cd)PS.
Again, we can check our answer using the generic test for a Complement
in a Lattice:
a a = 1,
a a = 0.
Using the Power Set Addition (i.e., based upon Union for Boolean
Algebras and Symmetric Difference for Boolean Rings) and Multiplication
(i.e., based upon Intersection) that we worked out earlier in this Chapter 7,
we see that the test for a valid Complement is satisfied.
148
MATH WITHOUT NUMBERS
P(X) is different from the Complement of the same Ideal in the Domain
P(P(X)). In particular, when we subdivide an Idea (as we did when we had A
= (, a, b, ab )PS; and B = (, c, d, cd )PS, we should use a Power Set of
Power Sets Lattice as in Fig. 7-8, in order to preserve the Complement
Operation.
As illustrated in Fig. 7-9, we can view a Power Set as either a sum of Chains,
or as a sum of Partitions. This is important, because Chains and Partitions
are critically important in our study of Ideas. Chains and Partitions, along
with Partition Equations (which are a way of combining Chains and
Partitions), are our primary tools for organizing and sorting Ideas.
149
WILLIAM S. VEATCH
150
MATH WITHOUT NUMBERS
Equivalence Class:
o Symmetric: aRa
o Reflexive: aRb bRa
o Transitive: aRb and bRc aRc
There are many possible Partitions in a Power Set.
All of the possible Partitions taken together form a Lattice as
illustrated in Fig. 7-9. See, [Parrochia and Neuville 2013] at 60.
Before we leave Power Sets, we make one quick observation that will
prove to be extremely useful later:
Fact: We can represent any Power Set both as a sum of Disjoint (or overlapping)
Chains, or as a sum of Disjoint (or overlapping) Equivalence Classes.
Ideally, we would like to develop some techniques that make it easier to work
with Power Sets of Ideas. The issue, as we have seen, is that Power Sets grow
very quickly given that the number of Elements in the Power Set is 2n, where
n the number of Atoms. As we can see from the following sequence,
Power Sets quickly become unmanageable: 2, 4, 8, 16, 32, 64, 128, 256, 512,
1024, 2048, Also, as a practical matter many of the mappings of
Compounds from the Power Set in the World of Abstract Sets to Ideas in
the World of Ideas, are not useful to us. For example, the following
Compound Ideas are not particularly useful: Dog-Rock, Rock-Plane, Sweet-
Mud, etc. Fortunately, there are a number of tools that we can use to limit
the number of Elements that we are working with at any given time, without
sacrificing mathematical rigor. In the following sections, we will develop the
following tools to simplify working with Power Sets:
First, we develop a set of rules that allow us to move back and forth between
Sets of Atoms on the one hand and Power Sets of Atoms on the other. In
this way, we can perform operations on the smaller sets of Atoms, and then
151
WILLIAM S. VEATCH
convert to Power Sets when we need to consider the full Set of Compound
Elements.
Note that the Power Set Operation distributes to any Sets. To avoid
confusion, we use {} for regular Sets and () or ()PS for Power Sets.
152
MATH WITHOUT NUMBERS
Element that we thought was an Atom turns out in fact to be a Set? In the
following example, we illustrate this by an Element b which started out as
an Atom, but later became a Set B={b,c}. The good news is that the
mathematics of Power Sets can easily handle this sort of change. The key is
to note that the Power Set Operation distributes to any Sets:
In Chapter 10, we will see how Partition Equations like this become a
very useful and practical tool for sorting Atoms based upon certain related
Attributes. What is most extraordinary is that we can easily convert these
Partition Equations of Atoms to Power Set Partitions as follows for the
above example:
153
WILLIAM S. VEATCH
X=
Step 1: Multiply the first two Partition Sets by distributing one term over the
other:
(abcde + fghi + jklm) In (abcfgklm + dehij ) =
abcde:( abcfgklm + dehij) + fghi:( abcfgklm + dehij) + jklm:( abcfgklm +
dehij).
154
MATH WITHOUT NUMBERS
The Lattice diagram in Fig. 7-10 shows how this Nested Partition
Equation looks when we draw the related Nested Power Sets.
155
WILLIAM S. VEATCH
156
MATH WITHOUT NUMBERS
157
WILLIAM S. VEATCH
158
MATH WITHOUT NUMBERS
159
WILLIAM S. VEATCH
For purposes of the Planets example, we will use the following Sets
and Partition Equation:
Given the ability to select the order in which we apply Partition Sets, we
update our methodology as follows:
Step 2 - Select the Order in which to apply the Partition Sets: From the
chosen Partition Sets, select the order in which they will be applied.
Mathematically speaking, there is no preference of one order over another,
although some may be more useful than others from a practical standpoint.
Choosing the order in which to apply the Partition Sets is often more of an
art than a science, but there are some guidelines:
160
MATH WITHOUT NUMBERS
Size:( S + M + L ) In Distance:( N + F )
= ( S:( N + F ) + M:( N + F ) + L:( N + F ) )
(Remember, the colon : indicates that we are taking the Direct Product
followed by Intersection.)
S = {a, b, e}
M={d}
L={c}
N = { a, b }
F = { c, d, e }
Mo = { b, c, d, e }
~Mo = { a }
161
WILLIAM S. VEATCH
= abe:( ab:( bcde + a) + cde:( bcde + a) ) + d:( ab:( bcde + a) + cde:( bcde
+ a) ) + c:( ab:( bcde + a) + cde:( bcde + a) )
abe:( ab:( bcde + a) + cde:( bcde + a) ) + d:( ab:( bcde + a) + cde:( bcde +
a) ) + c:( ab:( bcde + a) + cde:( bcde + a) )
Now, can use our sorted Nested Partition Equation to create a Nested
Partition Lattice Diagram. See Fig. 7-14.
162
MATH WITHOUT NUMBERS
We can also use Partition Equations to create Hierarchy Trees. See Fig.
7-15.
163
WILLIAM S. VEATCH
At first this may seem like a complicated process, but with practice it
becomes easier. With each step clearly specified, we can program a computer
to automate the process of generating Nested Partition Equations, along with
Hierarchy Trees and Lattices.
164
MATH WITHOUT NUMBERS
165
WILLIAM S. VEATCH
P(P(X)) =
P(, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}) =
(P(), P(a), P(b), P(c), P(a,b), P(a,c), P(b,c), P(a,b,c))PS =
( , (, a), (, b), (, c), (, a, b, ab), (, a, c, ac), (, b, c, bc), (, a,
b, c, ab, ac, bc, abc) )DPS.
Note that the definition of the Power Set Unary Operation is the same
in each Domain. What is different is the Domain itself: one is a single set
and one is a Power Set of Sets, where the Power Set Operation distributes to
each Set. As a result, the number of Elements in P(P(X)) is still 2n, where
n is the number of Atoms in the Base Set X.
Some authors define the Power Set Operation in a different way, so the
reader must exercise care when comparing our MWN Power Set Operation
with the discussion in other books on Set Theory. For example, in [Suppes
1972] at 47-48, Suppes defines P(0) = {0} and P(P(0)) = {0, {0}}. In MWN,
if 0 is meant to be , then the Power Set of is always . Cf.,
[Stewart and Tall 1977] at 59, where the authors state that P(0,1) = { ,
{0},{1}, {0,1}}. Here, 0 is treated as a number that is distinct from ,
so we would get the same result in MWN.
Power Set of Power Sets of Atoms: There is a third Domain called the
Power Set of Power Sets Domain, in addition to the Domain of Atoms
and the Power Set of Atoms Domain. In the Power Set of Power Sets
Domain, an Idea is made up of the elements of the Power Set of Power Sets
formed from the Base Set of Atoms, i.e., each Element of the Domain is a
Power Set.
We can use the Power Set Operation to transform a Set of Idea Atoms to
166
MATH WITHOUT NUMBERS
[Davey and Priestley 2001]: In Introduction to Lattices and Order, Davey and
Priestley provide a very helpful overview of Formal Concept Analysis,
including a detailed discussion of the planet Formal Context at page 65 et
seq.
167
WILLIAM S. VEATCH
168
8. CHAINS: IDEAS THAT FORM ORDERED SETS
OF ATTRIBUTES
In the last Chapter, we saw the definition of a Chain in mathematical terms
relating to abstract Sets. Now we explore Chains of Ideas as they arise in the
World of Ideas. We will see that we can use Chains of Ideas to organize Ideas
in a number of different contexts, including:
We want to emphasize that we can use a Chain for absolutely any type
of Idea, not just Classification schemes. By discussing Value System Chains
and Action Chains, we see that the Mathematics of Ideas relates to how we
think, not just the Classification of Objects in the Physical World.
169
WILLIAM S. VEATCH
170
MATH WITHOUT NUMBERS
Starting at the top of the Chain and working our way down, if the
Attribute is True, we move on to the next Level down; if the Attribute is
False, we move to the right and stop there.
171
WILLIAM S. VEATCH
Key Point: We can use Attributes to form a Chain of Ideas, where each Attribute is
a Level in the Chain.
We can create Chains with varying Levels of Detail, so long as the Chain is
an Exhaustive Partition of the Coatoms or Attributes in our Universe of
Discourse. We refer to a Chain with fewer Equivalence Classes (or Levels)
as a Coarse Chain; and a Chain with a greater number of Equivalence
Classes (or Levels) as a Fine Chain. See Fig. 8-2.
172
MATH WITHOUT NUMBERS
Now, we are ready to create the Chain set forth in Fig. 8-3.
173
WILLIAM S. VEATCH
In the Chain, each branch of the Chain to the right with a ~ represents
the Set of Ideas that do not have the Attribute immediately above. The
Elements in the Chain satisfy the is a relationship test. For example, in
Fig. 8-3, Dog is a Mammal, Mammal is a Vertebrate, and Vertebrate is
a Living Thing. Each Element in the Chain inherits all of the Attributes
of all the Elements above it in the Chain.
To better see how the Chain is made of Sets of Objects, and why we
refer to labels as Object Labels, we can add letters to represent each Set as
shown in Fig. 8-4.
174
MATH WITHOUT NUMBERS
One possible Set of Objects that fits this Chain is the Set X = { a,b,c,d,e},
where:
a = dog,
b = cat,
c = snake,
d = snail, and
e = rock.
By looking at the Sets on the left side of the diagram, we see that we do
in fact have an Ordered Set of Ideas that meets our definition of a Chain:
( a, ab, abc, abcd, abcde ).
175
WILLIAM S. VEATCH
Chains and Level of Detail on a regular basis. For general everyday purposes,
a Chain of three to five Levels usually is sufficient.
We know from our study of Power Sets that for every Chain of Objects, there
is a dual Chain of Attributes. See Fig. 8-5.
The numbering for the Elements on the right side of the Chain Hierarchy
Tree may be confusing at first, but remember that each number corresponds
to a not Element, so if our Universe of Attributes is [54321], then:
176
MATH WITHOUT NUMBERS
Now, to illustrate how we use the Chain based on Sets of Atoms and
Coatoms to sort Attributes from the World of Ideas, we place each Attribute
from the list we created earlier at the highest Level in the Chain for which
the Attribute is True for all Objects at that Level. See Fig. 8-6.
177
WILLIAM S. VEATCH
Note that if we were to select a Chain with a smaller number of Levels, the
total number of Attributes, inherited and new, remains the same, although
the allocation between inherited and new may change. See Fig. 8-7.
178
MATH WITHOUT NUMBERS
179
WILLIAM S. VEATCH
180
MATH WITHOUT NUMBERS
There are some important differences among Chains that relate to the
Physical World, those that relate to the World of Ideas, and those that relate
to the World of Abstract Sets. In a nutshell, Chains that relate to the Physical
World can be verified by observation or scientific experimentation designed
to determine cause and effect. This is not to say that it is easy to make
scientific discoveries. The reality is quite the opposite. In theory, at least, it
is possible to determine the truth of a Proposition (two Ideas), Syllogism
(three Ideas), or Lattice of Ideas (any number of Ideas) concerning the
Physical World.
181
WILLIAM S. VEATCH
With these basic assumptions, we can take any Set of Objects, for
example, X = { a,b,c,d }, and do a number of things, including:
In the World of Abstract Sets, all of these chains are equally valid. Look
what happens, though, when we attach labels from the Physical World. For
182
MATH WITHOUT NUMBERS
example, let X = { a,b,c,d } = { dog, cat, snake, tree }. Now our first Chain
reads as follows:
In the last term of the equation, we substituted mammal for {dog, cat};
vertebrate for {dog, cat, snake }; and living thing for {dog, cat, snake,
tree }. We were able to do this because the Compound Ideas mammal,
vertebrate, and living thing have special significance to us, to the point
that we find it useful to give these Compound Ideas their own names.
As we saw in the previous section, any Ideas that we are capable of thinking
can be organized into Chains. This is true because in mathematical terms,
Objects have no characteristics other than uniqueness; it is the combination
of Ideas into Sets that has significance. If we create Sets that are ordered by
inclusion, then we have a Chain. In the World of Ideas and in the Physical
world, however, some Chains have significance, whereas others do not. In
this Subchapter we consider three types of Chains:
183
WILLIAM S. VEATCH
184
MATH WITHOUT NUMBERS
185
WILLIAM S. VEATCH
For now, we just want to give an example of an Argument Chain and how
there can be varying Levels of Detail. In Book One, Volumes 2 and 3, we
will explore Argument Chains in more detail, and explain what we mean by
Relevant, Reliable, and Probative Evidence.
Fig. 8-10 uses a Nested Lattice Diagram to illustrate how we can create a
Chain by adding one Atom at a time. In addition to adding a new Atom at
the top of the Chain, we need to multiply everything below by the new Atom.
186
MATH WITHOUT NUMBERS
187
WILLIAM S. VEATCH
188
MATH WITHOUT NUMBERS
Chains: We can use each Attribute in the Test Set of an Idea to create a
Level in a Chain.
189
9. PARTITION SETS / ANTICHAINS: IDEAS THAT
FORM DISJOINT SETS OF OBJECTS
If we follow these two rules, then we can create valid Partitions of any
Idea. See Fig. 9-1, which illustrates how a Partition divides a Set into a
number of Equivalence Classes. The Elements in the same Equivalence
Class are equivalent to one another in respect of the property or Attribute
that we are measuring. We use the term Partition Set to refer to the Set of
Elements that serve as labels for the Equivalence Classes of the Partition.
For example, we can write Vertebrate Part = ( Mammal + Reptile +
Amphibian + Fish + Bird ). Each Element of the Partition Set is an Attribute
Label used to identify Equivalence Classes of Objects that share the specified
Attributes. This Set is similar to a List Set, except that the subscript Part
190
MATH WITHOUT NUMBERS
indicates that the Set is an Exhaustive Partition, and that the Elements are
Pairwise Disjoint. See Fig. 9-1.
Just as listing Attributes is the first step towards creating a Chain, listing
Objects is a first step towards creating a Partition Set. Then, we group
together Objects that share common Attributes to form Equivalence Classes,
and select an Attribute Label for each Equivalence Class of Objects. To have
a valid Partition Set, however, we must check that it is Exhaustive and
Mutually Exclusive (Pairwise Disjoint). For example, if we take the Idea
Animal, it is easy to create an Object Set as follows:
191
WILLIAM S. VEATCH
The Set is Exhaustive, due to the use of the Element Other Animal,
but we can quickly see that the Elements of the Set are not Mutually
Exclusive. To be Mutually Exclusive, the Elements must be Pairwise
Disjoint, meaning that the Intersection of any two Elements must be the
Empty Set. Here, to give one of many possible examples, Vertebrate Dog
= Dog. This also highlights one of the difficulties to using an Element like
Other Animal, because there is no way to be certain that the Element is
Pairwise Disjoint; rather, we must assume that it is Disjoint since we cannot
test it directly. That is, by definition Other Animal cannot be Vertebrate,
Mammal, Dog, Cat, or the other Elements in the List.
Note that Partition Sets are not unique. To illustrate this point, we can
show that there are a number of different ways to fix the prior Set to make it
a valid Partition Set. Consider the following:
Using our Partition Set notation, we can re-write the above Sets as
follows:
These two forms of notation are equivalent, but the Partition Set
notation will be helpful when we look at Partition Equations in Chapter 10.
192
MATH WITHOUT NUMBERS
In Section 8.2, we saw that each Attribute of an Idea can become a Label
for a Level in a Chain. Similarly, there is an Inverse, Dual concept for Objects
and Partitions: each Object can become a Label for an Equivalence Class in
a Partition (sometimes referred to as an Antichain). We saw this in the
examples given above in Section 9.1. The only limitations are that the
Elements of the Partition Set taken as a whole must be Exhaustive, i.e., they
must account for all Objects in our Universe of Discourse, and the Elements
of the Partition Set must be Mutually Exclusive, i.e., Pairwise Disjoint.
193
WILLIAM S. VEATCH
While each Object has the potential to become its own Equivalence
Class in a Partition, it is not necessary. Rather, there is an art to selecting
Partition Sets with an appropriate or useful Level of Detail in the particular
circumstances.
194
MATH WITHOUT NUMBERS
195
WILLIAM S. VEATCH
Why do we call the labels of the Levels in a Chain Object Labels and
the labels of the Equivalence Classes in an Antichain Attribute Labels?
Since every Idea has both an Object Set and an Attribute Set associated with
it, either label would work. However, we chose Object Label for Levels in
a Chain to reflect the sequence of events when creating a Chain:
196
MATH WITHOUT NUMBERS
9.5. Using Partition Sets to Sort Objects from the World of Ideas
197
WILLIAM S. VEATCH
We can then use that Partition Set to sort the Objects in our Universe of
Discourse. See Fig. 9-5.
198
MATH WITHOUT NUMBERS
199
WILLIAM S. VEATCH
Fig. 9-6 uses a Nested Lattice Diagram to illustrate how we can create
various Partitions of a P4 Lattice.
Partitions: We can use each Object in the List Set of an Idea to create an
Equivalence Class in an Antichain / Partition.
200
MATH WITHOUT NUMBERS
201
10. PARTITION EQUATIONS: A PRACTICAL TOOL
FOR ORGANIZING IDEAS
A Partition Equation is a practical tool that we can use to organize Ideas. It
also demonstrates the power and usefulness of our new Mathematics of
Ideas, combining Chains and Partitions to Create Hierarchy Trees and
Outlines of Subjects. We start by creating a list of relevant Partitions of a
given Set of Atoms. We connect the Partitions by In representing Direct
Product followed by the Intersection Operation. By multiplying out the
Partition Equation in part, we can create Hierarchy Trees and Outlines in a
systematic way. Only the relevant Power Set Elements appear in the
Hierarchy Tree or Outline; the other Elements are still present, but are
hidden from view.
The Elements inside each Partition are joined by Set Union ( ), and
the Partitions themselves are linked together by the symbol In which
stands for Direct Product followed by Intersection ( ) in this case, so
we could write a Partition Equation as follows:
202
MATH WITHOUT NUMBERS
= Type: (A+B+C+D+E) In
Dwelling: (F+G+H) In
Mobility: (I+J+K+L)
203
WILLIAM S. VEATCH
Note that sometimes we include a label before the Partition Set, such as
Type before the following Partition Set: Type:( Mammal + Reptile +
Amphibian + Bird + Fish ).
Vertebrate PE =
Type:( Mammal + Reptile + Amphibian + Bird + Fish ) In
Dwelling:( Land Dwelling + Water Dwelling + Land/Water
Dwelling ) In
Mobility:( Walks on Two Legs + Walks on Four Legs + Slithers +
Swims )
= Type:(A+B+C+D+E) In Dwelling:(F+G+H) In
Mobility:(I+J+K+L).
204
MATH WITHOUT NUMBERS
The Attributes listed in the Cross Table in Table 10-1 are as follows:
1 Small (S)
2 Medium (M)
3 Large (L)
4 Near the Sun (N)
5 Far from the Sun (F)
6 Has a Moon (Mo)
7 No Moon (~Mo)
A Cross Table is a tool that we have borrowed from the field of Formal
Concept Analysis (FCA). See Appendix B for more information about FCA.
See [Davey and Priestley 2001] at 65 et seq., and [Carpineto and Romano 2004]
at 17 et seq., for discussion of the Planet example in FCA. (We understand
that Pluto is no longer considered a planet, but we include it anyway in the
example. Technically, Pluto is now considered a dwarf planet.)
Note that although we have nine planets, there are four pairs where there
is no distinction given the Attributes that we have chosen to examine. We
can, therefore, reduce our Set of Deemed Atoms to five Sets, a through
e. We list the relevant Attributes across the top of the Cross Table, and
the Objects down the left side. Then, we place an x in each row where an
Object has the corresponding Attribute in a particular column. The Cross
Table is very helpful in identifying patterns and determining whether or not
Partitions are Exhaustive and Mutually Exclusive.
205
WILLIAM S. VEATCH
The next step is to look for Partition Sets so that we can create an
Attribute Partition Equation. We can identify Partition Sets by looking for
two or more columns of Disjoint Elements that create an Exhaustive
Partition of the Base Set. In this example, we have columns 1, 2, and 3: Size
= ( Small + Medium + Large ); columns 4 and 5: Distance from Sun = ( Near
+ Far ); and columns 6 and 7: Moon = ( Moon + ~Moon ).
X = ( S + M + L ) In ( N + F ).
X = ( S + M + L ) In ( M + ~M ).
X = ( N + F ) In ( M + ~M ).
X = ( N + F ) In ( S + M + L ).
X = ( M + ~M ) In ( S + M + L ).
X = ( M + ~M ) In ( N + F ).
X = ( S + M + L ) In ( N + F ) = S:( N + F ) + M:( N + F ) +
L:( N + F ).
We could stop here and create Hierarchy Tree or Lattice, but if you do
so you will see that some of the branches are empty. Therefore, we add one
more step first; we substitute in the Atoms for the Equivalence Class names,
and then simplify the equations:
206
MATH WITHOUT NUMBERS
Using Size and Whether the planet has a Moon, see Fig. 10-2:
X = ( S + M + L ) In ( Mo + ~Mo )
= ( S:( Mo + ~Mo ) + M:( Mo + ~Mo ) + L:( Mo + ~Mo ) )
= abe:(bcde+a) + c:(bcde+a) + d:(bcde+a)
= abe:(be+a) + c + d.
207
WILLIAM S. VEATCH
Using Distance from the Sun and Whether the planet has a Moon,
see Fig. 10-3:
X = ( N + F ) In ( Mo + ~Mo )
= N:( Mo + ~Mo ) + F:( Mo + ~Mo )
= ab:(bcde+a) + cde:(bcde+a)
= ab:(b+a) + cde.
208
MATH WITHOUT NUMBERS
Given the three Partition Sets in our planet example, we have the following
Partition Equation with three Partition Sets:
X = ( S + M + L ) In ( N + F ) In ( M + ~M ).
X = ( S + M + L ) In ( N + F ) In ( M + ~M )
X = ( S + M + L ) In ( M + ~M ) In ( N + F )
X = ( N + F ) In ( M + ~M ) In ( S + M + L )
X = ( N + F ) In ( S + M + L ) In ( M + ~M )
X = ( M + ~M ) In ( S + M + L ) In ( N + F )
X = ( M + ~M ) In ( N + F ) In ( S + M + L ).
We will not take the time to simplify all six possible Nested Partition
209
WILLIAM S. VEATCH
Equations, but we will give three examples that build upon the examples in
the previous Section. Starting with the two Partition Set equation, we
multiply each term of second Partition Set (in each place that it shows up) by
the entire third Partition Set:
Then, starting with the simplified two Partition Set Equation, we add
the Atoms for the third Partition Set:
210
MATH WITHOUT NUMBERS
Using Size, Whether the planet has a Moon, and then Distance
from the Sun, see Fig. 10-5:
Using Distance from the Sun, Whether the planet has a Moon, and
then Size, see Fig. 10-6:
211
WILLIAM S. VEATCH
For ease of reading, we often try to choose our UD so that we can use
up to four Partition Sets, creating a Chain with up to five Levels. In this
book, we also try to limit our Partitions to five Element Partition Sets for
ease of display in the Book or on the computer screen. There is in theory,
however, no limit on the number of possible Levels in a Chain or Elements
in a Partition Set. Note, however, that we allow for a listing of 10 Attributes
for each Chain Level, and 10 Objects for each Partition Set, so even with
these practical limitations we can display up to 50 Attributes, and 50 Objects
when defining a single Idea. For most everyday purposes, this is adequate.
When programming computers for Artificial Intelligence, however, there is
no need to impose any such limitations.
212
MATH WITHOUT NUMBERS
The Attributes listed in the Cross Table in Table 10-2 are as follows:
Type:
1 Mammal
2 Reptile
3 Amphibian
4 Bird
5 Fish
Dwelling:
6 Land
7 Water
8 Both (Land and Water)
Mobility:
9 Walks on Two Legs
10 Walks on Four Legs
11 Slithers
12 Swims
Being Commutative means that the multiplication of the terms
Type, Dwelling, and Mobility can take place in any order. We could, in fact,
multiply out the terms completely, but then we would end up with 5x3x4=60
different combinations of Type, Dwelling, and Mobility. Since we have only
eight Objects in our Universe of Discourse, however, most of the entries
would be empty. A better approach, then, is to sort the Elements by one
category, such as Type, and then sort by another category, such as
Dwelling.
213
WILLIAM S. VEATCH
= (abc:(abc:(a+bc)+e:(e)+gh:(gh))+
d:(d:(d)+e:(e)+gh:(gh))+
e:(e:(e))+
f:(f:(f))+
gh:(gh:(gh)),
= (abc:(abc:(a+bc))+
d:(d:(d))+
e:(e:(e))+
f:(f:(f))+
gh:(gh:(gh))),
= (abc:(a+bc)+d+e+f+gh).
214
MATH WITHOUT NUMBERS
Vertebrate PE = Dwelling:(abcdf+e+gh) In
Mobility:(af+bce+d+gh) In Type:(abc+d+e+f+gh)
=
(abcdf:(af:(abc+d+e+f+gh)+bce:(abc+d+e+f+gh)+d:(abc+d+e+f+g
h)+gh:(abc+d+e+f+gh)) +
e:(af:(abc+d+e+f+gh)+bce:(abc+d+e+f+gh)+d:(abc+d+e+f+gh)+
gh:(abc+d+e+f+gh)) +
gh:(af:(abc+d+e+f+gh)+bce:(abc+d+e+f+gh)+d:(abc+d+e+f+gh)+g
h:(abc+d+e+f+gh)))
= (abcdf:(af:(a+f)+bc:(bc)+d:(d)) +
e:(e:(e)) +
gh:(gh:(gh)))
= (abcdf:(af:(a+f)+bc+d) + e + gh).
215
WILLIAM S. VEATCH
With practice, we can create Hierarchy Trees very quickly without going
through all of the detailed steps listed above. Our main purpose, however,
in demonstrating the steps in detail is to show that we can automate the
process, so that, for example, we could program a computer to generate
Hierarchy Trees by simply selecting the order of Partition Sets and letting the
computer do the rest of the work.
216
MATH WITHOUT NUMBERS
217
WILLIAM S. VEATCH
Vertebrate
I. Land
a. Two Legs
i. Mammal
1. Human
ii. Bird
1. Eagle
b. Four Legs
i. Dog
ii. Cat
c. Slithers
i. Land Snake
II. Water
a. Trout
b. Salmon
III. Both Land and Water
a. Frog
218
MATH WITHOUT NUMBERS
219
WILLIAM S. VEATCH
Attribute Lattice. Each Object-Idea marble will fall into the Equivalence
Class having the Attributes exhibited by that Object-Idea. It is also like
playing the game of 20 Questions, where we start with questions like Is it
an animal [vegetable] [mineral]?, followed by Is it bigger than a breadbox?,
to determine the size. The concept, in mathematical terms, is to use
Partitions that become increasingly specific. We start with a general Partition,
as we expect to see at the top of an Idea Lattice, and move to more and more
specific Partitions, with more and more Attributes, as we move down the
Lattice.
220
MATH WITHOUT NUMBERS
221
WILLIAM S. VEATCH
[Caspard, Leclerc, and Monjardet 2012]: Along with the next three
books listed below, this is one of the go-to sources of information on Finite
Ordered Sets and Lattices.
[Roman 2008]
[Schrder 2003]
[Grtzer 2003]
222
MATH WITHOUT NUMBERS
223
WILLIAM S. VEATCH
We will see that Universes of Discourse are really just Power Sets, or, in
mathematical terms, Ideals consisting of Atoms, and Filters consisting of
Coatoms. As such, we can add and multiply Universes of Discourse just
as we would add or multiply any other Power Sets. The challenge is to
determine how the Sets of Atoms in the two Universes of Discourse compare
to one another. We know, however, that there are only five possibilities:
Identical, Disjoint, POL, SuperSub, or SubSuper. What makes the analysis
potentially difficult, as we will soon see, is that sometimes an Atom in one
UD is a Set in another UD.
Object Atoms: X,
Attribute Coatoms: Y,
Power Set of Atoms: P(X),
Power Set of Coatoms: P(Y),
Power Set of Power Sets of Atoms: P(P(X)), and
Power Set of Power Sets of Coatoms: P(P(Y)).
Identical / The Same: The two UDs could have the same Atoms,
in which case the two UDs are in fact the same.
Disjoint: The Intersection of Atoms in the two UDs is the Empty
224
MATH WITHOUT NUMBERS
Set.
Partially Overlapping: The two UDs share some Atoms, but the
Sets of Atoms are not the same, and are not in a Subset-Superset
relationship.
Subset-Superset: The first UD is a Subset of the second.
Superset-Subset: The first UD is a Superset of the second.
To begin our analysis of how to combine two UDs, we start with a simple
example of adding a one-Atom UD to a three-Atom UD. See Fig. 11-1. On
the top left side, we have a three-Atom UD1 with Atoms X = { a, b, c }. Note
that when comparing UDs, we always start with the full Universe U. As a
result we have R1 which represents the remainder or residual, i.e., all of the
Ideas in the Universe other than a, b, c. On the right side, we have a one-
Atom UD2 with Atoms X = { N }. We have R2 which represents all of the
Ideas in the Universe other than N. We use a capital letter N for our single
Atom UD2, because we do not know yet how this single Atom will compare
to the Atoms in UD1; N could turn out to be a Set rather than an Atom. We
know from our study of Set Theory, however, that there are only five possible
ways in which the Atoms in UD1 and UD2 may be related: Identical, Disjoint,
POL, Subset-Superset, or SuperSet-Subset. We will look at each in turn.
225
WILLIAM S. VEATCH
At the bottom of Fig. 11-1, we see what the combined UDs look like where
the Atoms are the same, i.e., although stated as a single Element N, upon
further investigation it turned out that N = { a, b, c }, i.e., UD1 is simply a
Subdivision of UD2. We sometimes refer to UD1 as being Finer, with more
Atoms, and UD2 as being Coarser, with fewer Atoms (or Deemed Atoms).
226
MATH WITHOUT NUMBERS
227
WILLIAM S. VEATCH
In Fig. 11-3, we look at a more complicated scenario where the Atom in our
second Universe of Discourse is a Subset of the Set of Atoms in our first
Universe of Discourse. What makes this scenario more complicated is the
possibility that N in UD2 could be a Subset of a single Atom in UD1. To take
this possibility into account in Fig. 11-3, we labeled the third Atom in UD1 as
M, where M = { c, d }. (There are other possible scenarios as well. For
example, UD2 could be a subset of a portion of two or even all three Deemed
Atoms in UD1. In that case, the new combined UD could have up to six
Deemed Atoms. In any event, we focus for now on the example where the
third Atom in UD1 is M, where M = { c, d }, resulting in a new UD with
four Deemed Atoms.) Therefore, N could be equal to any one of the 14
Elements of the P4 Power Set; we exclude and { a,b,c,d }, because we are
assuming that N is a non-empty, proper Subset.
228
MATH WITHOUT NUMBERS
229
WILLIAM S. VEATCH
230
MATH WITHOUT NUMBERS
231
WILLIAM S. VEATCH
232
MATH WITHOUT NUMBERS
because any Atom can be further subdivided in theory. As a result, what may
be an Atom (or Deemed Atom, really) in UD1 may need to be broken down
into its sub-Elements before we can combine it with the Deemed Atoms in
UD2. In the case of our three Atom UD1, if we split one of the Deemed Atoms
into two parts, then we now have a total of five Atoms. See Fig. 11-6. If we
split each of the three Deemed Atoms in UD1 into two parts, then, together
with the new Atom in UD2, we would have a total of seven Atoms.
233
WILLIAM S. VEATCH
234
MATH WITHOUT NUMBERS
If the two UDs have the same Atoms, then there is no impact on the Power
Set. See Fig. 11-7.
235
WILLIAM S. VEATCH
The obvious question is: why it was not apparent from the beginning
that the UDs were the same? It may be, for example, that the UDs were in
different languages, so it was not apparent that they were the same until they
were translated.
For example, if we have UD1 = { red, green, yellow }Atoms and UD2 =
{ rouge, vert, jaune }Atoms, then we can show that the two UDs are the same.
236
MATH WITHOUT NUMBERS
If the two UDs have Disjoint Sets of Atoms, then it is easy to form the
combined Power Set, as all we have to do is form a Power Set from the Union
of Atoms. As illustrated in Fig. 11-8, each of the original UDs is preserved
within the combined Power Set.
Chains and Partitions within the original Power Sets are preserved,
although they now relate to only a portion of the whole Power Set, and would
need to be extended to be complete and exhaustive. To extend Chains and
Partitions to cover the combined Universe of Discourse, we look at the
Partition Equation, which in effect combines Chains and Partitions into a
single equation.
For example, suppose that for UD1 we have the following Partition
Equation for P3 with X = { a, b, c } = { Black Dog, White Cat, Brown Crab}:
Now, lets look at the impact of adding a fourth Disjoint Atom d, for
237
WILLIAM S. VEATCH
example:
Brown Snake, or
Silver Rock.
For each of the five Partitions, we had to ask whether our new Atom fit
within an existing Equivalence Class, or whether we need to add a new
Equivalence Class. In the cases of Name and Type of Animal2, we had
to add a new Equivalence Class.
If we add d = Silver Rock, then for the new combined UD we have the
following Partition Equation for P4 with X = { a, b, c, d } = { Black Dog,
White Cat, Brown Crab, Silver Rock }:
238
MATH WITHOUT NUMBERS
+ ~Living d ) In
Color: ( Black a + White b + Brown c + Silver d ).
Once again, for each of the five Partitions, we had to ask whether our
new Atom fit within an existing Equivalence Class, or whether we need to
add a new Equivalence Class. Since a Rock is not alive and is therefore not
an Animal, we had to add a new Equivalence Class to distinguish between
Living and Not-Living things. See Fig. 11-8 for an illustration of how adding
a new Disjoint Atom changes the Lattice interpretation of our Partition
Equation.
239
WILLIAM S. VEATCH
In many cases, if the Atoms of the second UD are a Subset of the first, then
combining the two Universes of Discourse is easy, because the Subset is
already subsumed within the Superset. The one exception is if the Atoms of
the second UD are a Subset of one or more Deemed Atoms in the first UD,
in which case we need to split one of more Atoms in the first UD. Fig. 11-9
illustrates both a simple Subset (N = Vertebrate) and a more complex
splitting of an Atom (N = Black Lab).
240
MATH WITHOUT NUMBERS
If we add N = Black Lab, then for the new combined UD we have the
following Partition Equation for P4 with X = { a, b, c, d } = { Black Lab,
Black Pug, White Cat, Brown Crab }:
241
WILLIAM S. VEATCH
Name: ( a + b + c + d ) In
Type of Animal1: ( Vertebrate abc + Invertebrate d ) In
Type of Animal2: ( Mammal abc + Crustacean d ) In
Color: ( Black ab + White c + Brown d ) In
Dwelling: ( Land abc+ Water d ).
For each of the five Partitions, we had to ask whether our new Atom fit
within an existing Equivalence Class, or whether we need to add a new
Equivalence Class. Since all we were doing was splitting an Atom from a
to ab, we did not have to change any of our Partitions; we just had to add
an additional Atom. Also, note that the length of the Chain increased from
a three Level Chain (Black Dog, Vertebrate, Animal ) to a four Level Chain
(Black Lab, Black Dog, Vertebrate, Animal).
In a sense, the results are the same as for Subset-Superset discussed above,
but in reverse, i.e., UD2 is the Superset and UD1 the Subset. We give a few
more examples, however, where a single Set is a SuperSet of our standard P3
example. Fig. 11-10 illustrates three different scenarios with a new UD2 :
242
MATH WITHOUT NUMBERS
Note that in each case, the original P3 Subset Lattice remains within the
P4 Superset Lattice. The Atoms remain unchanged, but notice how the
Labels in some cases have moved:
243
WILLIAM S. VEATCH
244
MATH WITHOUT NUMBERS
Animal:
(
Type of Animal1: ( Vertebrate ab + Invertebrate c ) In
Type of Animal2: ( Mammal ab + Crustacean c ) In
)
Color: ( Black a + White b + Brown c + Yellow d ) In
Dwelling: ( Land abd + Water c ).
First, compare the Base Sets of Atoms (or Deemed Atoms) for the
Universes of Discourse to be combined, and determine the Base Set
of Atoms for the combined Universe of Discourse. In some cases,
this may result in a larger Set of Atoms than if we simply added the
Atoms in the two Universes of Discourse, particularly if a Deemed
Atom in one UD is a Subset of, or Partially Overlapping with, a
Deemed Atom in another UD.
Second, we look at the impact of adding any new Atoms on any
Chains, Partitions, or Partition Equations. In fact, since Partition
Equations are really a combination of Chains and Partitions, we
really just need to look at the impact on Partition Equations.
While it may not be a trivial task to combine two or more UDs, it can be
245
WILLIAM S. VEATCH
done. There are a number of observations that we can make based upon the
examples given previously:
246
MATH WITHOUT NUMBERS
Set Lattice.
Once the Partition Equations have been checked and updated, they
remain valid. As a result, as Knowledge Representation structures are
mapped out and shared, over time the entire Universe of Ideas could, in
theory be mapped out for all time. The only variations would occur as new
Ideas are articulated. Communication could be improved, and fields of study
such as translation and artificial intelligence could benefit enormously.
[Sowa 2000]
[Kaburlasos 2006]
247
12. AXIOMS OF SET THEORY
One of our primary goals in the study of the Mathematics of Ideas has been
to see how far we can extend the concepts of Set Theory and related areas of
Mathematics to explain how we think, learn, and communicate. We have
seen that Set Theory explains a lot, although in the course of our studies we
have made some adjustments to traditional Set Theory, primarily to explain
Attributes in terms of Coatoms. In this Chapter, we provide a brief
introduction to traditional Set Theory, and examine how Set Theory as
applied to Ideas differs from traditional Set Theory, which is applied
primarily to numbers.
We will examine the classic Axioms of Set Theory that form the
foundation for the Mathematics of Numbers as well as our Mathematics of
Ideas. Our goal in identifying Axioms is to come up with a list of
fundamental principles from which we can derive the rest of our Mathematics
of Ideas. To qualify as a proper Axiom, ideally the Axiom would be
something that we view as self-evident, and beyond attack. Of course, we
must review our list of Axioms on a regular basis in light of new discoveries,
and update it as necessary. The Axioms form the foundation for the rest of
our Mathematics of Ideas, so if the foundation is flawed, the entire structure
could collapse.
248
MATH WITHOUT NUMBERS
The main differences between traditional Set Theory and the Mathematics of
Ideas are that in MWN, we assume the following:
(i) We assume that the Universal Set (U) of all Ideas exists, and
that U is made up of Atoms.
(ii) We assume that Atoms exist, i.e., certain Ideas that cannot be
broken down further into component parts; other Ideas are
Compounds made up of Atoms. In this view, an Atom is not a
Set, but an Atom can be an Element of a Set. Cf. [Devlin 1993]
at 1 and 7, expressing the common view that everything is a Set,
and Sets are viewed as Sets of Sets. Later we will see that by
assuming the existence of Atoms, there is no need for the Axiom
of Foundation or, stated another way, assuming that Atoms exist
arguably gets us to the same result as the Axiom of Foundation.
See infra Subchapter 12.4.
(iii) Belonging ( ) applies only to Atoms as Elements of Sets,
i.e., the left side of must be an Atom and the right side must
be a Set; we can use Subset ( ) for Sets that are Subsets of
other Sets. Therefore, the statement a a is false, because a
cannot be both an Atom and a Set; the following statement,
however, is true so long as a is an Atom: a {a}.
(iv) We treat a Set of Atoms X, the Power Set of X P(X), and the
Power Set of Power Sets P(P(X)), as separate, but related,
Domains.
(v) We treat the Physical World, the World of Ideas, and the World
of Abstract Sets as three different Worlds that are related through
Mapping relationships.
(vi) We assume that in the World of Abstract Sets, Atoms and
Compounds do not have properties other than existence and
uniqueness. Rather, properties are treated as Mappings from
the Physical World or the World of Ideas, to Elements of the
Power Set of Atoms (or Coatoms) in the World of Abstract Sets.
(The only uncertain factor is the number of Atoms required to
accommodate all Ideas in U either as Atoms or as Compounds.)
(vii) We make a simplifying assumption that the Universe of Ideas is
Finite, but we reserve the right to revisit our choice of Atoms at
any time, and increase or decrease the number of Atoms if
249
WILLIAM S. VEATCH
necessary.
Note that perhaps the most significant difference between traditional Set
Theory and MWN, is Item (vi) above regarding how we treat properties
in MWN. By treating properties as Mappings and eliminating the concept
of Elements of abstract Sets having properties, we eliminate the need for
the Axiom of Class Construction and its various related forms: Axiom of
Selection, Axiom of Subset Selection, Property Axiom, Axiom of
Abstraction, and Axiom Schema of Separation. As noted in [Potter 2009] at
291, the Axiom of Separation has long been criticized for its vagueness. By
removing the concept of properties from the realm of Abstract Sets, we
have removed the vagueness and created mathematical certainty and
precision. The challenge becomes one of determining the proper Mapping
relationships among the Physical World, the World of Ideas, and the World
of Abstract Sets. This is something that will always be subject to debate and
possibly controversy; Mathematics can help us with how to think and
communicate with precision and clarity, but Mathematics cannot tell us
what to think. Determining the proper Mapping relationships will always
be a challenge.
250
MATH WITHOUT NUMBERS
Fig. 12-1 illustrates the three Object Domains, i.e., Atoms, the Power
Set of Atoms, and the Power Set of Power Sets. The three Domains are
related in an interesting and useful way. Although the Domain of Atoms
contains only Atoms, and not Sets, we are able to create Sets using Partitions.
To establish Binary Operations among Sets, however, we must move up to
the next Dimension, i.e., the Power Set Domain. Similarly, we can create a
Partition in the Power Set Domain that creates an Ideal. To establish Binary
Operations among Ideals, however, we must move up to the next
Dimension, i.e., the Power Set of Power Sets Domain. We saw an example
of this earlier in Subchapter 7.11.2.
251
WILLIAM S. VEATCH
A Dog is a Mammal.
A Dog is a Vertebrate.
A Dog is an Animal.
A Cat is an Animal.
A Mammal is an Animal.
The difficulty we have is that even what we call Atoms are really
Deemed Atoms in the World of Abstract Sets, because in theory we could
continue to subdivide Elements ad infinitum. At first, it would appear, then,
that Dog should be viewed as a Set. We could, however, view Dog as
being a proxy for a list of Elements, but not a Set in itself. For example, per
[Quine 1981] at 185 writing about Mathematical Logic, in Quines view each
cat is an animal, but the class of cats is not. This suggests that we should use
Subset rather than Belonging as the interpretation for the is a
relationship; but we have a dilemma because in theory every Set Element is
capable of subdivision. As Pinter points out (see [Pinter 2014] at 9) almost
every set is a set of sets.
252
MATH WITHOUT NUMBERS
One way to resolve this difficulty is to assume that we have a fixed Set
of Atoms (Deemed Atoms really), and that all Ideas are either Atoms or
Compounds made up of Atoms. That way, depending upon the Domain, all
Ideas are in the Universe of Ideas that is represented by the Power Set of the
selected Atoms. If we have an infinitely subdividable Set of Atoms, then
will not work, because there are no Atoms/Elements that we can
specify. The issue that we are struggling with is really a result of the Infinite
nature of Ideas. If we assume that Ideas are Finite, i.e., that Deemed Atoms
exist and that there is a Finite number of them, then we can interpret is a
as . Therefore, a Mammal is a Vertebrate if all of the Deemed Atoms
in the Set Mammal List are also Deemed Atoms of Set Vertebrate List:
253
WILLIAM S. VEATCH
One of the recurring themes in our study of the Mathematics of Ideas is that
we must always specify the Domain in which we are working. We have rules
for converting Sets and Partitions Equation back and forth from one Domain
to another, but we must exercise care not mix calculations across Domains.
This is also true in our study of Set Theory; in the Mathematics of Ideas, we
formulate rules and axioms of Set Theory that are specific to a particular
Domain. As illustrated in Fig. 12-3, in our Mathematics of Ideas we find it
helpful to assume that there are three Worlds: the Physical World, the World
of Ideas, and the World of Abstract Sets. Within the World of Abstract Sets,
there are six related Domains: Atoms (X), Coatoms (Y), Power Set of Atoms
(P(X)), Power Set of Coatoms (P(Y)), Power Set of Power Sets of Atoms
(P(P(X))), and Power Set of Power Sets of Coatoms (P(P(Y))).
254
MATH WITHOUT NUMBERS
255
WILLIAM S. VEATCH
If the Domain is the Power Set of Atoms, then the Elements of our
Domain are all Subsets of the Base Set of Atoms, including the Atoms
themselves: P(X) = ( , a, b, c, ab, ac, bc, abc ). Now, we can define a Binary
Operation or Law of Composition that is Closed on the Domain; a b = ab
is well-defined within our Power Set Domain, because ab is an Element of
the Domain.
When we speak of Axioms of Set Theory, of which world are speaking: the
Physical World, the World of Ideas, or the World of Abstract Sets? We start
by looking at Axioms that apply in the World of Abstract Sets, and then
examine to what extent we can apply those Axioms to either the Physical
World or the World of Ideas. In this book we provide a brief overview; later
volumes in the MWN series will examine the Axioms of Set Theory in more
detail.
There are many different statements of the Axioms of Set Theory, but we
choose to start with the Axioms as articulated by [Pinter 2014], which are a
slightly modified form of von Neumanns system of Axioms (see [Pinter 2014]
at 13), with further refinement based upon [Stewart Tall 1977] at 254 et seq.,
[Abbott 1969] at 8 et seq., [Halmos 1960] at 1 et seq., [Tiles 1989] at 118 et seq.,
[Rodgers 2000] at 277 et seq., and [Bourbaki 1968]:
256
MATH WITHOUT NUMBERS
2014] See also, the Sum Set Axiom in [Tiles 1989] at 125.
o A7. Power Set. If X is a Set, then the Power Set of X, P(X),
is a Set. [Pinter 2014]
257
WILLIAM S. VEATCH
Now, we outline the framework for MWN, and then in the Tables in the
Subchapters below we show where the Axioms of Set Theory come into play:
258
MATH WITHOUT NUMBERS
II. Domain: Power Set of Atoms P(X); Power Set of Coatoms P(Y)
A. The Universal Set and the Empty Set:
The Empty Set exists.
The Empty Set has no Elements.
P(U) = ( , U ); P()=( ).
B. Subdivision and Consolidation: Given a Set X of
Deemed Atoms of Dimension 1, we can create a Power Set
P(X) of Dimension 2. Subdivision and Consolidation
occur with reference to the Atoms in the Base Set X.
C. Set Operations: We define Set Operations or Laws of
Composition (i.e., Union, Symmetric Difference,
Intersection, Set Subtraction, and Complement) on the
Elements of our Power Set Domain. By defining Set
Operations on the Elements of the Power Set, we can create
mathematical structures such as a Group, Boolean Algebra,
Boolean Ring, Boolean Lattice, and Topology.
D. Coatoms: Defining a Power Set of Atoms necessarily
results in a Dual Inverse Power Set of Coatoms.
259
WILLIAM S. VEATCH
III. Domain: Power Set of Power Sets of Atoms P(P(X)); Power Set
of Coatoms P(P(Y))
A. The Universal Set and the Empty Set:
P(P(U)) = P( , U ) = ( , { , U} ).
P(P()) =( ).
Note that repeated application of the Power Set
Operation, as we define it in MWN, does not
change the number of Elements.
B. Subdivision and Consolidation: Given a Set X of
Deemed Atoms of Dimension 1, we can create a Power Set
P(X) of Dimension 2; and a Power Set of Power Sets
P(P(X) of Dimension 3.
C. Set Operations: We define Set Operations and Laws of
Composition (i.e., Union, Symmetric Difference,
Intersection, Set Subtraction, and Complement) on the
Elements of our Power Set of Power Sets Domain. By
defining Set Operations on the Elements of the Power Set
of Power Sets, we can create mathematical structures such
as a Group, Boolean Algebra, Boolean Ring, Boolean
Lattice, and Topology.
D. Coatoms: Defining a Power Set of Power Sets of Atoms
(Ideals) necessarily results in a Dual Inverse Power Set
of Power Sets of Coatoms (Filters).
260
MATH WITHOUT NUMBERS
We start with the assumption that the Universal Set exists. See Table 12-1.
Once we have established the that Universal Set exists, we need to Subdivide
the Universal Set in order to create a number of Atoms that we can use to
generate a structure that matches what we observe in the Physical World or
imagine in the World of Ideas. Since Atoms in the World of Abstract Sets
have no properties or characteristics other than existence and uniqueness, the
only thing that matters at this point is the number of Atoms that we create
by Subdivision. Of course, once we create a Mapping to the Physical World
or World of Ideas, then we have put a limitation on our use of that particular
Atom, if we want future Mappings to be consistent with earlier ones. For
261
WILLIAM S. VEATCH
=0,
(0)={ }=1,
262
MATH WITHOUT NUMBERS
(1)={ ,{}}=2,
(2)={ , { }, {, {}} }=3,
X = ( , a, ab, abc, ).
What we see is that we can use the Axiom of Infinity to generate a series
of Atoms. In each case, i.e., numbers or Atoms, we generate an Infinite
number of Objects that we can use to generate Sets. In summary, although
we prefer to use the concept of Subdivision of the Universal Set in MWN
in order to generate potentially Infinite Sets, we could also use the more
traditional application of Axiom of Infinity and the Successor Set to generate
an Infinite number of Objects.
263
WILLIAM S. VEATCH
12.5.4. Coatoms
As always, we start with the assumption that the Universal Set of all Ideas
exists. Next, suppose we postulate the existence of an Atom a. By
necessity, we have actually postulated the existence of two Atoms: a and
~a. The reason for this, assuming that U exists, is that the only way to
create a is to Subdivide U into two parts, a and ~a. We refer to ~a
(read not a) as a Coatom relative to a. In order to distinguish Atoms
from Coatoms more clearly, we relabel ~a as 1. If we subdivide the
Universal Set further, we label ~b as 2, ~c as 3, etc. See Fig. 12-4.
264
MATH WITHOUT NUMBERS
265
WILLIAM S. VEATCH
12.6.1. The Universal Set and the Empty Set in the Power
Set Domain
We start with the assumption that the Universal Set and the Empty Set exist.
The Power Set Operation results in 2n Elements, including the Empty Set
(). Therefore, we need to assume that the Empty Set exists. See Table 12-
5.
In the Power Set Domain, the Universal Set and the Empty Set are duals
of one another, so by assuming the existence of one, we are, arguably,
assuming the existence of the other. Although we assume the existence of
the Universal Set and the Empty Set in the World of Abstract Sets, it is
difficult to truly understand the concepts of infinity and nothingness in the
Physical World. In any event, by starting with the concepts U and ,
we are essentially starting with the concepts of 1 and 0, which are
essential in Boolean Lattice theory, as the top or Supremum of the
Lattice is referred to as 1; and the bottom or Infimum of the Lattice
is referred to as 0. Table 12-6 illustrates some of the properties and
relationships of the Empty Set.
266
MATH WITHOUT NUMBERS
267
WILLIAM S. VEATCH
In MWN, we view the Power Set (formed from a Base Set of Atoms) as
a separate Domain from regular Sets of Atoms (i.e., the Base Set), and in fact
there is a one-to-one Mapping from Partitions of regular Sets to Power Sets,
which we refer to as a Power Set Expansion or Power Set Contraction. This
Mapping relationship is extremely important, because if we are performing
calculations on Power Sets (e.g., Addition, Multiplication, etc.), it is much
268
MATH WITHOUT NUMBERS
easier to perform a Power Set Contraction (i.e., the inverse of a Power Set
Expansion) and then perform the calculations on the Sets of Atoms. When
the calculations are complete, we perform a Power Set Expansion to return
to Power Sets. In this way, we can simplify greatly, working with Power Sets,
which have the advantage of representing all Ideas in the Universe of Ideas,
whether Atomic or Compound.
269
WILLIAM S. VEATCH
270
MATH WITHOUT NUMBERS
In MWN, we show that we can map Attributes to the inverse dual Set of
Coatoms. The practical advantage is that it explains the distinction between Objects
and Attributes that we use in practice, and shows the inheritance of Attributes.
Therefore, whereas in Set Theory we talk of one Set, in MWN we always speak in
terms of dual Sets Atoms and Coatoms, and their related Power Sets.
Note that all of the rules and Axioms relating to Sets apply both to Sets
of Atoms and Sets of Coatoms.
271
WILLIAM S. VEATCH
Applying the Power Set Operation a second time to a Power Set changes
each Element to a Power Set. For example, (a) becomes (, a ); (ab)
becomes (, a, b, ab). Note, however, that as we define the Power Set
Operation in MWN, applying it a second time does not increase the number
of Elements in the Domain; i.e., P(X) and P(P(X)) both have 2n elements,
where n is the number of Elements in the Base Set X.
12.7.1. The Universal Set and the Empty Set in the P(P(X))
Domain
Table 12-10 illustrates the Universal Set and the Empty Set in the P(P(X))
Domain. The key point here is the the number of Elements stays the same
when we move from the P(X) to the P(P(X)) Domain.
272
MATH WITHOUT NUMBERS
As with the Power Set Domain, the Power Set of Power Sets Domain of
Ideals (or Downsets in Lattice Theory terminology) has a dual Power Set. In
the P(P(X)) Domain, we refer to the Dual Power Set as a Power Set of Filters
(or Upsets in Lattice Theory terminology).
By applying the Power Set Expansion Operation, or its Inverse, the Power
Set Contraction Operation, we can convert from any one of our six principal
Domains to any other principal Domain. The key is to keep track of which
Domain we are working in, as it is important not to try to perform Operations
on a mix of Elements from different Domains.
As a practical matter, one of the most useful features of the Power Set
Expansion and Contraction Operations is that we can apply these Operations
not only to a Set of Atoms, but also to a Nested Partition Equation of Atoms.
273
WILLIAM S. VEATCH
By creating a Mapping from the World of Abstract Sets to either the Physical
World or the World of Ideas, we can avoid the need for the Axiom of Class
Construction. Stated another way, in the World of Abstract Sets the concept
of a property of an Idea is represented by an Element in the Power Set of
Coatoms. As we discussed in Subchapter 2.4, each Atom in the Universe
of Ideas either has a given property, or does not have such property.
Therefore, since all possible subsets of Atoms in the Universe are represented
in the Power Set of Atoms/Coatoms, every property must correspond to
some Element in the Power Set. We map properties, which we refer to as
Attributes, to the Power Set of Coatoms (rather than Atoms), because the
Power Set of Coatoms allows us to track the Inheritance of Attributes. The
exercise of Class Construction becomes one of creating a Map from the
Physical World or World of Ideas to the World of Abstract Sets. Table 12-
11 summarizes the principles of the Mapping from the Physical World or
World of Ideas, to the World of Abstract Sets.
274
MATH WITHOUT NUMBERS
275
WILLIAM S. VEATCH
In the World of Ideas, each Idea is like a two-sided coin where one side is a
List Set of Objects which are examples of the Ideas; and the other side is a
Test Set of Attributes which are elements of the test for classifying an Idea.
What is important to note is that Objects and Attributes are related to one
another in an inverse fashion. In the World of Abstract Sets, we have Atoms
and Coatoms, which are also related to one another in an inverse fashion. It
is this similarity of Objects/Attributes and Atoms/Coatoms, and the
fact that in theory we can create a one-to-one mapping from
Objects/Attributes to Atoms/Coatoms, that allows us to define Objects
as Atoms or Compounds of Atoms (and Attributes as Coatoms or
Compounds of Coatoms) in the World of Abstract Sets.
In the study of Set Theory, it often is noted that we can form a Set by
grouping together Elements that share a common property. See e.g.,
[Hrbacek and Jech 1999] at 3. We take a different view in our study of MWN
by stating that Atoms (or Compounds of Atoms) in the World of Abstract
Sets do not have inherent properties, other than existence and uniqueness.
In the World of Abstract Sets, a property, which we refer to in MWN as
276
MATH WITHOUT NUMBERS
We avoid Russells paradox in MWN by: (i) assuming that our Universe
has a Finite number of Atoms (although the exact number can fluctuate), and
(ii) not allowing Atoms to have properties other than Existence and
Uniqueness, which in turn lead to Identifiability. When speaking of a
property of an Object, in MWN we interpret this to mean a Mapping from
an Idea in the World of Ideas to one of 2 n-m Elements of the Power Set of
Coatoms (where n is the number of Atoms in the Universe, and m is the
number of Atoms in the Atom or Compound in question). We also need to
state at all times, the Domain in which we are working. We interpret the
Belonging Relation a X to mean that an Atom a is a member of a Set
X.
277
WILLIAM S. VEATCH
Lets test this out with Russells Paradox: S = {x| x x}. Let x = S;
either S S or S S. Under the rules that we have established for MWN,
however, in the expression S S, the S on the left must be an Atom and
the S on the right must be a Set. Therefore, since S is a Set, neither the
expression S S nor the expression S S has any meaning, since S
cannot be both Set and an Atom.
In the Domain of Atoms, clearly there are only Atoms in the Domain,
so each Element must be an Atom. Table 12-13 provides some examples of
statements that are True in the Domain of Atoms.
278
MATH WITHOUT NUMBERS
Table 12-14 provides some examples of statements that are True in the
Power Set Domain.
279
WILLIAM S. VEATCH
Table 12-15 provides some examples of statements that are True in the
Power Set of Power Sets Domain.
280
MATH WITHOUT NUMBERS
281
WILLIAM S. VEATCH
Note that when we use numbers to describe the number of Atoms (or
Coatoms) in a Level of a Power Set, we are not using numbers as Attributes.
This is particularly clear when you notice that the number of Atoms in a Level
is not inherited by lower Levels, as would be the case with Attributes. This
is highlighted by the classic problem of the twelve Apostles. Whereas we can
say that each Apostle is pious, we cannot say that each Apostle is twelve.
Twelve is a property of the class of Apostles, but it is not an Attribute
inherited by each Apostle. See [Quine 1981] at 237. We know that there were
twelve Apostles, i.e., disciples of Christ. The number twelve might at first
appear to be an Attribute of the Idea Apostle, since there were twelve of
them. The problem, however, is that we know Attributes are inherited by
each Object in the Set. This means, therefore, that each Apostle, e.g., John,
would inherit the Attribute twelve, which makes no sense. In this example,
the number twelve reflects the number of Objects in the Set, not an
282
MATH WITHOUT NUMBERS
In the previous Section 12.12, we saw that we can interpret the Natural
Numbers as the number of Atoms in each Set at a Level of a Power Set,
where the number increases by 1 as we move up the Levels in a Power Set.
Can a number also be an Attribute? For example, as illustrated in Table
12-16 for a P5 Power Set with five Atoms, we can envision a Chain of Sets as
follows: sets with at least four Objects, sets with at least three Objects,
sets with at least two Objects,
283
WILLIAM S. VEATCH
Also, note that the sets beginning with 0=, 1={}, and proceeding
thereafter with the set of what comes before are actually sets of Attributes,
and not sets of Objects. Therefore, the Natural Numbers as we normally
think of them are actually Attributes rather than Objects. This makes sense,
as the Attribute is the Partition, and the Objects are the examples of sets that
have a certain number of Objects in them.
For those familiar with classical Set Theory, Column D in Table 12-
16 will be recognized as the classic way of generating the Natural Numbers
by starting with the Empty Set, and then using the Successor Function
( () ) first articulated by John von Neumann. See [Stewart and Tall 1977]
at 160-162. We create a sequence as follows: Starting with the Empty Set
, we assume that the Successor Set containing the Empty Set exists
{}; then we create the Successor of that Set consisting of the Set of the
previous Sets {{,{ }}; etc. We obtain the sequence set forth in Table
12-17.
284
MATH WITHOUT NUMBERS
An Idea as a Set, Power Set, and Power Set of Power Sets: An Idea is
represented by a Set of Atoms (Coatoms) in the Domain of Atoms
(Coatoms) (Dimension 1); a Power Set in the Power Set Domain (Dimension
2); and a Power Set of Power Sets in the Power Set of Power Set Domain
(Dimension 3).
[Abbott 1969]: This is one of the most clearly written books that covers a
wide range of topics including the Axioms of Set Theory, Lattices, and
Boolean Algebras. At page 11 is a very clear explanation of how to use the
Axiom of Abstraction to avoid Russells Paradox. If you had to pick one
book to read for more background on the mathematics underlying the
Mathematics of Ideas, this would be a strong candidate.
[Halmos 1960],
[Stoll 1963],
[Bourbaki 1968],
[Suppes 1972],
[Enderton 1977],
[Stewart and Tall 1977],
[Levy 1979],
[Tiles 1989],
[Devlin 1993],
[Hrbacek and Jech 1999],
[Rodgers 2000],
285
WILLIAM S. VEATCH
286
13. CONCLUSION
Now that we have completed Math Without Numbers Volume 1
Foundations, we take a moment to reflect upon our original goals and
objectives, whether we succeeded in meeting those goals and objectives, and
where to go from here.
To build upon the writings of the last 2,000 years, in order to develop
a Mathematics of Ideas based upon Set Theory.
More specifically:
o To analyze Ideas in terms of Sets.
o To develop concepts of addition and multiplication
that are meaningful in the context of Ideas rather than
numbers.
o To see how far we can extend concepts of Group Theory,
Boolean Algebras, Ring Theory, Lattice Theory, and
Topology to Ideas as opposed to numbers.
To explain the historical distinction in Philosophy and Logic
between Extension and Intension, which in MWN terminology
are Objects and Attributes, respectively.
To develop practical tools that everyone can use to analyze Ideas
and improve clarity of thinking and communication, even for those
who do not have a background in higher mathematics.
To apply the tools that we develop to the fields of Logic,
Argumentation, and Debate.
To demonstrate that it is possible to create a Knowledge
Representation Map of the Universe of Ideas.
To answer the question: Why is it important to study the
Mathematics of Ideas?
To inspire others to continue work in this field.
287
WILLIAM S. VEATCH
If the reader has followed along with us from the beginning, she or he is
probably now thinking about the world in a different way. Every Idea is now
either an Atom or a Compound. Related Ideas form Chains, with Ideas lower
in the Chain inheriting Attributes (i.e., properties and characteristics) of Ideas
higher in the Chain. Dictionary definitions are recognized as lists of
Attributes, where each Attribute has the potential to be a new Level in a
Chain. Compound Ideas break down into their component Atoms or
Deemed Atoms, by forming Partitions where the elements of the Partition
are Mutually Exclusive.
We learned that an Idea is a Set, but not just one Set. Rather, an Idea is
made of up two Sets, like two sides of a coin: a Set of Objects and a Set of
Attributes. We also learned that each Idea-Set can be viewed in one
dimension (Atoms and Coatoms), two dimensions (Power Sets), or three
dimensions (Power Sets of Power Sets). We learned about Duality and how
Objects and Attributes (and their related Power Sets) are Inverse Duals of
one another.
288
MATH WITHOUT NUMBERS
over the last 100 years with respect to numbers, but are just beginning to
explore them with respect to Ideas. Now that we have established that an
Idea is represented by a Power Set, all of the knowledge and understanding
of these structures applies equally to both numbers and Ideas.
289
WILLIAM S. VEATCH
For those ready to continue the journey, Volume 2 will explore Critical
Thinking and the Logic of Lattices. In particular, we will demonstrate how
we can build a system of Logic based on Set Theory, and that there is a Logic
inherent in a Knowledge Representation Structure.
After reading this Book, the benefits of applying Set Theory to analyze
the World of Ideas should be self-evident and clear. In particular, in the field
of education we can use the tools we have developed to outline subjects and
teach new concepts to students in a clear and precise manner. Admittedly,
the mathematics in Math Without Numbers Volume 1 is too complex for
some readers, but it is necessary to establish a firm foundation. Math
Without Numbers Volumes 2 and 3 will be more interesting to those who
290
MATH WITHOUT NUMBERS
Why study the Mathematics of Ideas? For some, the answer is that it is
inherently interesting, and it serves our need to classify and understand the
knowledge of the World in which we live. For others, it is simply a practical
tool that we can use to communicate more clearly, and to answer the
question: why cant we have the same level of certainly and precision with
Ideas that we have with numbers? MWN opens up every area of study to
new analysis using MWN techniques. Hopefully, the reader has experienced
some of the excitement experienced by the author in attempting to link the
World of Mathematics to the World of Ideas.
The real test as to whether or not we have succeeded in our goals, will
be if others are inspired to continue and expand upon the work started here.
Hopefully, the excitement will be contagious, and rekindle interest in
Classical Logic, as well as spark a new interest in the Mathematics of Ideas.
291
WILLIAM S. VEATCH
APPENDIX A
DEFINITION OF IDEA
In this Appendix A, we summarize how the definition of Idea as evolved
over the course of the Chapters.
Chapter
1 Overview An Idea is any thought that can be conceived of in the mind.
Objects in the Object Set (or List Set) are examples of the Idea (e.g.,
a Dog is a Mammal).
Power Set: The Power Set of Atoms represents all Atoms and all
possible Compound Ideas that we can form from the Set of Atoms.
Dually, the Power Set of Coatoms represents all Coatoms and all
possible Compound Ideas that we can form from the Set of
Coatoms.
292
MATH WITHOUT NUMBERS
293
WILLIAM S. VEATCH
Any two Sets within a specified Attribute Domain are related to each
other in one of five ways:
Identical,
Disjoint,
Subset-Superset,
Superset-Subset, or
Partially Overlapping.
294
MATH WITHOUT NUMBERS
We can use the Power Set Operation to transform a Set of Idea Atoms
to a Power Set, or a Power Set of Power Sets.
8 Chains: We can use each Attribute in the Test Set of an Idea to create
Chains a Level in a Chain.
9 Partitions: We can use each Object in the List Set of an Idea to create
Antichains an Equivalence Class in an Antichain / Partition.
or
Partitions
Level of Detail: We can create Antichains of varying Levels of Detail
from Coarse to Fine, by selecting fewer or more Objects to use as
Equivalence Classes in the Antichain. If an Idea has m Objects,
then the applicable Antichain can have from 1 to m Equivalence
Classes.
295
WILLIAM S. VEATCH
296
MATH WITHOUT NUMBERS
297
APPENDIX B
What all of these areas of mathematical study have in common, is that the
Power Set plays a special role.
298
MATH WITHOUT NUMBERS
Our goal in this Chapter is not to provide a lot of detail about any of these
areas of Mathematics, but rather to show how these different areas of
Mathematics relate to the Mathematics of Ideas. Once we establish that a
structure of Ideas forms a Group or Ring etc., we leave it to the interested
reader to seek out more information in the references listed at the end of this
Chapter.
Reflexive: aRa;
Symmetric: If aRb, then bRa; and
Transitive: If aRb and bRc, then aRc.
299
WILLIAM S. VEATCH
Note that the Mappings in an Equivalence Relation are not unique. For
example, in Fig. B-1, both aRb and aRc are True statements. We sometimes
use the notation [a] to denote the Equivalence Class containing the
Element a. In the example given in Fig. B-1, [a]=[b]=[c].
300
MATH WITHOUT NUMBERS
In the Power Set of Power Sets Domain (Dimension 3), as in the Power
Set Domain, we define Binary Operations or Laws of Composition, including
Union, Symmetric Difference, and Intersection. One way to view such a
Binary Operation/Law of Composition is as a Mapping from two Elements
in the Domain to a third Element in the same Domain: P(P(X)) x P(P(X))
P(P(X)). Note that for the Binary Operation to be Closed, the result of
the Operation must appear in the same Domain. Union, Symmetric
Difference, and Intersection are all Closed Operation in the Power Set of
Power Sets Domain.
1.1. Notation
301
WILLIAM S. VEATCH
302
MATH WITHOUT NUMBERS
A Group has one Binary Operation, an Identity Element, and each Element
in the Domain has an Inverse. The generic definition of Group is as
follows:
303
WILLIAM S. VEATCH
A Group G is a Mapping : G G G
In the context of a Power Set, there is one Group based upon Addition, and
one Semigroup based upon Multiplication.
As with the Power Set Domain, in the context of a Power Set of Power
Sets, P(P(X)), there is one Group based upon Addition, and one Semigroup
based upon Multiplication.
The Groups that we can form that are relevant to MWN include the
following:
3. Boolean Algebra
305
WILLIAM S. VEATCH
306
MATH WITHOUT NUMBERS
What makes the Boolean Algebra particularly usesful is that we do not need
to have an Additive Inverse. As mentioned earlier, however, we can convert
any Boolean Algebra to a Boolean Ring if we need to, by using Symmetric
Difference (instead of Union) for Addition.
4. Ring Theory
We will look at three types of Rings: a Generic Ring, a Ring in the Power
Set Domain, and a Ring in the Power Set of Power Sets Domain.
307
WILLIAM S. VEATCH
A Ring R is a Mapping : G G G
In the context of a Power Set, there is a Ring comprised of one Group based
upon Addition, and one Semigroup based upon Multiplication.
308
MATH WITHOUT NUMBERS
See [Abbott 1969] at 178 and 185. Cf. [Burton 1970] at 204 et seq.,
discussing direct sums of Rings.
As with the Power Set Domain, in the context of a Power Set of Power
Sets, P(P(X)), there is a Ring comprised of one Group based upon Addition,
and one Semigroup based upon Multiplication.
Definition: P(P(X)) Ring: P(P(X)); , , , X , where:
Adding and Multiplying Power Sets is where the action is, for those who
love math. The challenge when trying to apply mathematics to Ideas, is to see
how far we can go to make the rules of Algebra apply to abstract Ideas. In
MWN, we look at three different Sets relating to Ideas, along with certain
Operations on those Sets, each of which constitutes an Algebraic structure:
Ideas as Sets,
Propositions (covered in MWN Volume 2), and
Power Sets of Ideas.
309
WILLIAM S. VEATCH
5. Lattice Theory
Throughout this book, we have made extensive use of Lattice diagrams, often
referred to as Hasse Diagrams. Lattice diagrams help us to visualize Chains,
AntiChains (or Partitions), and Power Sets. Lattice Theory is a vast topic
covering a wide variety of Lattice types. Our focus, however, will be limited
to Boolean Lattices, as well as Chains and Antichains, since we have
demonstrated earlier (see Subchapter 7.12) that a Boolean Lattice can be
viewed as a sum of Chains, or a sum of Antichains.
While there are many different types of Lattices, as mentioned above, our
focus is on Boolean Lattices, along with their component parts: Chains and
Antichains (or Partitions). In fact, a Boolean Lattice is equivalent to a
Boolean Algebra, a Boolean Ring, and a Discrete Topology.
310
MATH WITHOUT NUMBERS
A Boolean Topology is a Subset of the Power Set P(X), such that the chosen
Elements, referred to as Open Sets are closed under Union and finite
Intersection. For our purposes in the Mathematics of Ideas, we focus
primarily on the Topology formed by the entire Power Set, referred to as the
Discrete Topology.
311
WILLIAM S. VEATCH
See also, [Lipschutz 2012] at 66; [Dugundji 1966] at 62-63; and [Eves 1990]
at 234. A Boolean Space is a Compact, Totally Disconnected, Hausdorff
space. See, [Abbott 1969] at 204 and 268.
The following is a list of all Topologies on a Base Set with two Elements,
X = { a, b }:
{ , X } = { , ab }
{ , a, X } = { , a, ab }
{ , b, X } = { , b, ab }
{ , a, b, X } = { , a, b, ab }
Let X = { abcd }, and T = {, a, b, c, d, ab, ac, ad, bc, bd, cd, abc, bcd, cda,
dab, X=abcd }. Then, T is a Topology on X. |T| = 16.
312
MATH WITHOUT NUMBERS
Ganter and Rudolf Wille, in the seminal book [Ganter and Wille 1999]:
Formal Concept Analysis Mathematical Foundations. FCA is much like MWN,
but starting from a different perspective. FCA focuses on analyzing data
through the use of Complete Lattices, where MWN focuses more on Power
Sets and the philosophical foundations of the Mathematics of Ideas.
313
WILLIAM S. VEATCH
314
MATH WITHOUT NUMBERS
Both FCA and MWN analyze Ideas, but from a different perspective. FCA
uses Complete Lattices to analyze data, whereas MWN focuses primarily on
Boolean Lattices. FCA and MWN are complementary, not competing, ways
of analyzing the same subject. In a later Volume in the MWN series, we will
examine the similarities and differences between FCA and MWN in more
detail.
315
WILLIAM S. VEATCH
G is a Set of Objects.
M is a Set of Attributes.
I is a relation between G and M.
We write gIm or (g,m) I and read it as the object g has the attribute
m. Note that I is a subset of the Direct Product of G and M, i.e., I GxM.
See, [Carpineto and Romano 2004] at 10.
Definition: A :={m M|gIm for all g A}, which is the set of Attributes
common to the Objects in A.
Definition: B :={g G|gIm for all m B}, which is the set of Objects
which have all Attributes in B.
An Idea is represented by Dual Power Sets of Atoms and Coatoms, each with
Set Operations of Addition and Multiplication, based upon Union (or
Symmetric Difference in the case of a Ring) and Intersection, respectively.
Each Power Set, and therefore each Idea, constitutes:
316
MATH WITHOUT NUMBERS
An Additive Group,
A Multiplicative Subgroup,
A Boolean Algebra,
A Boolean Ring,
A Boolean Lattice, and
A Boolean Topology.
Overview
[Abbott 1969]: This is a great book to start with for an overview of Lattices
and Boolean Algebras.
See also, [Pinter 1990] at 119 et seq. for a discussion of Partitions and
Equivalence Relations.
For a discussion of Power Sets as Groups under Addition, see [Pinter 1990]
at 30-31.
Group Theory
See generally:
[Wallace 1998],
[Pinter 1990], and
[Clark 1984].
317
WILLIAM S. VEATCH
Boolean Algebras
See generally:
Ring Theory
See generally:
[Wallace 1998]
[Pinter 1990]
[Clark 1984]
Lattice Theory
See generally:
Ideal Theory
See generally:
[Northcott 1968]
Topology
318
MATH WITHOUT NUMBERS
See generally:
[Willard 1970]
[Abbott 1969]
[Dugundji 1966]
See generally:
319
Bibliography
The year listed is the year of the latest revision by the author, but not
necessarily the latest printing if no revisions were made. That way, the reader
can get a sense of the historical perspective of the Book or article. (Note that
the labels in the Category column form a valid Partition of the Book Titles!)
320
MATH WITHOUT NUMBERS
321
WILLIAM S. VEATCH
322
MATH WITHOUT NUMBERS
323
WILLIAM S. VEATCH
324
MATH WITHOUT NUMBERS
325
WILLIAM S. VEATCH
[Pinter 2014] Pinter, Charles C., A Book of Set Theory, Set Theory
Mineola, New York, Dover 2014.
326
MATH WITHOUT NUMBERS
327
WILLIAM S. VEATCH
[Stoll 1963] Stoll, R..R., Set Theory and Logic, New Set Theory
York, Dover 1963.
328
MATH WITHOUT NUMBERS
329
WILLIAM S. VEATCH
Index
A G
Absolute Complement, 85 Galois Theory, 121
Antichain, 195 Group, 303
Atom, 9
Attribute, 10
Attribute Signature, 177
Axiom, 248
B H
Base Set, 130 Hasse Diagram, 310
Binomial Theorem,127 Hierarchy Tree, 207
Boolean Algebra, 131
Boolean Ring, 132
C I
Chain, 169 Ideal, 132
Classical Logic, 16 Idea Signature, 41, 111, 113
Coatom, 9, 88 Infinite, 62
Commutative Ring, 308 Inheritance, 40
Complement, 37, 84 Intension, 10
Compound Idea, 9 Intersection, 81, 102
Cover, 84 Is a Relation, 252
Cover Plus a Difference, 45
D L
Direct Product, 129 Lattice, 73
Disjoint, 78, 94 List Set, 24
Distributive Property, 85
Domain, 46, 254, 261, 266, 272
Down Set, 144
Duality, 110, 116
E M
Equivalence Class, 29, 32 Mutually Exclusive, 26
Equivalence Relation, 22, 113 MWN, i
Euler Diagram, 15
Exhaustive, 190
Extension, 10
Extent, 21
F N
Filter, 108, 132 Natural numbers, 262
Finite, 62 Nested Lattice, 186, 200
Nested Partition Equation, 87, 154
330
MATH WITHOUT NUMBERS
O
Object, 10
Order, 73
Outline, 219
P
Pairwise Disjoint,192
Paradoxes,
Russells, 277
Partition, 190
Partition Equation, 153, 202
Power Set, 9, 122
Power Set Contraction, 50, 151, 268
Power Set Expansion, 50, 151, 268
Proposition, 7, 11
R
Relative Complement, 85
Ring, 308
S
Set, 54 et seq.
Simplified Partition Equation, 290
Substitution Principle, 157
Successor Set, 258, 262
Sum Decomposition, 139
Syllogism, 8, 11, 16
Symmetric Difference, 83, 103
T
Test Set, 27
Topology, 311
U
Union, 81, 102
Up-Set, 108, 144
V
von Neumann, 256, 284
331
ABOUT THE AUTHOR
332