Johnicholas comments on Formalizing informal logic - Less Wrong

12 Post author: Johnicholas 10 September 2009 08:16PM

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

Comments (22)

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

Comment author: Johnicholas 12 September 2009 01:44:58AM *  2 points [-]

What evidence would convince you personally that some purported Seed AGI was in fact Friendly?

Sound arguments are central to Friendly AGI research. The arguments cannot be too long, either. If someone hands you a giant proof, and you accept it as evidence without understanding it, then your implicit argument is something like "from expert testimony" or "long proofs that look valid to spot-checks are likely to be sound".