Single Idea 22277

[catalogued under 5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof]

Full Idea

Boole's work was an early example of the axiomatic method, whereby intellectual economy is achieved by studying a set of axioms in which the primitive terms have multiple interpretations.

Gist of Idea

Boole's method was axiomatic, achieving economy, plus multiple interpretations

Source

report of George Boole (The Laws of Thought [1854]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Boole'

Book Reference

Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.19


A Reaction

Unclear about this. I suppose the axioms are just syntactic, and a range of semantic interpretations can be applied. Are De Morgan's Laws interpretations, or implications of the syntactic axioms? The latter, I think.