RobbBB comments on A forum for researchers to publicly discuss safety issues in advanced AI - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (73)
How is that relevant?
Writing your intuitions up in a formal, precise way can often help you better understand what they are, and whether they're coherent. It's a good way to inspire new ideas and spot counter-intuitive relationships between old ones, and it's also a good way to do a sanity check on an entire framework. So I don't think steering clear of math and logic notation is a particularly good way to enhance the quality of philosophical thought; I think it's frequently more efficient to quickly test your ideas' coherence and univocality.
It's relevant to my preference for factually based critique.
Indeed. I was talking about quantification, not formalisation.
'Formalization' and mathematical logic is closer to what MIRI has in mind when it says 'mathematics'. See http://intelligence.org/research-guide.