From your link.
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?
Could Russell have proved anything in the context of even
paraconsistent logic, not to mention all non-classical logics (such as
those that were revealed in the 50's or so), using what he might have
known at his time?
<quote>
As was discovered by Russell, any theory that contains the
Comprehension Schema is inconsistent. For putting 'y not-element y'
for A in the Comprehension Schema and instantiating the existential
quantifier to an arbitrary such object 'r' gives:....
</quote>
On Mar 22, 7:48 pm, Brian Tenneson <tenn....domain.name.hidden> wrote:
> I'm going to have to look into the question "has my, or a similar,
> question been answered yet" as I honestly don't know for sure. I
> would be really happy if it was answered, in some sense, because
> whether or not I answer it, I am still curious about the answer.
>
> Thanks for posting that.
>
> On Mar 22, 7:36 pm, <dfzone-everyth....domain.name.hidden> wrote:
>
> > > My main
> > > goal is that I seem to need to show that such a fuzzy set theory, one
> > > with a "universal set," is ++consistent relative to ZFC++ or at
> > > least
> > > prove that that's not possible (ie, prove a generalization of
> > > Russell's "paradox").
>
> > It is proved in Paraconsistent Logic:
>
> > http://plato.stanford.edu/entries/logic-paraconsistent/#MatSig
>
> > _____________________________________________________________________________
> > Envoyez avec Yahoo! Mail. Capacité de stockage illimitée pour vos emails.http://mail.yahoo.fr
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sat Mar 22 2008 - 23:08:36 PDT