back to ideas for this text


Single Idea 13637

[from 'Foundations without Foundationalism' by Stewart Shapiro, in 5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |= ]

Full Idea

Second-order logic is inherently incomplete, so its semantic consequence relation is not effective.

Gist of Idea

If a logic is incomplete, its semantic consequence relation is not effective

Source

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

Book Reference

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