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.

TheAncientGeek comments on A forum for researchers to publicly discuss safety issues in advanced AI - Less Wrong Discussion

12 Post author: RobbBB 13 December 2014 12:33AM

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

Article Navigation

Comments (73)

Comments (73)

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

Comment author: TheAncientGeek 14 December 2014 08:57:58PM 0 points [-]

So who, in (contemporary, analytical) philosophy talks about true essences?

How is that relevant?

It's relevant to my preference for factually based critique.

Writing your intuitions up in a formal, precise way can often help you better understand what they are, and whether they're coherent.

Indeed. I was talking about quantification, not formalisation.

Comment author: RobbBB 15 December 2014 10:35:23AM 2 points [-]

'Formalization' and mathematical logic is closer to what MIRI has in mind when it says 'mathematics'. See http://intelligence.org/research-guide.

Powered by Reddit Powered by Reddit