display all the ideas for this combination of texts
3 ideas
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) |
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. |
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) |