22 ideas
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
| 15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
| Full Idea: Maybe peaceful co-existence between absolute logical necessity and absolute metaphysical necessity can be secured, ..and absolute necessity is their union. ...However, a truth would then qualify as absolutely necessary in two quite different ways. | |
| From: Bob Hale (Absolute Necessities [1996], 4) | |
| A reaction: Hale is addressing a really big question for metaphysic (absolute necessity) which others avoid. In the end he votes for rejecting 'metaphysical' necessity. I am tempted to vote for rejecting logical necessity (as being relative). 'Absolute' is an ideal. |
| 8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
| Full Idea: It might be metaphysically necessary that p but logically possible that not-p, so that metaphysical necessity is not, after all, absolute. | |
| From: Bob Hale (Absolute Necessities [1996]), quoted by E.J. Lowe - The Possibility of Metaphysics 1.5 | |
| A reaction: Lowe presents this as dilemma, but it sounds fine to me. Flying pigs etc. have no apparent logical problems, but I can't conceive of a possible world where pigs like ours fly in a world like ours. Earthbound pigs may be metaphysically necessary. |
| 15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
| Full Idea: One type of necessity may be said to be 'stronger' than another when the first always entails the second, but not conversely. This will obtain only if the possibility of the first is weaker than the possibility of the second. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: Thus we would normally say that if something is logically necessary (a very strong claim) then it will have to be naturally necessary. If something is naturally possible, then clearly it will have to be logically possible. Sounds OK. |
| 15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
| Full Idea: Necessity is 'relative' if a claim of φ-necessary that p just claims that it is a logical consequence of some statements Φ that p. We have a 'strong' version if we add that the statements in Φ are all true, and a 'weak' version if not. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: I'm not sure about 'logical' consequence here. It may be necessary that a thing be a certain way in order to qualify for some category (which would be 'relative'), but that seems like 'sortal' necessity rather than logical. |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| Full Idea: Friends of metaphysical necessity would want to hold that when it is metaphysically necessary that p, there is no good sense of 'possible' (except, perhaps, an epistemic one) in which it is possible that not-p. | |
| From: Bob Hale (Absolute Necessities [1996], 2) | |
| A reaction: We might want to say which possible worlds this refers to (and presumably it won't just be in the actual world). The normal claim would refer to all possible worlds. Adding a '...provided that' clause moves it from absolute to relative necessity. |
| 15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
| Full Idea: 'Broadly' logical necessities are propositions whose truth derives entirely from the concepts involved in them (together, of course, with relevant structure). | |
| From: Bob Hale (Absolute Necessities [1996], 3) | |
| A reaction: Is the 'logical' part of this necessity bestowed by the concepts, or by the 'structure' (which I take to be a logical structure)? |
| 15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
| Full Idea: The logical necessities can be taken to be the propositions which are true in virtue of the nature of all logical concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.10) | |
| A reaction: This is part of his story of essences giving rise to necessities. His proposal sounds narrow, but logical concepts may have the highest degree of generality which it is possible to have. It must be how the concepts connect that causes the necessities. |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| Full Idea: Conceptual necessities can be taken to be propositions which are true in virtue of the nature of all concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.9) | |
| A reaction: Fine endorse essences for these concepts. Could we then come up with a new concept which contradicted all the others, and destroyed the necessity? Yes, presumably. Presumably witchcraft and astrology are full of 'conceptual necessities'. |
| 5806 | Belief is the power of metarepresentation [Dretske] |
| Full Idea: Belief is the power of metarepresentation. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §2.3) | |
| A reaction: Hm. I have always defined belief as 'commitment to truth', and this definition leaves out both parts. Where is the commitment? If hope is another metarepresentation, how does it differ from belief? I imagine things, not believing them to be true. |
| 5801 | A mouse hearing a piano played does not believe it, because it lacks concepts and understanding [Dretske] |
| Full Idea: A mouse can see and hear a piano being played, but believing is something else; it requires the concept of a piano, and understanding. Mice who hear pianos being played do not believe pianos are being played. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §1.3) | |
| A reaction: Are we to say that when a mouse hears a piano it has no beliefs at all? Might not a belief involve images, so that a mouse calls up appropriate images from previous experiences, which are in a grey area on the edge of belief? |
| 5802 | Representations are in the head, but their content is not, as stories don't exist in their books [Dretske] |
| Full Idea: Representations are in the head, but their content is not; in this sense, the mind isn't in the head any more than stories (i.e. story contents) are in books. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §1.6) | |
| A reaction: This is the final consequence of Putnam's idea that meanings ain't in the head. Intentionality is an extraordinary bridge between the brain and the external world. The ontology of stories, and musical compositions, is one philosophy's deepest problems. |
| 5809 | Some activities are performed better without consciousness of them [Dretske] |
| Full Idea: Some tasks (playing the piano, speaking foreign languages, playing fast sports) are best performed when the agent is largely unconscious of the details. | |
| From: Fred Dretske (Naturalizing the Mind [1997], Ch.4 n16) | |
| A reaction: A significant point, but it supports the evolutionary view, which is that what matters is success, and consciousness will switch on or off, whichever promotes the activity best. |
| 5808 | Qualia are just the properties objects are represented as having [Dretske] |
| Full Idea: The Representational Thesis of mind identifies the qualities of experience - qualia - with the properties objects are represented as having. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §3.2) | |
| A reaction: This seems to challenge the distinction between primary and secondary qualities, of which I am very fond. Is 'looks beautiful' a property of an object? Is the feeling of anger a property of an object? Qualia are properties of brains? |
| 5803 | In a representational theory of mind, introspection is displaced perception [Dretske] |
| Full Idea: On a representational theory of the mind, introspection becomes an instance of displaced perception - knowledge of internal (mental) facts via an awareness of external (physical) objects. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §2) | |
| A reaction: This sounds close to a behaviourist (e.g. Ryle) account of introspection, via observing one's own behaviour. The word 'displaced' is an easy one, concealing a multitude of questions. |
| 5807 | Introspection is the same as the experience one is introspecting [Dretske] |
| Full Idea: Introspection has no phenomenology or, if it does, it always has the same phenomenology as the experience one is introspecting. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §2.4) | |
| A reaction: There is a difference between looking at a tree, and being aware of yourself looking at a tree. You can be faintly depressed, and then become aware that you are faintly depressed. He is nearly right. |
| 5805 | Introspection does not involve looking inwards [Dretske] |
| Full Idea: The 'problem' of introspection evaporates once one understands that it is not a process in which one looks inward. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §2) | |
| A reaction: I take it that when we introspect we look at the contents of thoughts, which are representations of the external world, on the whole. But surely only the connections of those contents with memories can be seen inwardly? |
| 5804 | A representational theory of the mind is an externalist theory of the mind [Dretske] |
| Full Idea: A representational theory of the mind is an externalist theory of the mind. | |
| From: Fred Dretske (Naturalizing the Mind [1997], §2) | |
| A reaction: Presumably brain events bring the world into the mind, so the world must be mentioned in explaining the mind. Maybe 'externalism' sounds grand, but is stating the boringly obvious. Explanations of mind need no mention of external particulars. |
| 5800 | All mental facts are representation, which consists of informational functions [Dretske] |
| Full Idea: My thesis is that all mental facts are representational facts, and that all representational facts are facts about informational functions. | |
| From: Fred Dretske (Naturalizing the Mind [1997], Prol) | |
| A reaction: The first half of the thesis seems a bit difficult to disagree with, but that a fact is 'represented' may not be the essence of that fact. The biggest mystery is the content, not its representation. And everything is 'information' about everything else. |