Single Idea 13668

[catalogued under 5. Theory of Logic / A. Overview of Logic / 2. History of Logic]

Full Idea

Bernays (1918) formulated and proved the completeness of propositional logic, the first precise solution as part of the Hilbert programme.

Gist of Idea

Bernays (1918) formulated and proved the completeness of propositional logic

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 7.2.1)

Book Reference

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.180

---