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