|
Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle to Resolve Several Paradoxes
Posted:
Feb 3, 2013 11:53 PM
|
|
On Feb 4, 2:19 pm, Charlie-Boo <shymath...@gmail.com> wrote: > > > RELATION > > p(a, b, e) > > If wffs are built on relations then { x | x ~e x } is not a wff > because ~e is not a relation. >
if e(x,y) is a predicate then not(e(x,y)) is a predicate
http://en.wikipedia.org/wiki/First_order_logic#Formation_rules Negation. If f is a formula, then f' is a formula.
---------------------------------------------
In BLOCK PROLOG Russell's Set would be:
if [ not [ e X X ]] [ e X rs ] if [ e X rs ] [ not [ e X X ]]
I'm trying to forward MODUS PONENS to a contradiction!
Herc -- www.BLoCKPROLOG.com
|
|