The search for absolute infinity

In summary, the conversation was about finding a way to axiomatize a universal set into existence without contradicting other axioms. This could potentially be done by changing the subsets axiom or using ternary logic. The main observation is that Russell's paradox is based on a tautology that isn't a tautology in ternary logic. There are also different versions of the axioms for TUZFC, with version 2 being more appropriate. These include the axiom of extensionality, unordered pair, subsets, sum set, power set, empty set, infinity, universal set, replacement, foundation/regularity, and choice.
  • #36
Phoenix: I was doing a bit of thinking, and I wonder if you shouldn't just study fuzzy sets:

For instance, consider this model:

We assign real numbers to truth values: T = 1, M = 0.5, F = 0. Your sets are fuzzy sets whose range must be {0, 0.5, 1}. In other words, a set is merely a function from a domain into {0, 0.5, 1}.

We can then equip a fuzzy set with an extra gadget we call it's "default value"; any element that doesn't appear in the domain of the fuzzy set gets assigned the default value.

for instance, consider the fuzzy set over {0, 1, 2, 3}:

S = { (0, T), (1, T), (2, F), (3, M) }

That is, in your set land, 0 and 1 are elements of S, 2 is not an element of S, and 3 is a maybe-element of S. Or, S(0) = 1, S(1) = 1, S(2) = 0, S(3) = 0.5

