gRR comments on Consequentialist Formal Systems - Less Wrong

12 Post author: Vladimir_Nesov 08 May 2012 08:38PM

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

Comments (20)

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

Comment author: gRR 09 May 2012 06:37:12PM 1 point [-]

Would restricting the axiom schema to content-less proposition symbols like "B" solve the problem?