14 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 14330 | To be realists about dispositions, we can only discuss them through their categorical basis [Armstrong] |
| Full Idea: It is only to the extent that we relate disposition to 'categorical basis', and difference of disposition to difference of 'categorical basis', that we can speak of dispositions. We must be Realists, not Phenomenalists, about dispositions. | |
| From: David M. Armstrong (A Materialist Theory of Mind (Rev) [1968], 6.VI) | |
| A reaction: It is Armstrong's realism which motivates this claim, because he thinks only categorical properties are real. But categorical properties seem to be passive, and the world is active. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 6498 | Armstrong suggests secondary qualities are blurred primary qualities [Armstrong, by Robinson,H] |
| Full Idea: According to D.M. Armstrong and others, when we perceive secondary qualities we are in fact perceiving primary qualities in a confused, indistinct or blurred way. | |
| From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968], 270-90) by Howard Robinson - Perception III.1 | |
| A reaction: This is obviously an attempt to fit secondary qualities into a reductive physicalist account of the mind. Personally I favour Armstrong's project, but doubt whether this strategy is necessary. I just don't think there is anything 'primary' about redness. |
| 5690 | A mental state without belief refutes self-intimation; a belief with no state refutes infallibility [Armstrong, by Shoemaker] |
| Full Idea: For Armstrong, introspection involves a belief, and mental states and their accompanying beliefs are 'distinct existences', so a state without belief shows states are not self-intimating, and the belief without the state shows beliefs aren't infallible. | |
| From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by Sydney Shoemaker - Introspection | |
| A reaction: I agree with Armstrong. Introspection is a two-level activity, which animals probably can't do, and there is always the possibility of a mismatch between the two levels, so introspection is neither self-intimating nor infallibe (though incorrigible). |
| 5493 | If pains are defined causally, and research shows that the causal role is physical, then pains are physical [Armstrong, by Lycan] |
| Full Idea: Armstrong and Lewis said that mental items were defined in terms of typical causes and effects; if, as seems likely, research reveals that a particular causal niche is occupied by a physical state, it follows that pain is a physical state. | |
| From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by William Lycan - Introduction - Ontology p.5 | |
| A reaction: I am not fully convinced of the first step in the argument. It sounds like the epistemology and the ontology have got muddled (as usual). We define mental states as we define electrons, in terms of observed behaviour, but what are they? |
| 4600 | Armstrong and Lewis see functionalism as an identity of the function and its realiser [Armstrong, by Heil] |
| Full Idea: The Armstrong/Lewis version of functionalism takes mental properties to be functional properties, but identifies these with what other functionalists would regard as their realisers. | |
| From: report of David M. Armstrong (A Materialist Theory of Mind (Rev) [1968]) by John Heil - Philosophy of Mind Ch.4 | |
| A reaction: Heil rejects this, but I am beginning to think that this is the answer. If functions do not have an ontological life of their own (the 'ringing' of the bell), then functionalist mental states can't either. Function is not an ontological category. |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |