- George Boole (plato.standford.edu)
George Boole (1815–1864) was an English mathematician and a founder of the algebraic tradition in logic. He worked as a schoolmaster in England and from 1849 until his death as professor of mathematics at Queen’s University, Cork, Ireland. He revolutionized logic by applying methods from the then-emerging field of symbolic algebra to logic. Where traditional (Aristotelian) logic relied on cataloging the valid syllogisms of various simple forms, Boole’s method provided general algorithms in an algebraic language which applied to an infinite variety of arguments of arbitrary complexity. These results appeared in two major works, The Mathematical Analysis of Logic (1847) and The Laws of Thought (1854).
- Sic semper tyrannis (Wikipedia)
Sic semper tyrannis is a Latin phrase meaning “thus always to tyrants”. In contemporary parlance, it means tyrannical leaders will inevitably be overthrown. The phrase also suggests that bad but justified outcomes should, or eventually will, befall tyrants. It is the state motto of Virginia.
