Category:Aristotelian Logic

A branch of logic in which all statements have a truth value of either true or false.

This is the "classical" school of logic upon whose axioms almost all conventional mathematics is based.