[T]he class of true sentences is the class the utterance of a member of which a speaker of the language is aiming at when he employs what is recognizably the assertoric use. [COOL: truth telling is like winning a game]
[O]nce a system has been formulated, we can, by reference to it, define new properties not expressible in it, such as the property of being a true statement in the system; hence, by applying induction to such new properties, we can arrive at conclusions not provable in it. [NOT COOL: Gödel makes this impossible]
No comments:
Post a Comment