Hi Brian,

Your idea of a universal set, in case it works, would indeed meet one 
of the objection I often raised against Tegmark-like approaches, mainly 
that the whole of mathematical reality cannot be defined as a 
mathematical object. Of course this is debatable, and a case can been 
made that such a universal set can exist (see the Forster reference 
Nevertheless I have no clues why do you want such an universal set to 
be fuzzy, except perhaps by the analogy which can exist between the 
empirical multiverse and some sort of fuzzy physical universe. A 
problem with fuzzy set is that there are many approaches, and they do 
not seem to converge on some standard apprehension. Perhaps you know 
better. Have you written a longer text?
Now, once you assume the computationalist hypothesis in the cognitive 
science (NOT in the physical science!) and once you are aware of the 
mind-body problem (or the first person/third person relationship 
problem) then you will be confronted with my other objections to 
Tegmark, mainly the fact that the mind-body problem is still somehow 
put under the rug. I suggest you read my texts (url below, or see the 
Archive of this list) for appreciating that a universal structure 
definitely cannot exist. Like in Plotinus or Cantor the big whole 
cannot be made first order citizen.
Of  course with comp (actually with only Church's Thesis) we do have 
some "universal structure" like the universal *machine* or the 
universal dovetailer, and those are embedded in the structure they 
deploy. That is why comp works. But of course a universal machine does 
not describe a universal set in your sense.

For the existence of a universal set in the context of Quine New 
Foundation set theory (NF) I suggest you consult the book by

T. E. FORSTER, Set Theory with a Universal Set. Oxford Science 
Publications, 1992. Oxford.


Le 23-mars-08, à 05:46, Brian Tenneson a écrit :

> I would tend to think that most mathematicians and even more
> physicists and even more engineers and even more laymen would say that
> 'just' is a huge, huge understatement.
> However, from the perspective of Non-Classical logic (be it
> paraconsistent or fuzzy), that sentence was perfectly formulated, in
> my humble opinion, and that article was not written with all forms of
> non-classical logic in mind.
> What I need to show is that the answer is different or the same in all
> MV-Algebras.  My guess is looking at just [0,1], as proofs done in
> [0,1] can sometimes be carried over to all MV-algebras using Chang's
> theorems, mentioned above, which connect just [0,1] to all of these
> types of fuzzy logics, would be a big step towards settling my
> investigation for all MV-algebras.
> In other words, I want to investigate Russell's "paradox" for as many
> types of logic that already have been developed, to determine how
> "true" Russell's "paradox" is for any logic that is not binary logic.
> I don't know, it could be false in +all+ logics that could be
> reasonably called logics or, more interestingly to me, true in some
> but not all.  Then, in that event, the investigation would be to find
> out in which logics Russell's Theorem (ie, no universal set exists in
> that logic-set-theory combo) is true and in which is false.  Then I'd
> like to know why Russell's Theorem is true sometimes and why not
> sometimes.  Or why it's always true.  Why being the main question for
> me.  I think the physicist would mainly be interested in whether any
> universal (fuzzy) sets can consistently exist, and the logician more
> interested in why it exists.  However, why it exists is, I think, also
> interesting to the philosopher in that it is like asking "why does the
> universe exist" assuming the MUH and that any universal sets can
> consistently exist.
> On Mar 22, 9:30 pm, <[EMAIL PROTECTED]> wrote:
>>> Does 'any theory' in the following quote include theories that
>>> involve
>>> logics with every MV-algebra as their truth set and every set of
>>> syntactical axioms or is this just any theory using binary logic?
>> my guess is: just any theory using binary logic.

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 

Reply via email to