**Understanding Sets.**

**Sets** are fictitious
selective containers.

By fictitious it is meant something that is grasped by human
imagery,

it doesn't entail the non existence of those matters in a
manner that

is separate from human existence.

A selective container is a container that possesses a rule that
determines

allowance of entry of objects into it; so a container that
doesn't allow any

object to enter into it is a selective container and this is
the empty set, on

the other hand a container that allows every object to enter
into it is also

a selective container and that is the universal set, between
those are containers

that allow some objects to enter into them and doesn't allow
others from

entering into them, those are said to have a preferential selection
rule.

By contrast if we imagine a container the doesn't have such
a rule, for

example a container that may sometimes allow an object to
enter into it

while other times it may not, those kinds of containers are
examples of

containers that are not sets.

Allowance of entrance shouldn't be confused with ability of
entrance;

rather allowance of entrance is to be understood as a kind of
invitation for

entry, so whether the allowed (invited) object can enter the
container or not

this doesn't affect the status of allowance of
it! so a member (an element)

of a set is to be imagined as an object allowed by that
fictitious container

to enter it even if it cannot actually enter that container
so for example

we can understand that x is a member of x to mean that the
fictitious

container x allows (gives permission to or invites) x to
enter it despite

whether x can actually enter itself or not. This is generally
similar to the

situation when one is invited to a party, so even if he
actually cannot attend

the party still he is an invitee. Also we can understand that
x is an element

of y and y is an element of x to mean that x allows y to
enter it and also y

allows x to enter it despite the actual ability of entrance
of those.

In general a set {x|phi} is to be imagined as a fictitious
container that

allows every phi object to enter into it and that do not
allow any non

phi object to enter into it. Any set {x|phi} is said to be a
*definable* set

because the selection rule of it can be defined as
fulfillment of property

phi; "phi" here is named as a "predicate", so
{x|phi} is a set defined after

the predicate phi, or sometimes it is called a
*constructible* set, i.e. a set

that can be constructed after predicate phi.

However it is not always the case that the selection rule of
a container can

be described in the above way, so containers that have a
selection rule

that is not describable after a predicate are called
*indefinable sets* or

*non constructible sets*, an example of that is a *Choice set*,
for example

suppose that we have sticks belonging to Mr. Simpson and
sticks belonging

to Mr. John, now suppose each has three sticks, now suppose
Mr. Edwards

is to choose one stick from Mr. John's sticks and one stick
from Mr. Simpson's

sticks, now suppose all those sticks look exactly alike, i.e.
there is no

distinguishing feature that allows us to discriminate one
stick from the

other in both groups, now it is only Mr. Edwards's choice
that will

determine which stick is to be taken from each group and then
put them

into a selective container, of course the selection rule is
that of

Mr. Edwards's choice but this rule itself is not describable since
there is

no distinguishing feature between those sticks, so the
container into

which those chosen sticks are allowed to enter is a selective
container

but the selection rule is not describable, we call that
container the

Choice set of Mr. Edwards. On the other hand suppose that the
condition

was different and Mr. Simpson had a red, blue and a green
stick, also

Mr. John had a red, blue and a green stick, now this situation
differs from

the above in that we do have a distinguishing feature that
discriminate

between sticks in each group, suppose Mr. Edwards chose the
red stick

from each group and put those into a selective container, now
this

