|
|
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
|
|
