7 ideas
| 16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
| Full Idea: The view presented here presupposes that each logical concept is associated with some fixed and well defined collection of rules of inference which characterize its basic logical nature. | |
| From: Fabrice Correia (On the Reduction of Necessity to Essence [2012], 4) | |
| A reaction: [He gives Fine's 'Senses of Essences' 57-8 as a source] He seems to have in mind natural deduction, where the rules are for the introduction and elimination of the concepts. |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
| Full Idea: One view is that logical consequence is to be understood in terms of logical necessity (some proposition holds necessarily, if some group of other propositions holds). Alternatively, logical necessity is a logical consequence of the empty set. | |
| From: Fabrice Correia (On the Reduction of Necessity to Essence [2012], 3) | |
| A reaction: I think my Finean preference is for all necessities to have a 'necessitator', so logical necessity results from logic in some way, perhaps from logical consequence, or from the essences of the connectives and operators. |
| 20082 | Bodily movements are not actions, which are really the tryings within bodily movement [Hornsby, by Stout,R] |
| Full Idea: Hornsby claims the basic description of action is in terms of trying, that all actions (even means of doing other actions) are actions of trying, and that tryings (and therefore actions) are interior to bodily movements (which are thus not essential). | |
| From: report of Jennifer Hornsby (Actions [1980]) by Rowland Stout - Action 9 'Trying' | |
| A reaction: [compression of his summary] There is no regress with explaining the 'action' of trying, because it is proposed that trying is the most basic thing in all actions. If you are paralysed, your trying does not result in action. Too mentalistic? |