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 below). 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. Bruno http://iridia.ulb.ac.be/~marchal/ 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 http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---