Thread: Truth and Logic
View Single Post
  #134 (permalink)  
Old 08-November-2009, 01:32 AM
Ken G's Avatar
Ken G Ken G is offline
Order of Kilopi
 
Join Date: Oct 2005
Posts: 13,599
Default

Quote:
Originally Posted by DrRocket View Post
The truth of the Godel sentence is proof of the incompleteness of the system of axioms, which is why it is an incompleteness theorem.
What you keep missing is that the issue here is not the truth of the Godel sentence, it is our knowing that the Godel sentence is true! That's a totally different animal, because our knowing it within the axiomatic system that is arithmetic lets us use that knowledge in proofs in that axiomatic system, including a proof of the Godel sentence. That's what renders it false, and the axiomatic system inconsistent, and that's why it is not a theorem of incompleteness. I'm just repeating myself, but maybe at some point it will click.
Reply With Quote