3 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
Full Idea: If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference. | |
From: James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro | |
A reaction: Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable. |
19590 | Empiricists are passive thinkers, given their philosophy by the external world and fate [Novalis] |
Full Idea: An empiricist is one whose way of thinking is an effect of the external world and of fate - the passive thinker - to whom his philosophy is given. | |
From: Novalis (Teplitz Fragments [1798], 33) | |
A reaction: Novalis goes on to enthuse about 'magical idealism', so he rejects empiricism. This is an early attack on the Myth of the Given, found in Sellars and McDowell. |