back to idea for this text


Single Idea 13639

[from 'Whitehead and the Rise of Modern Logic' by Willard Quine, in 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

Quine (in 1941) attacked 'Principia Mathematica' because the items in the range of higher-order variables (attributes etc) are intensional and thus do not have a clearly defined identity relation.

Gist of Idea

Quine says higher-order items are intensional, and lack a clearly defined identity relation

Source

report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Stewart Shapiro - Foundations without Foundationalism 1.3

Book Reference

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