Single Idea 13662

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

Full Idea

Almost all the systems developed in the first part of the twentieth century are higher-order; first-order logic was an afterthought.

Gist of Idea

First-order logic was an afterthought in the development of modern logic

Source

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

Book Reference

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