10 ideas
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
Full Idea: Metaphysics is the most general attempt to make sense of things. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
10885 | Computer proofs don't provide explanations [Horsten] |
Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
18439 | Because things can share attributes, we cannot individuate attributes clearly [Quine] |
Full Idea: No two classes have exactly the same members, but two different attributes may be attributes of exactly the same things. Classes are identical when their members are identical. ...On the other hand, attributes have no clear principle of individuation. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.100) |
18442 | You only know an attribute if you know what things have it [Quine] |
Full Idea: May we not say that you know an attribute only insofar as you know what things have it? | |
From: Willard Quine (On the Individuation of Attributes [1975], p.106) | |
A reaction: Simple, and the best defence of class nominalism (a very implausible theory) which I have encountered. Do I have to know all the things? Do I not know 'red' if I don't know tomatoes have it? |
18441 | No entity without identity (which requires a principle of individuation) [Quine] |
Full Idea: We have an acceptable notion of class, or physical object, or attribute, or any other sort of object, only insofar as we have an acceptable principle of individuation for that sort of object. There is no entity without identity. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.102) | |
A reaction: Note that this is his criterion for an 'acceptable' notion. Presumably that is for science. It permits less acceptable notions which don't come up to the standard. And presumably true things can be said about the less acceptable entities. |
18440 | Identity of physical objects is just being coextensive [Quine] |
Full Idea: Physical objects are identical if and only if coextensive. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.101) | |
A reaction: The supposed counterexample to this is the statue and the clay it is made of, which are said to have different modal properties (destroying the statue doesn't destroy the clay). |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |