it's fascinating to see just how far a requirement of
   non-contradiction has come since then:
   [1]http://en.wikipedia.org/wiki/List_of_Boolean_algebra_topics

   Boole rules at present but he's a modified Aristotle ultimately
   :P

References

   Visible links
   1. http://en.wikipedia.org/wiki/List_of_Boolean_algebra_topics