display all the ideas for this combination of texts
2 ideas
13639 | Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro] |
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. | |
From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Stewart Shapiro - Foundations without Foundationalism 1.3 |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
Full Idea: From the intuitionist standpoint the dogma of the universal validity of the principle of excluded third in mathematics can only be considered as a phenomenon of history of civilization, like the rationality of pi or rotation of the sky about the earth. | |
From: Luitzen E.J. Brouwer (works [1930]), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
A reaction: [Brouwer 1952:510-11] |