74 ideas
| 5333 | Philosophy needs wisdom about who we are, as well as how we ought to be [Flanagan] |
| Full Idea: Any good philosophy will need to offer wisdom about who we are as well as about how we ought to be. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 14) | |
| A reaction: This sop should be accepted gratefully by fans of bioethics, who seem inclined to think that describing 'how we are' is all that needs to be said. Maybe the key wisdom lies in the relationship between the 'is' and the 'ought' of human nature. |
| 5334 | We resist science partly because it can't provide ethical wisdom [Flanagan] |
| Full Idea: The inability of science to provide ethical wisdom is partly responsible for our resistance to the scientific image. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 14) | |
| A reaction: This seems right. A.J. Ayer, for example, declared "I believe in science", and his account of ethics was vacuously nihilistic. A description of the mechanisms of moral life is not the same as ethical wisdom. |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| Full Idea: The intuitionist rejection of double negation elimination undermines the important reductio ad absurdum proof in classical mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| Full Idea: In intuitionist logic double negation elimination fails. After all, proving that there is no proof that there can't be a proof of S is not the same thing as having a proof of S. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: I do like people like Colyvan who explain things clearly. All of this difficult stuff is understandable, if only someone makes the effort to explain it properly. |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| Full Idea: The law of excluded middle (for every proposition P, either P or not-P) must be carefully distinguished from its semantic counterpart bivalence, that every proposition is either true or false. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: So excluded middle makes no reference to the actual truth or falsity of P. It merely says P excludes not-P, and vice versa. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| Full Idea: Löwenheim proved that if a first-order sentence has a model at all, it has a countable model. ...Skolem generalised this result to systems of first-order sentences. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| Full Idea: A set of axioms is said to be 'categorical' if all models of the axioms in question are isomorphic. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) | |
| A reaction: The best example is the Peano Axioms, which are 'true up to isomorphism'. Set theory axioms are only 'quasi-isomorphic'. |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| Full Idea: Ordinal numbers represent order relations. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.2.3 n17) |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| Full Idea: For intuitionists, all but the smallest, most well-behaved infinities are rejected. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: The intuitionist idea is to only accept what can be clearly constructed or proved. |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| Full Idea: The problem with infinitesimals is that in some places they behaved like real numbers close to zero but in other places they behaved like zero. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.2) | |
| A reaction: Colyvan gives an example, of differentiating a polynomial. |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| Full Idea: Given Dedekind's reduction of real numbers to sequences of rational numbers, and other known reductions in mathematics, it was tempting to see basic arithmetic as the foundation of mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.1) | |
| A reaction: The reduction is the famous Dedekind 'cut'. Nowadays theorists seem to be more abstract (Category Theory, for example) instead of reductionist. |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| Full Idea: Transfinite inductions are inductive proofs that include an extra step to show that if the statement holds for all cases less than some limit ordinal, the statement also holds for the limit ordinal. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1 n11) |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
| A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| Full Idea: Most mathematical proofs, outside of set theory, do not explicitly state the set theory being employed. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.1) |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| Full Idea: Structuralism is able to explain why mathematicians are typically only interested in describing the objects they study up to isomorphism - for that is all there is to describe. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| Full Idea: In re structuralism does not posit anything other than the kinds of structures that are in fact found in the world. ...The problem is that the world may not provide rich enough structures for the mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) | |
| A reaction: You can perceive a repeating pattern in the world, without any interest in how far the repetitions extend. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
| A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
| 5340 | Explanation does not entail prediction [Flanagan] |
| Full Idea: Explanation does not entail prediction. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 73n) | |
| A reaction: Presumably the inverse of this is also true, as we might be able to predict through pure induction, without knowing why something happened. We predict that smoking is likely to cause cancer. Complex things might be explicable but unpredictable. |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| Full Idea: Those who see probabilities as ratios of frequencies can't use Bayes's Theorem if there is no objective prior probability. Those who accept prior probabilities tend to opt for a subjectivist account, where probabilities are degrees of belief. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.8) | |
| A reaction: [compressed] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| Full Idea: Mathematics can demonstrate structural similarities between systems (e.g. missing population periods and the gaps in the rings of Saturn). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) | |
| A reaction: [Colyvan expounds the details of his two examples] It is these sorts of results that get people enthusiastic about the mathematics embedded in nature. A misunderstanding, I think. |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| Full Idea: Mathematics can show that under a broad range of conditions, something initially surprising must occur (e.g. the hexagonal structure of honeycomb). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| Full Idea: Another style of proof often cited as unexplanatory are brute-force methods such as proof by cases (or proof by exhaustion). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| Full Idea: One kind of proof that is thought to be unexplanatory is the 'reductio' proof. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
| A reaction: Presumably you generate a contradiction, but are given no indication of why the contradiction has arisen? Tracking back might reveal the source of the problem? Colyvan thinks reductio can be explanatory. |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| Full Idea: It might be argued that any proof by induction is revealing the explanation of the theorem, namely, that it holds by virtue of the structure of the natural numbers. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
| A reaction: This is because induction characterises the natural numbers, in the Peano Axioms. |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| Full Idea: The proof of the four-colour theorem raises questions about whether a 'proof' that no one understands is a proof. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.6) | |
| A reaction: The point is that the theorem (that you can colour countries on a map with just four colours) was proved with the help of a computer. |
| 5346 | In the 17th century a collisionlike view of causation made mental causation implausible [Flanagan] |
| Full Idea: In the seventeenth century the dominant idea that causation is collisionlike made mental causation almost impossible to envision. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.136) | |
| A reaction: Interesting. This makes Descartes' interaction theory look rather bold, and Leibniz's and Malebranche's rejection of it understandable. Personally I still think of causation as collisionlike, except that the collisions are of very very tiny objects. |
| 21833 | Research suggest that we overrate conscious experience [Flanagan] |
| Full Idea: The emerging consensus is that we probably overrate the power of conscious experience in our lives. Freud, of course, said the same thing for different reasons. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
| A reaction: [He cites Pockett, Banks and Gallagher 2006]. Freud was concerned with big deep secrets, but the modern view concerns ordinary decisions and perceptions. An important idea, which should incline us all to become Nietzscheans. |
| 5341 | Only you can have your subjective experiences because only you are hooked up to your nervous system [Flanagan] |
| Full Idea: It is easy to explain why certain brain events are uniquely experienced by you subjectively: only you are properly hooked up to your own nervous system to have your own experiences. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 87) | |
| A reaction: This is in reply to Nagel's oft quoted claim that mind can only be understood as "what it is like to be" that mind. I agree with Flanagan, and it is nice illustration of how philosophers can confuse themselves with high-sounding questions. |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| Full Idea: One type of generalisation in mathematics extends a system to go beyond what is was originally set up for; another kind involves abstracting away from some details in order to capture similarities between different systems. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.2) |
| 5351 | We only have a sense of our self as continuous, not as exactly the same [Flanagan] |
| Full Idea: We only have a sense of our self as continuous, but not as exactly the same. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.178) | |
| A reaction: Russell said this too, and it seems to me to be right. Personal identity is far too imprecise for me to assert that I remember my ten-year-old self as being identical to me now. Only physical objects like teddy bears can pass that test. |
| 5353 | The self is an abstraction which magnifies important aspects of autobiography [Flanagan] |
| Full Idea: The self is an abstraction from the story of a person's life that isolates and magnifies the experiences, traits and aspirations that are assigned importance. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.240) | |
| A reaction: Personally I am inclined to see personal identity as the central controller of brain activity, the aspect of the biological machine which keeps all the mental events focused on what matters, which is health, safety and happiness. |
| 5354 | We are not born with a self; we develop a self through living [Flanagan] |
| Full Idea: It is a bad mistake to think we are born with a self; the self develops, and acquiring it requires living in the world. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.260) | |
| A reaction: I think this is wrong. He is mistaking a complex cultural concept of the self as the subject for autobiography etc. for the basic biological self which even small animals must have if their brains are to serve any useful purpose in their lives. |
| 5349 | For Buddhists a fixed self is a morally dangerous illusion [Flanagan] |
| Full Idea: According to Buddhism, the idea of a permanent, constant self is an illusion, and a morally dangerous one. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.161) | |
| A reaction: We are familiar with the idea that it might be an illusion, but I am unconvinced by 'morally dangerous'. If you drop both free will and personal identity, I can't see any sort of focus for moral life left, but I am willing to be convinced. |
| 5338 | Normal free will claims control of what I do, but a stronger view claims control of thought and feeling [Flanagan] |
| Full Idea: The standard view of free will is that I have something like complete control over what I do. A stronger view (not widely held) is that I also have complete control over what I think and what I feel. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 60n) | |
| A reaction: To claim free control of feelings looks optimistic, but it does look as if we can decide to think about something, such as a philosophical problem. Deciding what to say comes somewhere between thought and action. |
| 5344 | Free will is held to give us a whole list of desirable capacities for living [Flanagan] |
| Full Idea: Free will is said to give us self-control, self-expression, individuality, reasons-sensitivity, rational deliberation, rational accountability, moral accountability, the capacity to do otherwise, unpredictability, and political freedom. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.104) | |
| A reaction: Nice list. His obvious challenge is to either say we can live happily without some of these things, or else show how we can have them without 'free will'. Personally I agree with Flanagan that we meet the challenge. |
| 5332 | People believe they have free will that circumvents natural law, but only an incorporeal mind could do this [Flanagan] |
| Full Idea: Most people believe we have free will, and that this consists in the ability to circumvent natural law. The trouble is that the only device ever philosophically invented that can do this sort of job is an incorporeal soul or mind. | |
| From: Owen Flanagan (The Problem of the Soul [2002], Pref) | |
| A reaction: I think this is exactly right. We currently have a western world full of people who have rejected dualism, but still cling on to free will, because they think morality depends on it. I think morality depends on personal identity, but not on free will. |
| 5345 | We only think of ourselves as having free will because we first thought of God that way [Flanagan] |
| Full Idea: It is unimaginable to me that, despite the feeling that we control what we do, such a strong conception of ourselves as unmoved movers would have been added to our self-image unless we had first conceived of God along these lines. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.107) | |
| A reaction: I think this is right, though there are signs in fifth century Greece of contradictory evidence. The 'unmoved mover' seems unformulated before Plato's 'Laws' (idea 1423), but there is an implied belief in free will a hundred years earlier. |
| 5343 | People largely came to believe in dualism because it made human agents free [Flanagan] |
| Full Idea: I would say that that my consciousness doesn't seem either physical or non-physical, ..but the belief that the mind is non-physical partly took hold because that fits well with thinking of human agents as free. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.102) | |
| A reaction: I think this is right. I personally think there is no such thing as free will, and that belief in it has been the single greatest delusion amongst philosophers (and others) for the last two thousand years. Dualism has now gone, and free will is next. |
| 5347 | Behaviourism notoriously has nothing to say about mental causation [Flanagan] |
| Full Idea: Behaviourism was notorious in its heyday for having nothing to say about mental causation. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.141) | |
| A reaction: This is a bit unfair, as Ryle (idea 2622, following Spinoza, 4862) was one of the first to point out the paradox of 'double causation'. You have to be a mentalist to worry about mental causation, and eliminativists aren't bothered. |
| 5339 | Cars and bodies obey principles of causation, without us knowing any 'strict laws' about them [Flanagan] |
| Full Idea: Although everyone thinks cars and bodies obey the principles of causation, no one thinks it a deficiency that we don't know strict laws of automechanics or anatomy. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 65) | |
| A reaction: This attacks Davidson's claim that there are no strict psycho-physical laws, and I agree with Flanagan. Huge dreams of free will and human dignity are being pinned on the flimsy point that we have no strict laws here. But brains are very complicated. |
| 21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
| Full Idea: There is still some hope for something like identity theory for sensations. But almost no one believes that strict identity theory will work for more complex mental states. Strict identity is stronger than type neurophysicalism. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
| A reaction: It is so hard to express the problem. What needs to be explained? How can one bunch of neurons represent many different things? It's not like computing. That just transfers the data to brains, where the puzzling stuff happens. |
| 5342 | Physicalism doesn't deny that the essence of an experience is more than its neural realiser [Flanagan] |
| Full Idea: One may be committed to the truth of physicalism without being committed to the claim that the essence of an experience is captured fully by a description of its neural realiser. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 90) | |
| A reaction: This is a reply to the Leibniz Mill question (idea 2109) about what is missing from a materialist view. Flanagan's point is that just as the essence of a panorama is the view from the hill, so the essence of consciousness requires you to be that brain. |
| 5335 | Emotions are usually very apt, rather than being non-rational and fickle [Flanagan] |
| Full Idea: One can question the idea that emotions are non-rational, fickle and flighty; on the contrary, emotions normally seem to be very apt. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 16) | |
| A reaction: This is the modern view of emotion which is emerging from neuroscience, which is greatly superior to traditional views, apart from Aristotle, who felt that wisdom and virtue arose precisely when emotions were apt for the situation. |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 5348 | Intellectualism admires the 'principled actor', non-intellectualism admires the 'good character' [Flanagan] |
| Full Idea: There are two main pictures of the good person: there is the 'good character', and there is the 'principled actor'. ..The first picture is non-intellectualist, and the second is intellectualist. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.145) | |
| A reaction: The second ideal elevates the principle itself above the actor who carries it out. Presumably consistency is a virtue, so a good character will at least pay some attention to principles. A good magistrate comes out the same in both views. |
| 5355 | Cognitivists think morals are discovered by reason [Flanagan] |
| Full Idea: Cognitivists think morals are discovered by reason. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.301n) | |
| A reaction: I take cognitivism to be (strictly) the view that morals are knowable in principle. Our intellects might not be up to the task (and so we might have to ask the gods what is right). There is also the possibility that morals might be known by intuition. |
| 21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
| Full Idea: Morality is 'normative' in the sense that it consists of the extraction of ''good' or 'excellent' practices from common practices. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 4 'Naturalism') |
| 5336 | Ethics is the science of the conditions that lead to human flourishing [Flanagan] |
| Full Idea: Ethics is the normative science that studies the objective conditions that lead to flourishing of persons. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p. 17) | |
| A reaction: This is a nice slogan for the virtue theory account of the nature of ethics. I think it is the view with which I agree. I am intrigued that he has smuggled the word 'science' in, which is a nice challenge to conventional views of science. |
| 21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
| Full Idea: Two explanations came forward in the neo-Darwinian synthesis. Altruism is either 1) person-based reciprocal altruism, or 2) gene-based kin altruism. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 2 'Darwin') | |
| A reaction: Flanagan obviously thinks there is also 'genuine psychological atruism'. Presumably we don't explain mathematics or music or the desire to travel as either contracts or genetics, so we have other explanations available. |
| 21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
| Full Idea: It would be nice if I could advance the case for Eudaimonics - empirical enquiry into the nature, causes, and constituents of flourishing, …and the case for some ways of living and being as better than others. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 4 'Normative') | |
| A reaction: Things seem to be moving in that direction. Lots of statistics about happiness have been appearing. |
| 21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
| Full Idea: What Marx called 'alienation' is the widespread condition of not being able to discover what one wants, or not being remotely positioned to achieve. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 2 'Expanding') | |
| A reaction: I took alienation to concern people's relationship to the means of production in their trade. On Flanagan's definition I would expect almost everyone aged under 20 to count as alienated. |
| 5350 | The Hindu doctrine of reincarnation only appeared in the eighth century CE [Flanagan] |
| Full Idea: The doctrine of a cycle of rebirths and reincarnations that are normally required before one achieve nirvana was only proposed in the eighth century CE, and then spread like wildfire among Hindus and, to a lesser extent, among Buddhists. | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.166n) | |
| A reaction: Intriguing. Plato had proposed it in the fourth century BCE. Presumably Hindus had always been dualists, and then suddenly saw and exciting possibility that followed from it. The doctrine strikes me as (to put it mildly) implausible. |
| 21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |
| Full Idea: Buddhism rejected the idea of a creator God, and the unchanging self [atman]. They accept the appearance-reality distinction, reward for virtue [karma], suffering defining our predicament, and that liberation [nirvana] is possible through wisdom. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Buddhism') | |
| A reaction: [Compressed] Flanagan is an analytic philosopher and a practising Buddhist. Looking at a happiness map today which shows Europeans largely happy, and Africans largely miserable, I can see why they thought suffering was basic. |
| 5352 | The idea of the soul gets some support from the scientific belief in essential 'natural kinds' [Flanagan] |
| Full Idea: The idea of the soul could be easily trashed if science does not countenance essences, but science does countenance essences in the form of what are known as 'natural kinds' (such as water, salt and gold). | |
| From: Owen Flanagan (The Problem of the Soul [2002], p.181) | |
| A reaction: The existence of any essences at all does indeed make the existence of a soul naturally possible, but scientific natural kinds are usually postulated on a basis of chemical stability. Animals, for example, are no longer usually classified that way. |