Re: incompleteness and inconsistency


lugita15@xxxxxxxxx wrote:

the original
poster wanted to know whether it is possible to know the consistency of
PA with *absolute certainty*.

A very interesting bit of mind-reading :) The original poster didn't
mention "certainty" at all, let alone "absolute certainty" (whatever
exactly that might be). He asked whether we can *know* that PA is
consistent. Which we can.

There are familiar philosophical riffs that try to get us from fanciful
or neurotic worries about "absolute certainty" that P to doubting
whether we know that P. For example, we can make play with the old
familiar fantasies of evil demons and brains-in-vats, and end up with
student-confusing arguments that seem to show that, e.g., you can't
know that you are reading words right now. But those arguments can and
should be resisted: of course, we *do* know such things in the everyday
sense of "know" (and why should we care about other senses?).

And what goes for the putative inference from "no absolute certainty"
to "no knowledge" for thoughts about your reading right now, goes for
thoughts about arithmetic.

.

Relevant Pages

  • Re: Basic bits operation
    ... Efficiency is architecture dependent, so test ... I'd never use that code unless it were shown with absolute ... certainty to be a bottleneck. ...
    (comp.lang.c)
  • Re: incompleteness and inconsistency
    ... PA with *absolute certainty*. ... "knowing something with absolute certainty", ... student-confusing arguments that seem to show that, e.g., you can't ...
    (sci.logic)
  • Re: May i have your attention please.
    ... So the next time you whine that your facts from a web site are gold ... remember that the TO Gods say that your facts are NOT "absolute ... the earth, and life thereon. ... comfortable with the certainty that I am wrong, ...
    (talk.origins)
  • Re: What is Christmas again?
    ... but anyone who insists with absolute ... certainty either that the Tooth Fairy exists or doesn't ... --Ralph Kennedy!ncar!noao!asuvax!kennedy ...
    (rec.sport.football.college)
Loading