ABSTRACT
The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself. This chapter includes propositional logic, formal logic, predicate logic, and symbolic logic. Credit for first establishing logic as a field of study goes to Aristotle. Socrates and Plato are sometimes cited, but they did not look at things as abstractly as Aristotle. Appeals may even be made going back farther to the Pythagoreans, for example, or others. Thus, Aristotle was the first to develop formal logic, intended as a set of rules by which one could reason correctly. He produced six works on logic. In collected form, they became known as the Organon. Logic itself may be divided into many different subfields, some of which overlap.
