You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

ec429 comments on Syntacticism - Less Wrong Discussion

-3 Post author: ec429 23 September 2011 06:49AM

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

Comments (62)

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

Comment author: ec429 23 September 2011 05:26:48PM *  2 points [-]

Statements have no meaning inherent in themselves. That doesn't stop us ascribing semantics to things, we just have to stop believing that "P∧(P=>Q) ⊦ Q" has a little XML tag saying "true" stuck to it out there in Plato-space.