Combining Texts

All the ideas for 'The Philosophical Culture', 'A Problem about Substitutional Quantification?' and 'works'

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

3 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
1489 Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel]
     Full Idea: Philosophy is now dominated by a spirit of theory construction which sees philosophy as continuous with science, but the other problem-centred style is still in existence and it is important to keep it alive.
     From: Thomas Nagel (The Philosophical Culture [1995], §6)
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
13536 Skolem did not believe in the existence of uncountable sets [Skolem]
     Full Idea: Skolem did not believe in the existence of uncountable sets.
     From: Thoralf Skolem (works [1920], 5.3)
     A reaction: Kit Fine refers somewhere to 'unrepentent Skolemites' who still hold this view.
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