Single Idea 13624

[catalogued under 5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic]

Full Idea

The 'triumph' of first-order logic may be related to the remnants of failed foundationalist programmes early this century - logicism and the Hilbert programme.

Gist of Idea

The 'triumph' of first-order logic may be related to logicism and the Hilbert programme, which failed

Source

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

Book Reference

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


A Reaction

Being complete must also be one of its attractions, and Quine seems to like it because of its minimal ontological commitment.