back to ideas for this text


Single Idea 13668

[from 'Foundations without Foundationalism' by Stewart Shapiro, in 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