Christian_Szegedy comments on Deleting paradoxes with fuzzy logic - Less Wrong

6 [deleted] 11 August 2009 04:27AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (70)

You are viewing a single comment's thread. Show more comments above.

Comment author: Christian_Szegedy 11 August 2009 06:01:43PM 0 points [-]

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.