| 
|
Quote: need a theory of truth because truth can not be identified with mathematical provability; Godel
topics >
all references >
references t-z >
Topic:
limitations of formalism
Topic:
semantic truth; s iff p
Topic:
Godel's incompleteness theorem
Note
Higg: A theory of truth is needed because of Godel's result that an adequate mathematical theory includes true sentences that are not provable. Therefore truth can not be identified with provability and truth is outside of the mathematical theory.
Topic: limitations of formalism (92 items)
Topic: semantic truth; s iff p (34 items)
Topic: Godel's incompleteness theorem (19 items)