This site is not maintained. Click here for the new website of Richard Dawkins.

Comment

← Moral Clarity and Richard Dawkins

Anaximander's Avatar Jump to comment 132 by Anaximander

!p&(p-->q)-->!q, where r-->s means sOR(NOT-r). Whatever !x means (for x a proposition), this axiom implies (Forallx(!x))OR(Forallx(NOT-!x))IOR(Forallx(!xx)).

I can't read this notation. What does it mean?

It is called Moral Clarity.

Mon, 28 May 2012 21:49:51 UTC | #944079