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.
Related Topics
Topic: limitations of formalism (92 items)
Topic: semantic truth; s iff p (34 items)
Topic: Godel's incompleteness theorem (19 items)
