[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: jboske@yahoogroups.com*Subject*: Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)*From*: Jordan DeLong <fracture@allusion.net>*Date*: Wed, 15 Jan 2003 11:58:33 -0600*In-reply-to*: <20030115022339.GA53261@allusion.net>*References*: <20030114010827.GC45648@allusion.net> <200301141744.MAA04395@mail2.reutershealth.com> <20030115011155.GA52169@allusion.net> <20030115022339.GA53261@allusion.net>*User-agent*: Mutt/1.5.1i

On Tue, Jan 14, 2003 at 08:23:39PM -0600, Jordan DeLong wrote: > On Tue, Jan 14, 2003 at 07:11:55PM -0600, Jordan DeLong wrote: > [...] > > However, sets *are* possible values of variables in Quine[1]... So > > I still don't know what you mean. > > > > [1] Wee, something I can actually proove (using '<' as > > containment again): > > |- (x)(x = x) (theorem 182) > > |- V < V (theorem 210) > > |- V = x^(x = x) (definition of V) > > |- V < x^(x = x) (subst of equivalents) > > |- Ey(V < y . (x)(x < y -> x = x)) (def of abstraction) > > |- Ex(x = V) > > Doh this is wrong. > > I confused membership and containment in the 5th line. I'll try > again later. Ok it's still correct though; I was just thinking member when typing <. |- (x)(x = x) (theorem 182) |- V e V (theorem 210) |- V = x^(x = x) (definition of V) |- V e x^(x = x) (subst of equivalents) |- Ey(V e y . (x)(x e y -> x = x)) (def of abstraction) |- Ex(x = V) -- Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku

**Attachment:
pgp00201.pgp**

**References**:**OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)***From:*Jordan DeLong <fracture@allusion.net>

**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)***From:*John Cowan <cowan@ccil.org>

**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)***From:*Jordan DeLong <fracture@allusion.net>

**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)***From:*Jordan DeLong <fracture@allusion.net>

- Prev by Date:
**Re: [jboske] loi includes Kind** - Next by Date:
**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)** - Previous by thread:
**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)** - Next by thread:
**Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)** - Index(es):