Happy Birthday to Mr. george Researcher.

All of Boolean logic was based on Aristotelian logic (later also by Plato) but Boole expressed them in mathematical terms.
This includes De Morgan's Law and AND, OR, IF, NAND, NOR , XOR, and his 144 Rules of Fallacy.

(the latter of which is rarely used in Math or Electronic Design unless you are a newbie designer with illegal initial conditions or false assumptions)

http://en.wikipedia.org/wiki/Term_logic

http://faculty.bsc.edu/bmyers/Section5.3.htm

There is a great deal of crossover between Philosphical Logic, Mathematical logic and Electronics Logic design, if you know these already.