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