Date: Feb 3, 2013 5:44 PM Author: Graham Cooper Subject: Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle<br> to Resolve Several Paradoxes > and I need a routine for SUBSET( var, set1, set2 )

> which can do quantifier ALL(var).

>

> A(x):D P(x)

>

> <=>

>

> { x | x e D } C { x | P(x) }

<=>

subset( X, d(X), p(X)) PROLOG

<=>

subset X [d X] [p X] BLOCK PROLOG

if I get that far!

I may even pre-parse ALL(x) .... into subset(X....) for the

logicians!

Herc

--

www.BLoCKPROLOG.com