more on this theme     |     more from this thinker

Single Idea 13639

[filed under theme 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 Ref

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

The 2 ideas from 'Whitehead and the Rise of Modern Logic'

13639 Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
21557 Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]