Now, we add the default value "M" to T to get (I'm inventing notation now):

S = {M | (0, T), (1, T), (2, F), (3, M) }

So now all of the above values are the same, but we also have (and this is technically new notation): 4 is a maybe-element of S; that is S(4) = 0.5, and similarly for everything that's not 0, 1, or 2.


And then, via magic, we have a "universal set" produced by taking the empty set (which is a fuzzy set with the empty domain!) and equipping it with default value T.


We could replace the range of truth values {0, 0.5, 1} with any domain we like, really... it seems there's no need to resort to ternary logic with this approach, we can accomplish the same sort of thing with crisp sets.

We get consistency relative to ZFC for free this way... I wonder how the axiomization of this theory would work?


Allow me to reformulate it in a slightly different way to simplify things.

A p-set is an ordered pair [itex](S, d)[/itex] where we have [itex]\mathrm{Set}(S)[/itex] and [itex]d \in \{\mathrm{true}, \mathrm{false} \}[/itex], and we define p-membership as [itex]a \in_p (S, d) \leftrightarrow a \in S \oplus d[/itex]. (where [itex]\oplus[/itex] is exclusive-or; I didn't want to figure out how to make the usual symbol)


That is, [itex]d[/itex] is a sort of polarity; if [itex]d = \mathrm{true}[/itex], then the "default" value is true, and [itex]S[/itex] contains the elements that aren't a p-member of [itex](S, d)[/itex], and if [itex]d = \mathrm{false}[/itex], then the "default" value is false, and [itex]S[/itex] contains the elements that are a p-member of [itex](S, d)[/itex]


The universal p-set is then [itex](\varnothing, \mathrm{true})[/itex].
 
Mathematics news on Phys.org
  • #37
I updated my previous post.

Please look at it.

Thank you.

Hurkyl, I think my two last posts are conncted also to the idea of 3 valued logic, but I will open a new thread for it.



Organic
 
Last edited:
  • #38
Originally posted by Hurkyl
Phoenix: I was doing a bit of thinking, and I wonder if you shouldn't just study fuzzy sets:

For instance, consider this model:

We assign real numbers to truth values: T = 1, M = 0.5, F = 0. Your sets are fuzzy sets whose range must be {0, 0.5, 1}. In other words, a set is merely a function from a domain into {0, 0.5, 1}.

We can then equip a fuzzy set with an extra gadget we call it's "default value"; any element that doesn't appear in the domain of the fuzzy set gets assigned the default value.

for instance, consider the fuzzy set over {0, 1, 2, 3}:

S = { (0, T), (1, T), (2, F), (3, M) }

That is, in your set land, 0 and 1 are elements of S, 2 is not an element of S, and 3 is a maybe-element of S. Or, S(0) = 1, S(1) = 1, S(2) = 0, S(3) = 0.5

Now, we add the default value "M" to T to get (I'm inventing notation now):

S = {M | (0, T), (1, T), (2, F), (3, M) }

So now all of the above values are the same, but we also have (and this is technically new notation): 4 is a maybe-element of S; that is S(4) = 0.5, and similarly for everything that's not 0, 1, or 2.


And then, via magic, we have a "universal set" produced by taking the empty set (which is a fuzzy set with the empty domain!) and equipping it with default value T.


We could replace the range of truth values {0, 0.5, 1} with any domain we like, really... it seems there's no need to resort to ternary logic with this approach, we can accomplish the same sort of thing with crisp sets.

We get consistency relative to ZFC for free this way... I wonder how the axiomization of this theory would work?


Allow me to reformulate it in a slightly different way to simplify things.

A p-set is an ordered pair [itex](S, d)[/itex] where we have [itex]\mathrm{Set}(S)[/itex] and [itex]d \in \{\mathrm{true}, \mathrm{false} \}[/itex], and we define p-membership as [itex]a \in_p (S, d) \leftrightarrow a \in S \oplus d[/itex]. (where [itex]\oplus[/itex] is exclusive-or; I didn't want to figure out how to make the usual symbol)


That is, [itex]d[/itex] is a sort of polarity; if [itex]d = \mathrm{true}[/itex], then the "default" value is true, and [itex]S[/itex] contains the elements that aren't a p-member of [itex](S, d)[/itex], and if [itex]d = \mathrm{false}[/itex], then the "default" value is false, and [itex]S[/itex] contains the elements that are a p-member of [itex](S, d)[/itex]


The universal p-set is then [itex](\varnothing, \mathrm{true})[/itex].

let me see if i got this right. how would we embed a normal set into its p-set? would a set K be mapped into (K,false)?
 
  • #39
Right:

[tex]\forall K \in \mathrm{Set} \forall a: a \in K \Leftrightarrow a \in_p (K, \mathrm{false})[/tex]
 
  • #40
something I'm going to think about, too, is whether (Ø,true) violates russell's paradox and whether (K,true) is a set.
 
  • #41
Originally posted by Hurkyl
A p-set is an ordered pair [itex](S, d)[/itex] where we have [itex]\mathrm{Set}(S)[/itex] and [itex]d \in \{\mathrm{true}, \mathrm{false} \}[/itex], and we define p-membership as [itex]a \in_p (S, d) \leftrightarrow a \in S \oplus d[/itex]. (where [itex]\oplus[/itex] is exclusive-or; I didn't want to figure out how to make the usual symbol)


That is, [itex]d[/itex] is a sort of polarity; if [itex]d = \mathrm{true}[/itex], then the "default" value is true, and [itex]S[/itex] contains the elements that aren't a p-member of [itex](S, d)[/itex], and if [itex]d = \mathrm{false}[/itex], then the "default" value is false, and [itex]S[/itex] contains the elements that are a p-member of [itex](S, d)[/itex]


The universal p-set is then [itex](\varnothing, \mathrm{true})[/itex].

But how many properties of "standard" ZFC sets would also apply to p-sets? Any ZFC set A has an "equivalent" p-set [itex](A,\mathrm{false})[/itex] but not every p-set has an equivalent ZFC set.

So even though you can create a universal set, we still need to figure out what we can do with it.


PS. I think the LaTeX symbol you were looking for is [itex]\veebar[/itex]. I like it better than [itex]\oplus[/itex].
 
  • #42
Well, you can do union and intersection. I don't know if you can actually do anything interesting with them, though; I'm not entirely sure what Phoenixthoth's goal is in his pursuit.
 
  • #43
my ultimate goal is to look at self-aware structures as per that article by max tegmark. if we track all possible configurations of the universe over time we get some kind of set, possibly a manifold. since we are in this set, and we are self aware, it makes sense that some sets and/or logical structures have SA-structure. if U is the set of all possible configurations of the universe, i was wondering if U would have SA or if it just contains things that do. if it does, would it, in a sense, be omniscient of all its contents? I'm not even sure how would would define SAS's. perhaps they'll be left undefined, not unlike the word set, and axioms will be given that govern them.

for instance... if x is a set with SAS and x can be bijected to y, then y also has SAS.

however, if SAS has to do with more than number of elements but something more complicated, then isomorphic (wrt some operation(s)) would be more appropriate. the thing is that static sets can't prove to us they are self-aware or even express that fact. a changing three dimensional manifold becomes a static 4D manifold. what's changing is our awareness of it which some to be a concept not bound by time. well, this is way off course now...

would there be different kinds of SA-structure? and a way to measure SA-structure?

i have a thread with random conjectures here:
http://207.70.190.98/scgi-bin/ikonboard.cgi?;act=ST;f=2;t=196

back to a universal set... my question was the same as master_coda's, which was whether (K,true) always corresponds to a set.

seems like (Ø,true) is just like {x|x=x} which is a proper class.
 
Last edited by a moderator:
  • #44
Right. The p-membership of [itex](S, \mathrm{true})[/itex] is always a proper class for any set [itex]S[/itex].

The major drawback of p-sets, as I've defined them, seems to be that it cannot be the case that both the p-membership and p-nonmembership are both proper classes.

However, my gut says it's at least subtheory of your goal, and would be worth studying.
 
  • #45
another attempt

second truth table (REPEAT):

[tex]
\begin{array}{cccccccc}
A & B & A\rightarrow B & A\rightarrow _{T}B & A\leftrightarrow B &
A\leftrightarrow _{T}B & A\leftrightarrow _{=}B & A\leftrightarrow _{\neq F}B
\\
T & T & T & T & T & T & T & T \\
T & M & M & F & M & F & F & T \\
T & F & F & F & F & F & F & F \\
M & T & T & T & M & F & F & T \\
M & M & M & F & M & F & T & T \\
M & F & M & F & M & F & F & T \\
F & T & T & T & F & F & F & F \\
F & M & T & T & M & F & F & T \\
F & F & T & T & T & T & T & T
\end{array}
[/tex]
define a new conditional:
[tex]
\begin{array}{ccccc}
A & B & A\rightarrow _{+}B & A\leftrightarrow _{+}B & A\leftrightarrow _{+}
\symbol{126}A \\
T & T & T & T & F \\
T & M & T & T & F \\
T & F & F & F & F \\
M & T & T & T & T \\
M & M & T & T & T \\
M & F & T & T & T \\
F & T & T & F & F \\
F & M & T & T & F \\
F & F & T & T & F
\end{array}
[/tex]

the axioms of subsets would read this:

axiom of subsets version 6:

[tex]\exists x\forall y\left( y\in _{?}x\leftrightarrow _{+}y\in
_{?}a\wedge A\left( y\right) \right) [/tex].



if there is a universal set [tex]U[/tex], and we let [tex]a=U[/tex] and [tex]A\left( y\right) =y\notin y[/tex], note that [tex]y\notin y[/tex] is a binary statement and [tex]y\in _{?}x[/tex] is a ternary statement. here's how russell's paradox, which was a problem for
those other biconditionals, would work:

[tex]
\begin{array}{ccc}
S\in _{?}S & S\notin S & S\in _{?}S\leftrightarrow _{+}S\notin S \\
T & F & F \\
M & F & T \\
F & T & F
\end{array}
[/tex]

axiom of foundation states this:

[tex]\forall a\left[ a\neq \emptyset \rightarrow \exists x\in a\left( x\cap a=\emptyset \right) \right] [/tex]. if you consider [tex]\left\{ a\right\} [/tex], you can show that for no ZFC sets is the following true: [tex]a\in a[/tex]. this axiom is inconsistent with the universal axiom because [tex]U\in U[/tex]. (note that [tex]
S\in S[/tex] is false because [tex]S\in _{M}S[/tex].) perhaps a way to restate the universal set axiom is this:

[tex]\exists !x\left( x\in x\right) [/tex]. one then has to modify the foundation axiom to this:

[tex]\forall a\left[ a\neq \emptyset \wedge a\neq \left\{ U\right\} \rightarrow \exists x\in a\left( x\cap a=\emptyset \right) \right] [/tex] or some such. instead of {U}, it would have to be any set containing U as an element, i think.
 
Last edited:
  • #46
if [tex]V\left( y\in _{?}a\wedge A\left( y\right) \right) =M[/tex] then that gives no information on xRy where R is [tex]\in [/tex] or [tex]\in _{M}[/tex] or [tex]\notin [/tex].

i'm finding it difficult to find any fuzzy sets besides the set S in russell's paradox which may be a good thing.
 
  • #47
summary of current work

all feedback appreciated. there should be a file attached which is a zipped pdf.
 

Attachments

  • tuzfcver2.zip
    45.9 KB · Views: 300
  • #48
I haven't tried to sit down and digest all of it yet... I've recently decided to take up the task if trying to fully digest the axiom of foundation; i.e. how to prove:

[tex]\forall S \forall x \in S : S \notin x[/tex]
[tex]\forall S \forall x \in S \forall y \in x: S \notin y[/tex]

et cetera (including transfinite membership chains)


As one of the PDFs you linked mentions, you don't necessarily need to have the axiom of foundation in your set theory anyways.


I thought a bit more about ternary logic, and I think (though I may be wrong) that it should be approached in this way:

Use binary logic simulating ternary logic; e.g. one might have the binary function Q(P) which simulates the ternary fact V(P) = M.

(Incidentally, it seems that you are using this approach, whether consciously or not)

If not that, I'm beginning to think that ternary deduction might be richer than ternary truth tables, and that making truth tables isn't the right way to approach making deductions.
 
  • #49
e.g. I can prove the first of these:

Assume [itex]x \in S \wedge S \in x[/itex]. Consider [itex]T := \{S, x\}[/itex]

By the axiom of foundation, one of [itex]S \cap T[/itex] and [itex]x \cap T[/itex] must be the null set.

However, [itex]S \cap T = \{x\}[/itex], and [itex]x \cap T = \{S\}[/itex], which is a contradiction.
 
  • #50
Originally posted by Hurkyl
e.g. I can prove the first of these:

Assume [itex]x \in S \wedge S \in x[/itex]. Consider [itex]T := \{S, x\}[/itex]

By the axiom of foundation, one of [itex]S \cap T[/itex] and [itex]x \cap T[/itex] must be the null set.

However, [itex]S \cap T = \{x\}[/itex], and [itex]x \cap T = \{S\}[/itex], which is a contradiction.

F2, foundation 2, is
[tex]\forall a\left( \left( a\neq \emptyset \wedge U\notin a\right) \rightarrow \exists x\in a\left( x\cap a=\emptyset \right) \right) [/tex]

this would mean that your T (a in the axiom) wouldn't be an applicable use of F2 (edit: if S or x was U) though it would be of the usual axiom of foundation. otherwise if U is not one of them, you can't have a chain of memberships that start and end with the same set i don't think.

but if this proves to be a problem, i'll have to see what it would unravel to loose foundation. I'm only partway through an article on set theory and he said foundation will have bigger implications but for now, it is used to show that no set is an element of itself (which is why i needed to change it to allow for U in a way that if U weren't around it would be the same axiom).

the main boon in this system is that most things remain crisp with the use of the new membership symbols so i can still use deduction and contradiction. there was another article where someone almost did what i did, by computer scientists no less, in which they invented two new membership symbols. i emailed one of them my ideas but never got a reply. they were really close to turning their guns on russell's paradox but i think that's been considered a dead horse for like 150 years now. anyway, with the crispiness of things mostly intact, except with the subsets axiom, I'm hoping that everything will turn out all right in the end.

in fact, i can't find many fuzzy sets in this theory. for example, I'm not sure i wouldn't have to modify the pairing axiom in order to get a set like x={(Ø,M), ({Ø},T)} where that means that the truth value of Ø∈x is M and the truth value of {Ø}∈x is T, using the old membership symbols here. in the new system, x∈y, x∈My, and [tex]x\notin y[/tex] are mutually exlusive.

i'm glad i didn't call this thread naked ladies! thank you very much for all your feedback.

edit: if you would, please expound on what you mean by ternary deduction without truth tables. i think that would be a great boon to tuzfc (ternary universal zfc) though i only have an incling for what that would entail (pun intended). i don't know if I'm jumping the gun here, but, to be conservative, let's say that in 3 years there is a publishable paper in this; well, it could be a joint paper with tuzfc and ternary deduction combined somehow.

if this works out, i would like to say the cardinal number of U is capital omega or capital alpha, alternatively. also, what is the standard letter for the third truth value? is it M? one could be kind of ridiculous and call this m-theory but rather than be ambiguous about what this M stands for, i'll say it stands for 'maybe' and the eastern concept called mu which is actually why i called it M. in truth, this eastern approach is what proved to be a major inspiration to the resolution of certain paradoxes not unlike how it 'resolves' certain koans.
 
Last edited:
  • #52
an odd result that makes sense

i have more for you to digest once the inital part has cleared.

an example:

if [tex]x[/tex] is a proper subset of [tex]U[/tex], then there is no map from [tex]x[/tex] onto [tex]U[/tex].

this entails that for all sets [tex]a[/tex], [tex]U\backslash \left\{ a\right\}[/tex] is not in bijection with [tex]U[/tex] and [tex]U\backslash \left\{ a\right\} \neq U[/tex] which is a divergence from the usual case of infinite sets where if [tex]x[/tex] is an infinite set then [tex]x\backslash \left\{ a\right\} [/tex] is in bijection with [tex]x[/tex] and, more generally, if [tex]a[/tex] is a set of inferior cardinal number than [tex]x[/tex],then [tex]x[/tex] is in bijection with [tex]x\backslash a[/tex].

so perhaps this can be a precise formulation of the difference between potential infinity, actual infinity, and finity.

this makes sense because you wouldn't expect that if you remove something from U that it should be like U. one can show that if anything is like U, ie in bijection with it, then it is U.

edit: one can also show that all proper subsets of U have strictly less cardinality.

i envision a bottom and a top and the real inaccessible cardinals are the ones in between.
 
Last edited:
  • #53
organic,
i think that when one performs those operations with Ø and U, the answer will be indeterminate in some cases. the multiplication would refer to cardinality multiplication. the difference to set difference and the division could refer to another thread i started on division. exponentiation refers to cardinal exponentiation.

edit:
another result: if there is a map from x onto P(x) then either x=U or x is fuzzy.

thus, the only sets for which x might be mapped onto P(x), besides U, are necessarily fuzzy sets. since so few fuzzy sets seem to exist without more axioms, this is a good thing and intuition is not being violated too terribly yet.

i can also show exactly where cantor's diagonal argument fails in general.
 
Last edited:
  • #54
All right, beginning at the top. :smile:

Since deduction in ternary logic is pretty much essential to the whole thing, it's definitely worth spending a bit of time on just that. I've thought more about it, and I understand how it works now.


Recall in binary logic, we might write a deduction (like modus ponens)

P→Q
P
-----
Q


Since there are only two truth values, this notation is sufficient... we need a way to indicate truth value in ternary logic in a deduction. I think the V(P)=T notation isn't bad for formulas, but I think a different notation is clearer for deduction. Consider modus ponens in your ternary logic:

T: P→Q
M,T: P
--------
T: Q

This notation means that we know V(P→Q) = T, V(P) in {M, T}, and we deduce V(Q)=T.

This is actually a valid deduction; if we check the truth table, if V(P→Q)=T and V(P) in {M, T}, then we must have V(Q) = T! Modus ponens is still useful in your ternary logic!

Also, we have:

M: P→Q
T: P
--------
M: Q

or more generally, the deduction schema

X: P→Q
T: P
--------
X: Q

where X ranges through {F, M, T}.

And other familiar rules, like:

T: P→Q
T: Q→R
--------
T: P→R

M: P→Q
M: Q→R
--------
M: P→R

T: P→Q
M: Q→R
--------
M,T: P→R

(For this one, we can only conclude that P→R is not false)

X: A→~A
--------
X: ~A

T: A→F
--------
F: A

T: P→Q
F,M: Q
--------
F: P

And so on; all of our favorites (I think) have a version or two valid for ternary deduction.


More as I think about it.
 
  • #55
Hrm...

I've found something disturbing about your axiom of subsets:

[tex]
\forall a \exists x \forall y:
(y \in_? x \leftrightarrow_+ (y \in_? a \wedge A(y)))
[/tex]

Suppose we have said set [itex]x[/itex], and we know that, for a particular [itex]y[/itex], [itex]V(y \in_? a)=T[/itex], and [itex]A(y) = T[/itex]...

We cannot conclude that [itex]V(y \in_? x)=T[/itex]! The axiom is still satisfied if [itex]V(y \in_? x)=M[/itex]... we've obliterated crisp ZF. :frown:
 
  • #56
I have an idea for additional predicates. The great thing about binary deduction is that any deduction can be entirely encoded into a formula via [itex]\wedge[/itex] and [itex]\rightarrow[/itex]; something similar is needed for ternary logic.


Let's start with the simplest; suppose we were able to prove:

T: A
------
...
------
T: B

We want to write this as a formula F to simplify further proofs, so we can apply the deduction

T: A
T: F
-----
T: B

in one step.


Here's a truth table:

[tex]
\begin{array}{c|c|c}
A & B & A \circ B \\
\hline
T & T & T \\
T & M & X \\
T & F & X \\
M & T & T \\
M & M & T \\
M & F & T \\
F & T & T \\
F & M & T \\
F & F & T \\
\end{array}
[/tex]

Where X could be either F or M; at the moment they don't matter. As you can tell, I haven't decided on a symbol for this operation either. :smile:

Does this do what we want? If we're given that [itex]V(A \circ B) = T[/itex], then if [itex]V(A)=T[/itex] we can then conclude [itex]V(A)=F[/itex]. However, if [itex]V(A) \in \{F, M\}[/itex], we can conclude nothing about [itex]V(B)[/itex].

Example!

I mentioned earlier that:

[tex]
\begin{array}{ll}
T: & A \rightarrow \neg A \\
\hline
T: & \neg A
\end{array}
[/tex]

was a valid deduction. Let's try out our new operation:

[tex]
\begin{array}{c|c|c|c}
A & \neg A & A \rightarrow \neg A & (A \rightarrow \neg A) \circ \neg A \\
\hline
T & F & F & T \\
M & M & M & T \\
F & T & T & T \\
\end{array}
[/tex]

Joy! [itex](A \rightarrow \neg A) \circ \neg A[/itex] is a tautology, as advertised!

And, as we can see from the truthtable, if we were given [itex](A \rightarrow \neg A) \circ \neg A[/itex] and [itex]A \rightarrow \neg A[/itex] were both true, we can immediately conclude [itex]\neg A[/itex] is true, without having to do the (trivial) work to prove it again.

For fun, consider the truth table for [itex](A \circ B) \wedge (B \circ A)[/itex]:

[tex]
\begin{array}{c|c|c|c|c}
A & B & A \circ B & B \circ A & (A \circ B) \wedge (B \circ A) \\
\hline
T & T & T & T & T \\
T & M & X & T & X \\
T & F & X & T & X \\
M & T & T & X & X \\
M & M & T & T & T \\
M & F & T & T & T \\
F & T & T & X & X \\
F & M & T & T & T \\
F & F & T & T & T \\
\end{array}
[/tex]

This gives an "if and only if"-like thing; we have the following deductions:

[tex]
\begin{array}{ll}
T: & (A \circ B) \wedge (B \circ A) \\
T: & A \\
\hline
T: & B
\end{array}
[/tex]

[tex]
\begin{array}{ll}
T: & (A \circ B) \wedge (B \circ A) \\
F,M: & A \\
\hline
F,M: & B
\end{array}
[/tex]

But while [itex]\circ[/itex] is useful as a replacement for [itex]\rightarrow[/itex], I'm not so sure that this thing is useful as a replacement for [itex]\leftrightarrow[/itex].
 
Last edited:
  • #57
Originally posted by Hurkyl
Hrm...

I've found something disturbing about your axiom of subsets:

[tex]
\forall a \exists x \forall y:
(y \in_? x \leftrightarrow_+ (y \in_? a \wedge A(y)))
[/tex]

Suppose we have said set [itex]x[/itex], and we know that, for a particular [itex]y[/itex], [itex]V(y \in_? a)=T[/itex], and [itex]A(y) = T[/itex]...

We cannot conclude that [itex]V(y \in_? x)=T[/itex]! The axiom is still satisfied if [itex]V(y \in_? x)=M[/itex]... we've obliterated crisp ZF. :frown:

i'm proud to have single-handedly obliterated ZF! actually, i do know what you mean and that's a bad thing.

i agree with this and I'm kicking myself for not noticing it. ok. let me run this by you. there are approximately three places i'd like to change the truth table of the plus-biconditional. for one thing, it means it's no longer based on the plus-conditional with the "and" operation, which really isn't serious. my ad hoc justification is this:
all i want to do is find a model for the absolute infinity that doesn't contradict ZF and hopefully not ZFC and any way to do this should be equivalent. i believe this error can be corrected in the following way.

the following letters in a row represent A and B and then the value of the A<->+B. the A and B refer to what's on the left and right hand side of the subsets axiom.
(optional) changing TMT to TMF. in the subsets axiom 2, when i state the plus conditional, it is assumed as per tradition that it has truth value T. hence if the right hand side has value M then the left hand side is not T.
forsure: changing MTT to MTF. if the right hand side in subsets 2 is T then the left hand side must now be T also. however, if the right hand side is F, then the left hand side is X where X is in {M,F}. i don't know if this is a bad thing.
(optional): changing FMT to FMF.

i need to have this: MFT and this: MMT to avoid russell's paradox.

the new truth table would then be this:[tex]\begin{array}{ccc}
y\in _{?}x & y\in _{?}a\wedge A\left( y\right) & y\in _{?}x\leftrightarrow_{+}y\in _{?}a\wedge A\left( y\right) \\
T & T & T \\
T & M & F \\
T & F & F \\
M & T & F \\
M & M & T \\
M & F & T \\
F & T & F \\
F & M & F \\
F & F & T
\end{array}[/tex]

now it is unambiguous except in one case. if B is true and the plus-biconditional is true, then A is true. if B is M and the plus-biconditional is true, then A is M. if B is false and the plus-biconditional is true, then A is false or M. this last one bothers me. it means that every set has an indeterminate non-true membership in every other set. but this ain't that bad. or is it?

another thing i was thinking is of cooking up a deep-fat fryer: a "function" like the powerset operation that sends a set to a set of all elements that are in it fully; thus the potentially fuzzy set gets crispy. so if V(y&isin;?x)=M, and i leave the plus-biconditional, which is now a terrible notation, alone, y will not be in the cooked/fried version of x yet it would M'ly be in x. this is an aside and a diversion for now, i think. the notation in set theory would then really apply to all cooked versions of sets not unlike how in some integration theories (L^p spaces) a function is written but it secretly means the equivalence class of all functions who differ on a set of measure 0.
 
  • #58
http://en.wikipedia.org/wiki/Singleton_set

In mathematics , a singleton is a set with exactly one element. For example, the set {0} is a singleton. Note that a set such as {{1,2,3}} is also a singleton: the only element is a set (which itself is however not a singleton).
A set is a singleton if and only if its cardinality is 1. In the set-theoretic construction of the natural numbers the number 1 is defined as the singleton {0}.






Structures built on singletons often serve as terminal objects or zero objects of various categories
The statement above shows that every singleton S is a terminal object in the category of sets and functions. No other sets are terminal in that category.
Any singleton can be turned into a topological space in just one way (all subsets are open). These singleton topological spaces are terminal objects in the category of topological spaces and continuous functions. No other spaces are terminal in that category.
Any singleton can be turned into a group in just one way (the unique element serving as identity element These singleton groups are zero objects in the category of groups and group homomorphisms . No other groups are terminal in that category.


The problem with set theory appears to be the primitive concept of : inside / outside

A or not-A

Set theory is based on 2-valued logic of course. Since the absolute infinite is the power set of everything that exists, ergo, an element cannot be removed from it by definition, hence the talk of the removal of elements becomes wishful thinking. A fruitless exercise in futility, for the imagination. Also, the problem arises where, if, an element such as a singleton, is removed from the absolutely infinite, and it[absolute infinity] somehow becomes less than its previous absolute condition, that seriously implies that the absolute infinity is totally non-replenishable, but, actually, if the absolute is generalized as the Platonic state of affairs known as total nothingness, then it no longer has this unprecidented weakness inherited from ZF set theory which is dooomed to die a slow and agonizing death, as die hard academians continue to flog the dead ZF "horse" for all it's worth.



An "excellent idea":

http://www.mmsysgrp.com/stefanik.htm


Thesis: Scientific objectivity is best characterized by the concept of invariance as explicated in category theory than the concept of truth as explicated in mathematical logic.


If reality is self referential, it observes itself, through particle interaction AND conscious observers?
 
  • #59
The place to put forth your own theories is not in someone else's thread.
 
  • #60
My apologies Hurkyl, please continue with your interesting discussion.
 
  • #61
on 1-6-04, someone posted a similar idea on sci.math.research here: http://mathforum.org/epigone/sci.math.research/vermsmixbler

my old logic teacher at cal is looking over this crackpot theory with the corrections hurkyl suggested. he said he vaguely remembers me from (?) 7 years ago.

i am looking for things that should be true about the universal set U. i have a small collection of things i thought ought to be true and none of them were that difficult to prove, though that may be because I'm using fallacious arguments. so if you can think of things that ought to be true of U, feel free to post them.

i know russell and he was referring to something i told him elsewhere that i think ought to be true: if you remove even one element from U, you get something of strictly smaller cardinality. but that relies on a proof that I'm not sure about (it's not in tuzfcver2 but is in my latest version). anyways, i think that should be true: no subset of U, even one less by a singleton, should have the same cardinality as U. this is an example of the kind of theorems about U I'm looking for. russell, thanks for the feedback and hurkyl, thanks for the moderation.
 
  • #62
nonstandard/universal set theory applied to set theory

U can be turned into a boolean ring in the following way:
the additive identity is Ø.
the multiplicative identity is U.
x*y=the intersection of x and y.
x+y is the symmetric difference: x&cup;y\(x*y).

then -x=x and x^2=x.

since U is a ring, one can then prove things about all sets by showing that the set of things with a property forms an ideal with the multiplicative identity in it, which then proves that that ideal is a nonproper ideal equal to the whole ring U, which means that that defining property of the ideal holds for all sets.

example: let p(x) be a property of set x.
let J={x in U : p(x)}. to prove prove p holds for all sets x, one can do it this way:
1. prove J is an additive subgroup of U with the same +.
2. prove J is a subring of U with the same *.
3. for any r in U, show that rJ=J.
4. prove that U&isin;J.

from standard ring theory, it follows that J=U and, hence, p holds for all sets.

can anyone give me some simple property p (that is known to be true for all sets) to try this method on? maybe i can compare the length and difficulty in doing 1-4 to the standard proof...

the current version of my paper with hurkyl's corrections is here:
http://www.alephnulldimension.net/matharticles/tuzfcver6.pdf
 
Last edited:
  • #64
i'm not sure what complementary means but U is the unit in the ring.

U=1.

this is because a*1=a*u=a intersect U = U intersect a=1*a=a.

from http://en2.wikipedia.org/wiki/Ring_ [Broken](algebra)
If S is a set, then the power set of S becomes a ring if we define addition to be the symmetric difference of sets and multiplication to be intersection. This is an example of a Boolean ring.

symmetric difference is like the logical XOR operation:
http://en2.wikipedia.org/wiki/Symmetric_difference [Broken]

and 1+x=the complement of x=U\x.
 
Last edited by a moderator:
  • #65
Please look at the attached jpg:

Let White be Addition.

Let black be Multiplicaction.

Let Complement be Prevent AND create.

By Complementary Logic, Addition AND Multiplication are complement operations.

So, what is U from this point of view?
 

Attachments

  • comp.jpg
    comp.jpg
    6.5 KB · Views: 415
Last edited:
  • #66
So, what is U from this point of view?

Something that should be a subject of a different thread. I'm interested in seeing where Phoenix goes with the ring approach... your post has nothing to do with that (or, as far as I can tell, anything else in the thread, except you use a couple of the same words)
 
  • #67
if there is a universal set, is this a metric space with a nontrivial metric? or a topological space with a topology other than the trivial ones?

in other words, a function d from UxU to R>=0 such that
1. d(x,y)=0 iff x=y
2. d(x,y)=d(y,x)
3. d(x,y)<=d(x,z)+d(z,y)

or at least some kind of pseudo metric space in which one can "mod out" by d=0 in the sense that we can define an equivalence relation such that x ~ y iff d(x,y)=0 and then take as the metric space U/~.

if i can define a function from U to R>=0, call it | |, then i can use the ring structure to say that maybe d(x,y):=|x-y| where this is either the ring difference, ie x+y, or set difference.

i'm guessing that what I'm looking for is a bounded metric where the "distance" between U and any set that isn't U is the upper bound of this metric.

this work has probably been done before in the context of pseudo-universal sets and powersets but I'm just not sure which key words to search for.

potential axioms on | | are as follows:
|Ø|=0
|U|=1
|x|&isin;[0,1] for all sets x

note that if i take the ring structure and define d(x,y)=|x-y| then that is |x+y| and so d(x,y)=0 iff |x+y|=0 if x=y if x=Ø. if x=y then x+y=Ø and so d(x,y)=0; hence d(x,y)=0 iff x=y. so i believe i need to focus on this | |. at first, i was thinking of relating |x| to the cardinality of x according to where it is on the following hiearchy:
A: subset of N
B: "power level" of N (which is any union of powersets of powersets of N)
C: "power level" of any set on level B
...

but there aren't even countably many of those levels so i gave up on defining |x| in terms of the cardinality of x.


if J={x in U | x!=U} then J is, i think, a maximal ideal and i think that U/J is isomorphic to the absolute infinite product of Z/2Z. perhaps i can mix these two ideas together though [0,1] is a subset of a characteristic 0 field and U/J has characterisitic 2...

in max tegmark's paper on his ensemble theory of everything, it is postulated that mathematical existence is physical existence. I'm guessing that in order for an observer to exist in an abstract space, there must be a nontrivial metric on that space in which measuring of some kind can take place. if U has a nontrivial metric, then we can potentially have observers under this hypthesis. if only the trivial metric exists, then it seems all an observer can do is say "this is me" and "this is not me."
 
  • #68
Sets aren't topological (metric) spaces; sets equiped with a topology (a metric) are topological (metric) spaces.

I think you know that, but your first paragraph was a little vague on this point.



Anyways, I'm wondering if the surreal numbers should come into play here; they're the only "normal" number system I know that is "big enough" to include the ordinals and cardinals. Maybe you want | | to be surreal-valued? Be warned, though, that surreal numbers are very difficult things to manipulate.


J={x in U | x!=U}

This can't be an ideal; it's not closed under addition.

In particular, for most A, A and (U+A) are both in J, but A+(U+A)=U.
 
  • #69
i was abusing the notation in a way which i thought was standard you know such as referring to R as a metric space when technically, it can be equipped with metrics or (R,d) is the metric space.

if the range of d is not a nonnegative real number, then whatever is in question is not a metric or a metric space.

it's good to know that that J is not an ideal. thanks.
 
  • #70
Right; it is a standard abuse of notation. Can't hurt being a little extra cautious about the details, though, especially given the circumstances. :wink:


While a metric space must have a real valued metric, one can make metric-like spaces using other ranges for the "metric"; I was just wondering if the surreals might be more appropriate. A "surmetric space" might even have structure kind of like the halos from nonstandard analysis that might let you modulus parts of it into a normal metric space.
 
<h2>1. What is absolute infinity?</h2><p>Absolute infinity is a concept in mathematics and philosophy that refers to a quantity or value that is limitless and cannot be surpassed or exceeded. It is often described as the highest possible level of infinity.</p><h2>2. Why is the search for absolute infinity important?</h2><p>The search for absolute infinity is important because it helps us understand the nature of infinity and its role in mathematics and the universe. It also has implications for philosophical and religious beliefs about the infinite.</p><h2>3. How is absolute infinity different from other types of infinity?</h2><p>Absolute infinity is different from other types of infinity, such as countable and uncountable infinity, because it is not limited or defined by any specific set or measure. It is considered to be the ultimate form of infinity.</p><h2>4. Is absolute infinity a real or abstract concept?</h2><p>This is a debated question among mathematicians and philosophers. Some argue that absolute infinity is a real concept that exists outside of our understanding, while others believe it is an abstract concept that can only be understood through mathematical principles.</p><h2>5. Can absolute infinity be proven or measured?</h2><p>No, absolute infinity cannot be proven or measured in a concrete way. It is a theoretical concept that is used to understand and describe the infinite, but it cannot be physically observed or quantified.</p>

1. What is absolute infinity?

Absolute infinity is a concept in mathematics and philosophy that refers to a quantity or value that is limitless and cannot be surpassed or exceeded. It is often described as the highest possible level of infinity.

2. Why is the search for absolute infinity important?

The search for absolute infinity is important because it helps us understand the nature of infinity and its role in mathematics and the universe. It also has implications for philosophical and religious beliefs about the infinite.

3. How is absolute infinity different from other types of infinity?

Absolute infinity is different from other types of infinity, such as countable and uncountable infinity, because it is not limited or defined by any specific set or measure. It is considered to be the ultimate form of infinity.

4. Is absolute infinity a real or abstract concept?

This is a debated question among mathematicians and philosophers. Some argue that absolute infinity is a real concept that exists outside of our understanding, while others believe it is an abstract concept that can only be understood through mathematical principles.

5. Can absolute infinity be proven or measured?

No, absolute infinity cannot be proven or measured in a concrete way. It is a theoretical concept that is used to understand and describe the infinite, but it cannot be physically observed or quantified.

Similar threads

  • General Math
Replies
1
Views
1K
  • General Math
Replies
1
Views
604
Replies
1
Views
274
  • General Math
Replies
0
Views
798
  • General Math
Replies
5
Views
779
Replies
5
Views
914
Replies
0
Views
9K
Replies
1
Views
9K
  • General Math
Replies
13
Views
1K
Replies
2
Views
9K
Back
Top