14 ideas
| 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. |
| 10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
| Full Idea: I can start with a triangle, and rise by degrees to all straight-lined figures and to extension itself. The lower degree will include the higher degree. Since the higher degree is less determinate, it can represent more things. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] This attempts to explain the generalising ability of abstraction cited in Idea 10501. If you take a complex object and eliminate features one by one, it can only 'represent' more particulars; it could hardly represent fewer. |
| 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. |
| 19525 | If the only aim is to believe truths, that justifies recklessly believing what is unsupported (if it is right) [Conee/Feldman] |
| Full Idea: If it is intellectually required that one try to believe all and only truths (as Chisholm says), ...then it is possible to believe some unsubstantiated proposition in a reckless endeavour to believe a truth, and happen to be right. | |
| From: E Conee / R Feldman (Evidentialism [1985], 'Justification') | |
| A reaction: This implies doxastic voluntarism. Sorry! I meant, this implies that we can control what we believe, when actually we believe what impinges on us as facts. |
| 18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
| Full Idea: We can have knowledge of what is outside us only through the mediation of ideas in us. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], p.63), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' |
| 19524 | We don't have the capacity to know all the logical consequences of our beliefs [Conee/Feldman] |
| Full Idea: Our limited cognitive capacities lead Goldman to deny a principle instructing people to believe all the logical consequences of their beliefs, since they are unable to have the infinite number of beliefs that following such a principle would require. | |
| From: E Conee / R Feldman (Evidentialism [1985], 'Doxastic') | |
| A reaction: This doesn't sound like much of an objection to epistemic closure, which I took to be the claim that you know the 'known' entailments of your knowledge. |
| 19518 | Evidentialism says justifications supervene on the available evidence [Conee/Feldman] |
| Full Idea: Fundamentally Evidentialism is a supervenience thesis, according to which facts about whether or not a person is justified in believing a proposition supervene on facts describing the evidence the person has. | |
| From: E Conee / R Feldman (Introduction to 'Evidentialism' [2004], p.1) | |
| A reaction: If facts 'describe', does that make them linguistic? That's not how I use 'facts'. A statement of a fact is not the same as the fact. An ugly fact can be beautifully expressed. I am, however, in favour of evidence. |
| 16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
| Full Idea: The form is what renders a thing such and distinguishes it from others, whether it is a being really distinct from the matter, according to the Schools, or whether it is only the arrangement of the parts. By this form one must explain its properties. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], III.18 p240), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 27.6 | |
| A reaction: If we ask 'what explains the properties of this thing' it is hard to avoid coming up with something that might be called the 'form'. Note that they allow either substantial or corpuscularian forms. It is hard to disagree with the idea. |
| 10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
| Full Idea: The mind cannot perfectly understand things that are even slightly composite unless it considers them a part at a time. ...This is generally called knowing by abstraction. (..the human body, for example). | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: This adds the interesting thought that the mind is forced to abstract, rather than abstraction being a luxury extra feature. Knowledge through analysis is knowledge by abstraction. Also a nice linking of abstraction to epistemology. |
| 10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
| Full Idea: If I draw an equilateral triangle on a piece of paper, ..I shall have an idea of only a single triangle. But if I ignore all the particular circumstances and focus on the three equal lines, I will be able to represent all equilateral triangles. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] They observed that we grasp composites through their parts, and now that we can grasp generalisations through particulars, both achieved by the psychological act of abstraction, thus showing its epistemological power. |
| 10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |
| Full Idea: Geometers by no means assume that there are lines without width or surfaces without depth. They only think it is possible to consider the length without paying attention to the width. We can measure the length of a path without its width. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: A nice example which makes the point indubitable. The modern 'rigorous' account of abstraction that starts with Frege seems to require more than one object, in order to derive abstractions like direction or number. Path widths are not comparatives. |
| 19519 | Rational decisions are either taken to be based on evidence, or to be explained causally [Conee/Feldman] |
| Full Idea: In decision theory, there is a view according to which the rational basis for all decisions is evidential. This kind of decision theory is typically contrasted with causal decision theory. | |
| From: E Conee / R Feldman (Introduction to 'Evidentialism' [2004], p.3) | |
| A reaction: Your Kantian presumably likes rational reflection on evidence, and your modern reductive scientist prefers causality (which doesn't really sound very rational). |