= 27d567bc2d48d9f40e9ccc20ea370b15)
Emile comments on How SIAI could publish in mainstream cognitive science journals - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (76)
It's not redundant; it's a more witty and elegant way of saying that there are some new things, some true things, but none that are both.
It technically is redundant, though, because it has the form (A=>~B)&(B=>~A), while A=>~B and B=>~A are equivalent to each other. It doesn't need to be symmetrized because the statement was symmetric in the first place, even if it wasn't stated in an obviously symmetric form such as ~(A&B). (Going to have to say I like the redundant version for emphasis, though.)