When1: 1847
When2: 1854
Who: George Boole [Boole, George]
What: mathematician
Where: England
works\ Mathematical Analysis of Logic [1847]; Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities [1854]
Detail: He lived 1815 to 1864 and studied symbolic logic and logic of classes or extensional logic. Arithmetic and algebras have axioms and theorems allowing independent term or variable meanings. Axioms and theorems can be statements, sets, classes, events, or durations. Syllogisms can use arithmetic notation, and algorithm can prove them {Boolean algebra, Boole}. Boolean algebra has sets, union operation, intersection operation, complement operation, zero element, and unit element. Arithmetic axioms hold for elements and operations.
Epistemology
Mind has ability to conceive class, designate individual class members by common name, perform other logical tasks, and think logically {laws of thought, Boole}. Thought laws are innate and inherited.
Mathematical Sciences>Mathematics>History>Logic
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224