Re: All panduks are green

On May 2, 9:49 pm, "Nam D. Nguyen" <namducngu...@xxxxxxx> wrote:
Newberry wrote:
On May 2, 5:40 am, "Nam D. Nguyen" <namducngu...@xxxxxxx> wrote:
Jesse F. Hughes wrote:
"Nam D. Nguyen" <namducngu...@xxxxxxx> writes:
Daryl McCullough wrote:
Let me just say further how much I object to defining truth as provability.
Why people in "modern" time, 70+ years after Hilbert's time and
after the time when intuitive paradoxes were abound, look at
provability as if it were a disease really perplexes me.
Funny inference you have there.  Daryl says "Truth is not the same as
provability".  You conclude that Daryl thinks provability is a
disease.
Because truth can be defined (and should be) by provability!

I would certainly agree but you realize this is very unorthodox view?

So long as one has a good reason to support it, which I think I do,
that shouldn't be a deterrence.

You will not get anywhere with logical reasoning. That is not how the
system works. But I would be curious what your reasons are.
.

Relevant Pages

  • Re: All panduks are green
    ... Let me just say further how much I object to defining truth as provability. ... provability as if it were a disease really perplexes me. ... Daryl says "Truth is not the same as ...
    (sci.logic)
  • Re: All panduks are green
    ... provability as if it were a disease really perplexes me. ... You conclude that Daryl thinks provability is a ... You will not get anywhere with logical reasoning. ...
    (sci.logic)
  • Re: All panduks are green
    ... provability as if it were a disease really perplexes me. ... Because truth can be defined by provability! ... axioms and rules of inference you are using. ...
    (sci.logic)
  • Re: All panduks are green
    ... provability as if it were a disease really perplexes me. ... You conclude that Daryl thinks provability is a ...
    (sci.logic)
  • Re: All panduks are green
    ... provability as if it were a disease really perplexes me. ... You conclude that Daryl thinks provability is a ...
    (sci.logic)
Quantcast