Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes

Replies: 53   Last Post: Feb 13, 2013 3:53 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,348
Registered: 5/20/10
Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes

Posted: Feb 1, 2013 3:35 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Feb 2, 4:09 am, Charlie-Boo <shymath...@gmail.com> wrote:
> There is a peculiar parallel between Semantic Paradoxes, Set Theory
> Paradoxes and ordinary formal Arithmetic.
>
> Consider the following 3 pairs of expressions in English, Set Theory
> and Mathematics:
>
> A
> This is false.
> This is true.
>
> B
> 1/0
> 0/0
>
> C
> {x | x ~e x} e {x | x ~e x}
> {x | x e x} e {x | x ~e x}
> {x | x ~e x} e {x | x e x}
> {x | x e x} e {x | x e x}
>
> A is the Liar Paradox, B is simple Arithmetic, and C is Russell?s
> Paradox.


This is Russells Paradox

{x | x ~e x} e {x | x ~e x}
<->
{x | x ~e x} ~e {x | x ~e x}

To make a consistent set theory the formula { x | x ~e x }
must be flagged somehow.

e.g.in ZFC

{ x | x e y } IFF E(z) y C z

Axiom of Specification.

there is no z such that RS C z
so RS is impossible to define in ZFC.

I'm working on an automated Proof By Contradiction of RS.

You need to forward chain MODUS PONENS
which is new to PROLOG LOGIC since it requires
depth limiting. (which is simple enough and we've
got DL working on backward chaining MP already)

Herc
--
www.BLoCKPROLOG.com


Date Subject Author
2/1/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/3/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
camgirls@hush.com
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
billh04
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle to Resolve Several Paradoxes
William Hale
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle to Resolve Several Paradoxes
Lord Androcles, Zeroth Earl of Medway
2/9/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Brian Q. Hutchings
2/6/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/6/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/7/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/9/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/9/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/10/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/10/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/10/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/10/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/13/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/6/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/11/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/13/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/13/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
fom
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Graham Cooper
2/4/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo
2/5/13
Read Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Charlie-Boo

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.