Aristotle was the first to put logic into a formal framework. His version is called propositional logic (see also syllogism and deductive reasoning). Other forms of logic use types of mathematics (mathematical logic) or symbols. Boolean algebra is about things being true and false.