shminux comments on The Useful Idea of Truth - Less Wrong

77 Post author: Eliezer_Yudkowsky 02 October 2012 06:16PM

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

Comments (513)

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

Comment author: Eliezer_Yudkowsky 02 October 2012 05:26:28AM 5 points [-]

Koan answers here for:

What rule could restrict our beliefs to just propositions that can be meaningful, without excluding a priori anything that could in principle be true?

Comment author: CCC 03 October 2012 12:21:21PM 1 point [-]

"A statement can be meaningful if a test can be constructed that will return only one result, in all circumstances, if the statement is true."

Consider the satement: If I throw an object off this cliff, then the object will fall. The test is obvious; I can take a wide variety of objects (a bowling ball, a rock, a toy car, and a set of music CDs by <unpopular musician>) and throw them off the cliff. I can then note that all of them fall, and therefore improve the probability that the statement is true. I can then take one final object, a helium balloon, and throw it off the cliff; as the balloon rises, however, I have therefore shown that the statement is false. (A more correct version would be "if I throw a heavier-than-air object off this cliff, then the object will fall." It's still not completely true yet - a live pigeon is heavier than air - but it's closer).

By this test, however, the statement "Carol is a post-utopian author" is meaningful, as long as there exist some features which are the features of post-modern authors (the features do not need to be described, or even known, as long as their existence can be proven - repeatable, correct classification by a series of artificial neural networks would prove that such features exist).