Foundations# Contents: Knowledge History References Logic Propositional Logic Categorical Logic Set Theory Definitions Notation Corollaries Venn Diagrams Relations Operations Theorems Aristotle’s Square of Opposition Square of Opposition