Re: Request for Reference/Link to example of defining a theory/logic.
- From: "Peter_Smith" <ps218@xxxxxxxxx>
- Date: 13 Nov 2006 11:21:20 -0800
Scott wrote:
But from Godel's incompleteness
proof, FOL is incomplete. Thus, it is possible to contruct a predicate
P(x1,...,xn) such that FOL |- P & ~P but that P is true by
construction.
This is the sheerest nonsense. The incompleteneness theorem does not
show that a contradiction is provable in FOL (how could it possibly do
that when there is an elementary proof that no contradiction is
derivable as theorem in FOL)????
.
- Follow-Ups:
- References:
- Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Charlie-Boo
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Request for Reference/Link to example of defining a theory/logic.
- Prev by Date: Re: Request for Reference/Link to example of defining a theory/logic.
- Next by Date: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
- Previous by thread: Re: Request for Reference/Link to example of defining a theory/logic.
- Next by thread: Re: Request for Reference/Link to example of defining a theory/logic.
- Index(es):
Relevant Pages
|
