8 ideas
| 15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
| Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain. | |
| From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3 | |
| A reaction: Lavine summarises this as 'first-order logic with parameters'. |
| 20752 | For man, being is not what he is, but what he is going to be [Ortega y Gassett] |
| Full Idea: Being consists not in what it is already, but in what it is not yet, a being that consists in not-yet-being. Everything else in the world is what it is….Man is the entity that makes himself….He has to determine what he is going to be. | |
| From: José Ortega y Gassett (Toward a Philosophy of History [1941], p.112,201-2), quoted by Kevin Aho - Existentialism: an introduction 4 'Problem' | |
| A reaction: [p.112 and 201-2] This seems to be Ortega y Gasset's spin on Heidegger's concept, by adding a temporal dimension to it. |
| 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. |
| 20756 | Instead of having a nature, man only has a history [Ortega y Gassett] |
| Full Idea: Man lives in view of the past. Man, in a word, has no nature; what he has is history. Expressed differently: what nature is to things, history is to man. | |
| From: José Ortega y Gassett (Toward a Philosophy of History [1941], p.217), quoted by Kevin Aho - Existentialism: an introduction 5 'Situated' | |
| A reaction: Makes explicit the existentialist denial of human nature. The foundation of ethics can only be total freedom, to choose both yourself and your actions. What is inescapable is the social and culture contexts. What is the role of the 'history'? |
| 10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |
| Full Idea: A science can determine its domain of investigation up to an isomorphic mapping. It remains quite indifferent as to the 'essence' of its objects. The idea of isomorphism demarcates the self-evident boundary of cognition. | |
| From: Hermann Weyl (Phil of Mathematics and Natural Science [1949], 25-7), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: Shapiro quotes this in support of his structuralism, but it is a striking expression of the idea that if there are such things as essences, they are beyond science. I take Weyl to be wrong. Best explanation reaches out beyond models to essences. |