Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Questions on Aristotle's Physics' and 'Tropes'

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


8 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
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.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly]
     Full Idea: Since C.B. Martin accepts both tropes and substances as fundamental, the claim that tropes are the only fundamental constituents is a further, independent claim.
     From: Chris Daly (Tropes [1995], §4)
     A reaction: A dubious mode of argument. Martin may only make the claim because he is ignorant, of facts or of language. Why are some tropes perfectly similar? Is it the result of something more fundamental?
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
More than one trope (even identical ones!) can occupy the same location [Daly]
     Full Idea: More than one trope can occupy the same spatio-temporal location, and it even seems possible for a pair of exactly resembling tropes to occupy the same spatio-temporal location.
     From: Chris Daly (Tropes [1995], §6)
     A reaction: This may be the strongest objection to tropes. Being disc-shaped and red would occupy the same location. Aristotle's example of mixing white with white (Idea 557) would be the second case. Individuation of these 'particulars' is the problem.
If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly]
     Full Idea: To explain how tropes form bundles, concurrence relations are invoked. But tropes F and G and a concurrence relation C don't ensure that F stands in C to G. So trope theory needs 'instantiation' relations (special relational tropes) after all.
     From: Chris Daly (Tropes [1995], §7)
     A reaction: Campbell presents relations as 'second-order' items dependent on tropes (Idea 8525), but that seems unclear. Daly's argument resembles Russell's (which he likes), that some sort of universal is inescapable. It also resembles Bradley's regress (7966).
9. Objects / C. Structure of Objects / 4. Quantity of an Object
Without magnitude a thing would retain its parts, but they would have no location [Buridan]
     Full Idea: If magnitude were removed from matter by divine power, it would still have parts distinct from one another, but they would not be positioned either outside one another or inside one another, because position would be removed.
     From: Jean Buridan (Questions on Aristotle's Physics [1346], I.8 f. 11va), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 14.4
     A reaction: This shows why Quantity is such an important category for scholastic philosopher.
9. Objects / E. Objects over Time / 8. Continuity of Rivers
A thing is (less properly) the same over time if each part is succeeded by another [Buridan]
     Full Idea: Less properly, one thing is said to be numerically the same as another according to the continuity of distinct parts, one in succession after another. In this way the Seine is said to be the same river after a thousand years.
     From: Jean Buridan (Questions on Aristotle's Physics [1346], I.10, f. 13vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 29.3
     A reaction: This is a rather good solution to the difficulty of the looser non-transitive notion of a thing being 'the same'. The Ship of Theseus endures (in the simple case) as long as you remember to replace each departing plank. Must some parts be originals?
14. Science / A. Basis of Science / 2. Demonstration
Induction is not demonstration, because not all of the instances can be observed [Buridan]
     Full Idea: Inductions are not demonstrations, because they do not conclude on account of their form, since it is not possible to make an induction from all cases.
     From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3
     A reaction: Thus showing that demonstration really is meant to be as conclusive as a mathematical proof, and that Aristotle seems to think such a thing is possible in physical science.
14. Science / C. Induction / 2. Aims of Induction
Science is based on induction, for general truths about fire, rhubarb and magnets [Buridan]
     Full Idea: Induction should be regarded as a principle of natural science. For otherwise you could not prove that every fire is hot, that all rhubarb is purgative of bile, that every magnet attracts iron.
     From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3
     A reaction: He is basing this on Aristotle, and refers to 'Physics' 190a33-b11.