Aristotle box of logic for common sense to modal logic

ancient Greeks Aristotle provided a framework for understanding deductive reasoning and laid the foundations for the study of formal logic—his box of logic for common sense. Gottfried Wilhelm Leibniz, George Boole, and Bertrand Russell helped with symbolic logic and the development of mathematical logic.