YKY 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: YKY 13 August 2009 09:24:56AM 1 point [-]

About the so-called "discontinuous truth values", I think the culprit is not that the truth value is discontinuous (it doesn't make sense to say a point-value is continuous or not), but rather that we have a binary predicate, "less-than", which is a discontinuous truth functional mapping.

The statement "less-than(tv, 0.5)" seems to be a binary statement. If we make that predicate fuzzy, it becomes "approximately less than 0.5", which we can visualize as a sigmoidal curve, and this curve intersects with the slope=1 line at 0.5. Thus, the truth value of the fuzzy version of that statement is 0.5, ie, indeterminate.

All in all, this problem seems to stem from the fact that we've introduced the binary predicate "less-than".