lukeprog comments on Things philosophers have debated - Less Wrong

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: lukeprog 31 October 2012 06:45:16AM 5 points [-]

I read this sentence differently than its author intended, I think:

It never ceases to astound me that Graham Priest was willing to take this project seriously enough to act as its supervisor – a clear demonstration of the philosophical spirit.

Comment author: [deleted] 31 October 2012 06:53:43AM *  4 points [-]

It makes sense; as he lays out in the first section, it isn't clear why dialetheism is different from trivialism. If they weren't different, then a good part of his advisor's field would become trivial! Taking on a willing grad student to devote time to separating the two is just good politics.

Comment author: Manfred 31 October 2012 06:06:16PM *  2 points [-]

it isn't clear why dialetheism is different from trivialism.

Imagine all well-formed logical statements, stretching out in an infinite list.

Each of these statements are to be marked "true" or "false." For each possible marking, there is a shortest set of rules that generates that marking. Those rules are "rules of logic" you'd be following if that was how all the statements were to be marked true or false.

Trivialism is a particularly simple rule: "mark all true." Dialetheism points to a category of markings, where both A and not-A are true for some A - and thus points to a category of rules that generate such patterns.

Comment author: [deleted] 31 October 2012 07:09:34PM *  1 point [-]

Trivialism is a particularly simple rule: "mark all true."

This is one form of trivialism; the dissertation also uses it to mean something like "whatever marking you place on the list, every item is marked true (but also possibly marked something else)."