theorem vs. truth
- From: george <greeneg@xxxxxxxxxxxxx>
- Date: Mon, 22 Sep 2008 17:29:51 -0700 (PDT)
On Sep 22, 8:16 pm, Scott <ToaTe...@xxxxxxxxx> wrote:
Now a theorem is a true formula under some theory T.
It *IS NOT*!
You are JUST LYING!
TRUTH does NOT happen under THEORIES!
TRUTH happens under INTERPRETATIONS!
Under THEORIES, PROVABILITY or DERIVABILITY or
BEING A THEOREM happens INSTEAD of truth!
Theorems have to be true but truths DO NOT Have to be theorems!
Even MENTIONING "true" and "under a theory" in the same
breath about the same sentence PROVES YOU DON'T
KNOW WHAT YOU'RE TALKING ABOUT!
STOP ASSERTING things!
ASK SOME QUESTIONS!
.
- References:
- Question regard implication and being a theorem of FOL.
- From: Scott
- Re: Question regard implication and being a theorem of FOL.
- From: MoeBlee
- Re: Question regard implication and being a theorem of FOL.
- From: Scott
- Re: Question regard implication and being a theorem of FOL.
- From: george
- Re: Question regard implication and being a theorem of FOL.
- From: Scott
- Re: Question regard implication and being a theorem of FOL.
- From: MoeBlee
- Re: Question regard implication and being a theorem of FOL.
- From: Scott
- Re: Question regard implication and being a theorem of FOL.
- From: MoeBlee
- Re: Question regard implication and being a theorem of FOL.
- From: george
- Re: Question regard implication and being a theorem of FOL.
- From: Scott
- Re: Question regard implication and being a theorem of FOL.
- From: MoeBlee
- Re: Question regard implication and being a theorem of FOL.
- From: Scott
- Question regard implication and being a theorem of FOL.
- Prev by Date: Re: Question regard implication and being a theorem of FOL.
- Next by Date: Re: Do number's barn-dance?
- Previous by thread: Re: Question regard implication and being a theorem of FOL.
- Next by thread: Re: Question regard implication and being a theorem of FOL.
- Index(es):
Relevant Pages
|
