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.

paper-machine 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.

Article Navigation

Comments (76)

Comments (76)

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

Comment author: [deleted] 31 October 2012 05:17:24PM 1 point [-]

This is pretty standard model theory: the class of models of the total theory is empty (viceversa: the theory of the class of all models is empty).

I'm not sure why level IV would restrict itself to standard model theory. In a tri-valued logic (i.e., all propositions are either true, false, or both), there are non-trivial models of trivialism.

Comment author: Luke_A_Somers 05 November 2012 04:01:11PM 0 points [-]

Trivialism would not respect Tegmark IV's subsections which comply with our model of logic.

Powered by Reddit Powered by Reddit