gRR comments on Consequentialist Formal Systems - 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 (20)
Would restricting the axiom schema to content-less proposition symbols like "B" solve the problem?