12 ideas
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
Full Idea: Modal logic by its very nature is not monolithic, but fragmented into multiple systems of modal qualifications, reflected in the plurality of accessibility relations on modal model structures or logically possible worlds. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §3) | |
A reaction: He implies the multiplicity is basic, and is only 'reflected' in the relations, but maybe the multiplicity is caused by incompetent logicians who can't decide whether possible worlds really are reflexive or symmetrical or transitive in their relations. |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
Full Idea: Philosophy of logic has (roughly) two camps: extensionalists and intensionalists, with the former view dominant. ...There is a close connection between this and eliminativist or reductivist versus folk psychological and intentionalist philosophy of mind. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
A reaction: Hm. I think I favour intensionalism in the logic, and reductivism about the mind, so I may have a bit of bother here. I'm convinced that this jigsaw can be completed, despite all appearances. |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
Full Idea: Extensionalists hold that quantifiers in predicate logic presuppose the existence of whatever objects can be referred to by constants or bound variables, or enter into true predication of properties. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
A reaction: I have strong sales resistance to this view. Why should a procedure for correctly reasoning from one proposition to another have anything whatever to do with ontology? A false world picture can be interconnected by perfect logic. |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
Full Idea: According to intensionalist semantics the meaning of a proposition is determined by the properties an object possesses. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
A reaction: This sounds good to me. Extensionalist don't seem to care what sets they put things in, but if property possession comes first, then things will fall into their own sets without any help for us. We can add silly sets afterwards, if we fancy. |
5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
Full Idea: Biologists don't split living things into a 'structural' level and an 'abstract' level; ..rather, they are organised at many levels, each level 'abstract' with respect to those beneath it, but 'structural' as it realises those levels above it. | |
From: William Lycan (Introduction - Ontology [1999], p.9) | |
A reaction: This is a very helpful distinction. Compare Idea 4601. It seems to fit well with the 'homuncular' picture of a hierarchical mind, and explains why there are so many levels of description available for mental life. |
5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
Full Idea: There is such a thing as synthetic and a posteriori identity that is nonetheless genuine identity, as in lightning being electrical discharge, and the Morning Star being Venus. | |
From: William Lycan (Introduction - Ontology [1999], p.5) | |
A reaction: It is important to note that although these identities are synthetic a posteriori, that doesn't make them contingent. The early identity theorists like Smart seemed to think that it did. Kripke must be right that they are necessary identities. |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth. | |
From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6) | |
A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible. |
5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
Full Idea: Functionalism has three distinct levels of description: a neurophysiological description, a functional description (relative to a program which the brain is realising), and it may have a further mental description. | |
From: William Lycan (Introduction - Ontology [1999], p.6) | |
A reaction: I have always thought that the 'levels of description' idea was very helpful in describing the mind/brain. I feel certain that we are dealing with a single thing, so this is the only way we can account for the diverse ways in which we discuss it. |
5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
Full Idea: Some theorists have said that the one-to-one correspondence between the organism and parts of its 'program' is too liberal, and suggest that the state and its functional role are seen teleologically, as functioning 'for' the organism. | |
From: William Lycan (Introduction - Ontology [1999], p.9) | |
A reaction: This seems an inevitable development, once the notion of a 'function' is considered. It has to be fitted into some sort of Aristotelian teleological picture, even if the functions are seen subjectively (by what?). Purpose is usually seen as evolutionary. |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
Full Idea: In extensionalist semantics only existent objects can be referred to, ...but in everyday thought and discourse we regularly and apparently without undue confusion speak about nonexistent objects. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
A reaction: This is the reason why Meinong, whose views are presented by Russell as absurd, are undergoing a revival. The full-blown view will even treat 'round squares' as objects about which we can reason - and why not? Don't open a shop which sells them. |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
Full Idea: Extensional semantics is blatantly circular. For 'Fa' to be interpreted as true, we must know that object a belongs to the extension of the predicate F, so we must already know which objects belong to the extension. | |
From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
A reaction: I'm delighted to read this, because it was the first thought that occurred to me when I encountered the theory. Presumably this leads Quine to take predication as basic, because you can't break into the circle. Or, vote for intensionalism? |
5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
Full Idea: There is now a small but vigorous industry whose purpose is to explicate biological teleology in naturalistic terms, typically in terms of causes. | |
From: William Lycan (Introduction - Ontology [1999], p.10) | |
A reaction: This looks like a good strategy. In some sense, it seems clear that the moon has no purpose, but an eyeball has one. Via evolution, one would expect to reduce this to causation. Purposes are real (not subjective), but they are reducible. |