Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Magna Carta' and 'Whitehead and the Rise of Modern Logic'

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 / 4. Substitutional Quantification
10792 The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
     Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation.
     From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165
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.
25. Social Practice / D. Justice / 2. The Law / b. Rule of law
22824 Magna Carta forbids prison without trial, and insists on neutral and correct process [-, by Charvet]
     Full Idea: The Magna Carta forbids the King to imprison indefinitely without trial, and also binds the King to follow due process in his courts and not allow the justice provided to be for sale.
     From: report of - (Magna Carta [1215]) by John Charvet - Liberalism: the basics 02
     A reaction: Very exasperating for a medieval monarch. In current times British law is exceedingly slow (so long imprisonment before trial), and the necessary effective advocates cost vastly too much for all but a tiny minority. So it's going badly.