Annoyance comments on Formalization is a rationality technique - Less Wrong

5 Post author: Johnicholas 06 March 2009 08:22PM

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

Comments (21)

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

Comment author: Annoyance 07 March 2009 04:24:52PM 4 points [-]

No. The set of precise, specific, and clear ways to express an idea is much, much larger than the set of formal ways (which are arguably a subset of the larger group). Generally, it's easier to hit a very large target than a narrow one. And if you don't know how to hit the set, hitting a subset will probably be even harder.

Precision and clarity precede the formal versions of themselves, in the same way that people used the principles of logic long before they were explicitly recognized and formalized. If Aristotle didn't already understand those principles, he could never have generated formal logic, which is the rational examination of them. If you don't understand the ideas clearly, you won't be able to formalize them.

Comment author: Johnicholas 07 March 2009 04:52:11PM 2 points [-]

I have had good experiences sharpening my ideas by striving to formalize them, into propositional or predicate logic, into running code, or (more recently) into bayesian networks.

Of course, formalization as a technique for improving arguments may not be useful for everybody.