Combining Texts

Ideas for 'Introduction to Russell's Theory of Types', 'Mechanisms' and 'Aboutness'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic

19006	An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo]
	Full Idea: An 'enthymeme' is a deductive argument with an unstated assumption that must be true for the premises to lead to the conclusion.
	From: Stephen Yablo (Aboutness [2014], 11.1)

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

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.

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology

18999	y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo]
	Full Idea: The principle of Supplementation says that y is properly part of x, only if a z exists that 'makes up the difference' between them. [note: that is, z is disjoint from y and sums with y to form x]
	From: Stephen Yablo (Aboutness [2014], 03.2)