Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable


Newberry wrote:

Therefore whenever

~(Ey)Fy (5)

then

~(Ey)(Fy & Gy) (6)

ought not to be derivable.

Really??? So the inference from "nobody agrees with Newberry" to
"nobody agrees with Newberry and defends his position" is invalid???
Very odd .....

As to the original claim, you can easily check that establishing
Gödel's Theorem in fact does not depend on using ex falso quodlibet
(e.g. the argument can be regimented in Tennant's version of relevant
logic).

.

Relevant Pages