Re: All panduks are green

stevendaryl3016@xxxxxxxxx (Daryl McCullough) writes:

If we decide to treat the "vacuously true" propositions as
neither true nor false then

(x)(x # x --> x > x)

does not have a truth value because ~(Ex)(x # x). Analogically, if

~(Ex)Pxm

then

~(Ex)(Ey)(Pxy & Qy)

does not have a truth value, if Q is satisfied only by y = m. Do I
need to go any further in describing what P and m might be?

I can't imagine why you consider this an advantage. Why do you
want such statements not to have truth values?

Because if such statements cannot be true (by definition), it follows
that Goedel's theorem cannot be true in his logic. At least I *think*
that's why he thinks. How this weird claim would be useful to him is
beyond me. Does it mean that there are magically no formulas which
are neither provable nor refutable if we interpret the axioms of PA in
his (largely unspecified) logic? I can't imagine how.

--
Jesse F. Hughes
"You may not realize it but THOUSANDS of people read my posts.
You are putting your stupidity on wide display."
-- James S. Harris knows about wide displays of stupidity.
.

Relevant Pages

  • Re: Black people less intelligent says scientist
    ... Imagine a head teacher announcing to the school, during assembly, ... Why are you so afraid of the truth? ...
    (uk.legal)
  • Re: Black people less intelligent says scientist
    ... Imagine a head teacher announcing to the school, during assembly, ... Why are you so afraid of the truth? ...
    (uk.legal)
  • Re: The Law of the Excluded Middle again (long)
    ... to propositions containing only free variables. ... and applied only to propositions ... to equate truth with provability. ... I imagine that the response to this argument will be along the lines ...
    (sci.math)
  • Re: baldrick v Jon Down?
    ... or summit? ... however much it may please you to imagine I am owing various sums of ... money and suffering various financial hardships, the truth, as always, ... no reason for it to be lies & you expect people to substantiate claims as if ...
    (uk.local.southwest)
  • subject to Ayaz Al Shehhis league
    ... Can we imagine anything ... more charitable and pleasant? ... There are different degrees in this aversion to truth; ... be said to have it in some degree, because it is inseparable from self-love. ...
    (sci.crypt)
Quantcast