6 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
8526 | 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? |
8527 | 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. |
8528 | 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). |
15312 | We get the idea of power by abstracting from ropes, magnets and electric shocks [Priestley] |
Full Idea: A rope sustains weight, a magnet attracts iron, a charged electrical jar gives a shock, and from these and other similar observations, we get the idea of power, universally and abstractly considered. | |
From: Joseph Priestley (Theological and other works [1790], p.191), quoted by Harré,R./Madden,E.H. - Causal Powers 9.II.B | |
A reaction: I agree with this, in that we appear to be observing powers directly, and are not observing something which can then be reduced to non-powers. Nature just can't be a set of inert structures, with forces 'imposed' on them. |
15311 | Attraction or repulsion are not imparted to matter, but actually constitute it [Priestley] |
Full Idea: Attraction or repulsion appear to me not to be properly what is imparted to matter, but what really makes it what it is, in so much that, without it, it would be nothing at all. | |
From: Joseph Priestley (Theological and other works [1790], p.237), quoted by Harré,R./Madden,E.H. - Causal Powers 9.II.B | |
A reaction: This is music to the ears of anyone who thinks that powers are the fundamentals of nature (like me). |