Christian_Szegedy comments on Deleting paradoxes with fuzzy logic - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (70)
You are right: you may come up with another consistent way of defining truth.
However, my comment was a reaction to silas's comment, in which he seemed to confuse the notion syntactic and semantic truth, taking provability as the primary criterion. I just pointed out that even undergraduate logic courses treat semantic truth as basis and syntactic truth enters the picture as a consequence.