container is definable, it is {x| x is the red stick of Mr.
Simpson's or x is

the red stick of Mr. John's}, so the selection rule is
definable here, but in

the first example it was not, you see we cannot say for
example that in

the first case we have a definable set defined as {x| x is a
stick from

Mr. Simpson's or x is a stick from Mr. John's} because this will
be the set

of all sticks (i.e. all six sticks), while Mr. Edwards only
chose two sticks,

so it is not the same set. Although a choice set is a
container whose

selection rule is not describable but that doesn't infer that
it is not a selective

container, it is still a selective container, a selection has been
made!!!

And membership of that set was dictated by that selection! But
that selection is

not describable, so interpreting a choice set as a selective
container is not out

of context. In a similar manner we can have other sets that
do not have a

describable selection rule.

But which predicates can define sets? One would naively expect
that any

property or any condition can serve as a predicate for
defining sets after,

but this turned out to be fallacious, some predicates cannot
define sets,

i.e., we can have a predicate phi such that we cannot construct
any set

{x|phi}, the most famous of those predicates is the predicate: (x
is not a

member of x), this predicate is the subject of Russell's
paradox that would

be explained below. Now seeing that it is not the case that
any predicate

can define a set, then we need to stipulate a collection of
rules that determine

which predicates can define sets, and this collection of
rules is what SET

THEORY is supposed to secure, this is done in an axiomatic manner,
so

axioms of set theory lay out further characteristics of those
fictitious

containers and set rules of defining them from predicates,
and also

determine whether non definable sets are allowed to exist or
not, etc…

So in nutshell: Sets are fictitious containers that possess rules
of allowance

of entry of objects into them, those rules are called
selection rules, those

might be total rejection or total acceptance rules or
preferential ones,

may be definable rules or might not be definable; it is not
the case that

every possible selection rule can be possessed by some
container, that's

why we need a Set Theory so that we can rigorously determine
which

selection rules containers can possess.

Do these fictitious containers have a kind of existence that
is separate

from human imagery?

Nobody knows!

On the other hand **Aggregates** need to be
distinguished from Sets;

confusion between Aggregates and Sets is common since the
difference

between these two concepts is subtle. An aggregate of objects
is the

whole of those objects so an aggregate of Mr. and Mrs.
Williams is both

of them seen as one object, the pleural "the" often
refers to aggregates

of objects, like "the books", "the
chairs", etc..., those refer to aggregate

of books, aggregate of chairs, etc.., and indeed the word
"set" used in

common language refers mostly to aggregates rather than to
sets as

present in Set Theory. One cannot imagine an aggregate of no
objects,

or an aggregate of a single object that is different from
that object,

because an aggregate *is* all of its elements, so an
aggregate of one

bird is that bird itself, it is not something different from
it, all of that

illustrates the difference between aggregates and sets, with
sets we

can have an empty set, because it is not difficult to imagine
an empty

container, or more precisely speaking a container that do not allow
any

object to enter it, also a container allowing only one object
to enter it

is not necessarily identical to that object (unless it allows
only itself to

enter into it), so singleton sets are not necessarily
identical to their sole

elements. An aggregate of more than one object is always different
from

its elements, but a set may have itself among its members
whether it was

a singleton set or not. An example is the set of all sets, or
to rephrase it

here the container that allows every container to enter into
it. If a container

x allows the containers y1, y2 to enter then this doesn't
entail that all of

what y1 and y2 allows to enter into would be allowed to enter
into x; on

the other hand with the case of aggregates this not so, if
you gather two

aggregates together then all elements of either aggregate
would be elements

of the resulting aggregate.

So the concepts of "Aggregate" and "Set" need
to be discriminated.

An example of the importance of such discrimination is Russell's
paradox

which is often stated as: there cannot be a set of all sets
that are not in

themselves, many people would still insist that if there is at
least one set

that is not in itself then there must be a certain whole of
sets that are not

in themselves, and therefore they would argue that Russell's
paradox is

erroneous intuitively or is some kind of language problem
etc.., all of this

is based on confusing sets as aggregates. Russell's paradox
is solved

fundamentally by distinguishing sets from aggregates, it
should be read

in the following manner: There do not exist a container V
such that every

container x that do not allow itself to enter into itself
then it would be

allowed to enter into V and such that every container x that
allows itself

to enter into itself then it is not allowed to enter V.
Obviously this container

V does not exist, but that doesn't entail the non existence of an
aggregate

of all those containers that do not allow themselves to enter
into themselves.

Certainly this aggregate exist but also obviously this aggregate
itself is not

a container! (unless there is only one container that do
not allow itself to enter

into itself), so as one can easily see the paradox pose no
real intuitive problem.

And to clear out any possible confusion one must also distinguish between

membership of sets and membership of aggregates, those are
distinct

concepts, while the former is allowance of entry to a container
the later is

being aggregated to form a certain whole of objects.

Quite different from the case with sets, aggregates of matters
that have

independent existence of human's do exist independently!
While with sets

it is not so clear whether this is the case or not?

Aggregates are the subject of "Mereology"; while
selective containers are

the subject of "Set Theory".

Also as a piece of terminology common to Set Theory, in
order to further

differentiate between containers that are elements of
containers, and

containers that are not elements of any container, the term
*Class* is

added, the rationale beyond that is for classes to stand for
selective

containers as presented above, and those classes that are
elements

of classes are to be termed as *Sets* while those that are
not would

be termed as *proper classes*, this is the customary
terminology used

in Set Theory, however I would suggest a better terminology
that is one

that only uses the terms of set and element, so an **element** is
what is

selectively allowed to enter into a selective container, a
set may be an

element of a set and so it will be termed as a "**set
element**", while a

set that is not an element of any set is to be termed as a
"**proper set**".

An Ur-element is an object that can be an element of a set yet
itself is

not a set; a better term to describe this case is a "**proper
element**".

However those fine terminologies are not really important
fundamentally.

The real fundamental issue is that of Sets and Aggregates.

To reiterate the definition of sets and aggregates:

*Sets** are fictitious selective containers.*

*Aggregates** are wholes of objects.*

This trial is of course an informal way of trying to engage
the *set* concept,

however it proves to be an easy one to handle, and it
definitely approximates

understanding of that concept to a great extent.

Zuhair Al-Johar

16/12/2011

Below are expositions of some theories that I defined.

** **

**Acyclic Comprehension Theory:**

**Definition of Acyclic
formulae:** We say that a
variable x is connected to a variable y in the

formula ø* *iff any
of the following formulae appear in ø: x ∈ y , y ∈ x , x=y ,
y=x.

We refer to a function s
from {1,…,n} to variables in ø* *as a chain of length n in
ø* *iff for each

appropriate index i: s_{i} is
connected to s_{i+1}, and for each appropriate index j: s_{j},
s_{j+2} are two

different occurrences
in ø. A chain from x to y is defined as a chain s of length n>1
with

s_{1}=x
and s_{n}=y.

A formula ø is
said to be acyclic iff for each variable x in ø, there is no
chain from x to x.

**Graphical definition of
acyclic formulae:**

With any formula
ø* *associate a non directed graph G_{ø}* *whose
vertices are the variables

occurring in
ø* *and which contain an edge from x to y for each atomic
formula

x ∈ y , y
∈ x , x=y , y=x which occurs as a subformula of
ø.

* *

ø* *is
said to be acyclic iff G_{ø} is acyclic.

** **

**Acyclic Comprehension: **For n=0,1,2,… ; if
ø

and membership, in
which y is free, and in which x does not occur, then:

∀w1…wn.∃x.(∀y. y ∈ x
⇔ ø)

The full theory with the proof that it is equivalent to
NF\NFU, is present here.

For a more extensive treatment click here

**Acyclicity Analysis:**

A new project with the aim to find the relationship
between cyclicity of

formulas and the strength of comprehension axiom schemes
using them.

Acyclic comprehension has the strength of stratified comprehension
which

is indeed very weak, however an observation that I made shows
that only

adding one special kind of a cycle to an otherwise acyclic
graph will pump

up the strength of comprehension using formulas with those
graphs to the

level of having NF as a sub-theory of, it proves both
infinity and transitive

closure, and of course define pure sets (sets with all elements in
their transitive

closures being sets, where "set" is defined after
Marcel Crabbe' in acyclic manner)

thus enabling interpreting NF. I'm of the feeling that minor
cyclical modifications

results in big jumps in consistency strength of theories,
this calls for finding a

rigorous system that classify cyclic formulas, try to find a
measure of cyclicity,

and then relate those to consistency strength of theories
using them.

A posting to FOM addressing this is present here.

Also the graphs of infinity and transitive closures are
present here.

September 22, 2012

**Disguised Set Theory:** this theory has an axiom scheme that appears inconsistent

at first glance, but it proves very difficult to find an
inconsistency if any exists, the

basic idea is to define a new membership relation that we
call the public membership ∈

(as opposed to the privet membership which is the primitive
membership ∊) and then stipulate

{x|ø} exists if ø is a formula that only use
predicates of equality and public membership.

Public membership is defined as privet membership of a set that is
not a privet member

of the transitive closure of that element.

X ∈ Y ⇔ (X ∊ Y ∧ ¬ Y
∊ TC(X))

This theory does prove infinity, however it is hard to work with,
mistakes very easily occur.

A variant of this theory is where public membership is defined
after super-transitive closure

instead of transitive closure, and this is the set of all
subsets of elements of the transitive

closure of a set. For details: press here

Another possibly related theory is present here

** **

** **

**Predicative Set
Theory: **A theory defined
in L(ω1,ω) where L is first order logic with equality

and membership,
that I think it to be equi-interpretable to a subset of second
order arithmetic

stronger than
PA. It is Categorical! something that
its finitary counterparts are not. Of course

the main feature is
that it forms infinite sets in a predicative manner. The expressive power of

this theory is of
course much stronger than its finitary counterparts. So it
combines Predicativity,

Expressiveness
and Categoricity and is defined in a complete (and implicationally
complete)

logical language
that admits provability. A FOM posting is present here

The exposition of this
theory is present here

** **

** **

**Multi-level
Discrimination Theory:**

** **This theory involves
working with very weak kinds of part-hood

relation and after
them are defined very weak kinds of equality.

Axiom scheme III builds
aggregates from atoms at the respective level

of discrimination.
So it is limited in the sense that it cannot build

aggregates of non
atomic aggregates at the same level, that's why

axiom IV is
stipulated! it allows those aggregates to become atoms at

higher levels (of
indiscrimination actually) and thereby they can be

gathered to form
aggregates of them, this hierarchy if not inconsistent

could provide the
necessary milieu for second order arithmetic to be

implemented in,
thereby reducing most of mathematics to very weak

part-hood relations. **Press ****here**

** **

**Aggregate-****Container**** Theory: **This is still
investigational, deep at the background of sets and classes.

**Press ****here****.**

** **

**Finite Axiomatization of NF in four types: **see here

**Short axiomatization of SF: see ****here**

**What sets are about & About what sets are?: see ****here**

**MereoLogicism an explication of extensions and sets and membership: see ****here**

**Older Endeavors: **Various redefinitions and reformulations

Of known theories and concepts**. Press ****here**

3SmartCubes.com - IQ Test