CronoDAS comments on Destructive mathematics - Less Wrong

-4 Post author: MrMind 08 March 2013 09:31AM

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

Comments (12)

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

Comment author: CronoDAS 08 March 2013 08:50:51PM *  0 points [-]

From any contradictorily accepted propositions any statement can be determined true.

This is true in classical logic, but not in paraconsistent logic systems. They can prove fewer propositions than classical logic, but there are some situations in which you might want to use one.

Comment author: Transfuturist 08 March 2013 10:39:54PM 0 points [-]

I still don't see a point in assuming every statement to be true. It seems more like a gimmick than anything else. Even without the principle of explosion, there must be a distinction between what is proved to be not false and what isn't. What use is there in assuming everything to be true?

I see no point in this theory. The application to MWI doesn't really make sense, and even if it did, that's no reason to give this proposition any credence. The Tegmark hypothesis is also misunderstood; it states that all well-formed mathematical structures complex enough to have self-aware systems subjectively exist to those systems. I am not sure this can be proven, but I see even less of a connection to "destructive mathematics" than MWI.

How is this useful to logic?

Comment author: CronoDAS 09 March 2013 05:38:49AM 1 point [-]

/me shrugs

I don't know any use, myself.