thomblake 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: thomblake 04 October 2012 02:34:56PM 3 points [-]

A solution to that particular example is already in logic - the statements "Elaine is a post-utopian" and "the Earth is round" can be evaluated separately, and then you just need a separate rule for dealing with conjunctions.