11 ideas
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'. | |
From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) | |
A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed). | |
From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations. | |
From: Øystein Linnebo (Plural Quantification Exposed [2003], §4) |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free. | |
From: Øystein Linnebo (Plural Quantification Exposed [2003], §0) |
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. |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic. | |
From: Øystein Linnebo (Plural Quantification Exposed [2003], §2) | |
A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'. |
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. |
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. |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
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. |