Combining Texts

All the ideas for 'poems', 'Whitehead and the Rise of Modern Logic' and 'works'

unexpand these ideas     |    start again     |     specify just one area for these texts

4 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
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
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743 De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
     Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'.
     From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1
     A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
21557 Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
     Full Idea: Quine (1941) said that Russell had confused use and mention, and thus thought he had reduced classes to linguistic entities, while in fact he reduced them only to Platonic properties.
     From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133
     A reaction: This is cited as the 'orthodox critical interpretation' of Russell and Whitehead. Confusion of use and mention was a favourite charge of Quine's.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017 Nomos is king [Pindar]
     Full Idea: Nomos is king.
     From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture
     A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed.