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.

Oligopsony comments on Things philosophers have debated - Less Wrong Discussion

4 Post author: Eliezer_Yudkowsky 31 October 2012 05:09AM

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

Comments (76)

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

Comment author: Oligopsony 07 November 2012 03:25:12PM 0 points [-]

I was curious if trivialism could be interpreted as a system that poses significant distinctions of truth values: for example, one that postulates that some propositions can be true and false, but not necessarily all of them: some of them could just plainly be true. I know that such a system can be formally coherent (after all, there is one that is isomorphic to classical logic), but I'm interested if it has been used in that way.

In that case it's not trivialism anymore, but there are nonclassical logics where some (but not all) propositions are true and false; indeed such things are considerably more popular than trivialism (for what I presume to be obvious reasons.) Graham Priest, for instance, is constantly pointing out that if you drop the principle of explosion it's very easy to have the Liar's Paradox be simultaneously true and false without implying that Socrates simultaneously is and isn't mortal.

But this, I get, is not trivialism.

You get correctly, yes.