Combining Texts

All the ideas for 'Natural Goodness', 'Review of Husserl's 'Phil of Arithmetic'' and 'Logical Necessity'

unexpand these ideas     |    start again     |     specify just one area for these texts


40 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom only implies the knowledge achievable in any normal lifetime [Foot]
     Full Idea: Wisdom implies no more knowledge and understanding than anyone of normal capacity can and should acquire in the course of an ordinary life.
     From: Philippa Foot (Natural Goodness [2001], 5)
     A reaction: Have philosophers stopped talking about wisdom precisely because you now need three university degrees to be considered even remotely good at phillosophy? Hence wisdom is an inferior attainment, because Foot is right.
2. Reason / D. Definition / 2. Aims of Definition
A definition need not capture the sense of an expression - just get the reference right [Frege, by Dummett]
     Full Idea: Frege expressly denies that a correct definition need capture the sense of the expression it defines: it need only get the reference right.
     From: report of Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.3
     A reaction: This might hit up against the renate/cordate problem, of two co-extensive concepts, where the definition gets the extension right, but the intension wrong.
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Since every definition is an equation, one cannot define equality itself [Frege]
     Full Idea: Since every definition is an equation, one cannot define equality itself.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.327)
     A reaction: This seems a particularly nice instance of the general rule that 'you have to start somewhere'. It is a nice test case for the nature of meaning to ask 'what do you understand when you understand equality?', given that you can't define it.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The logic of metaphysical necessity is S5 [Rumfitt]
     Full Idea: It is a widely accepted thesis that the logic of metaphysical necessity is S5.
     From: Ian Rumfitt (Logical Necessity [2010], §5)
     A reaction: Rumfitt goes on to defend this standard view (against Dummett's defence of S4). The point, I take it, is that one can only assert that something is 'true in all possible worlds' only when the worlds are all accessible to one another.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
     Full Idea: Our ordinary standards for deeming arguments to be sound vary greatly from context to context. Even the package tourist's syllogism ('It's Tuesday, so this is Belgium') may meet the operative standards for soundness.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
     A reaction: No doubt one could spell out the preconceptions of package tourist reasoning, and arrive at the logical form of the implication which is being offered.
There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
     Full Idea: There is a modal element in consequence, in its applicability to assessing reasoning from suppositions.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
     Full Idea: A rule is to be rejected if it enables us to deduce from some premisses a purported conclusion that does not follow from them in the broad sense. The idea that deductions answer to consequence is incomprehensible if consequence consists in deducibility.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
     Full Idea: Overt contradictions include formal contradictions of form 'B and not B', but I also take them to include 'This is red all over and green all over' and 'This is red and not coloured'.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
     Full Idea: The geometrical style of formalization of logic is now little more than a quaint anachronism, largely because it fails to show logical truths for what they are: simply by-products of rules of inference that are applicable to suppositions.
     From: Ian Rumfitt (Logical Necessity [2010], §1)
     A reaction: This is the rejection of Russell-style axiom systems in favour of Gentzen-style natural deduction systems (starting from rules). Rumfitt quotes Dummett in support.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
Counting rests on one-one correspondence, of numerals to objects [Frege]
     Full Idea: Counting rests itself on a one-one correlation, namely of numerals 1 to n and the objects.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894]), quoted by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: Parsons observes that counting will establish a one-one correspondence, but that doesn't make it the aim of counting, and so Frege hasn't answered Husserl properly. Which of the two is conceptually prior? How do you decide.
Husserl rests sameness of number on one-one correlation, forgetting the correlation with numbers themselves [Frege]
     Full Idea: When Husserl says that sameness of number can be shown by one-one correlation, he forgets that this counting itself rests on a univocal one-one correlation, namely that between the numerals 1 to n and the objects of the set.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.326)
     A reaction: This is the platonist talking. Neo-logicism is attempting to build numbers just from the one-one correlation of objects.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
In a number-statement, something is predicated of a concept [Frege]
     Full Idea: In a number-statement, something is predicated of a concept.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.328)
     A reaction: A succinct statement of Frege's theory of numbers. By my lights that would make numbers at least second-order abstractions.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Our concepts recognise existing relations, they don't change them [Frege]
     Full Idea: The bringing of an object under a concept is merely the recognition of a relation which previously already obtained, [but in the abstractionist view] objects are essentially changed by the process, so that objects brought under a concept become similar.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: Frege's view would have to account for occasional misapplications of concepts, like taking a dolphin to be a fish, or falsely thinking there is someone in the cellar.
Numbers are not real like the sea, but (crucially) they are still objective [Frege]
     Full Idea: The sea is something real and a number is not; but this does not prevent it from being something objective; and that is the important thing.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.337)
     A reaction: This seems a qualification of Frege's platonism. It is why people start talking about abstract items which 'subsist', instead of 'exist'. It shows Frege's motivation in all this, which is to secure logic and maths from the vagaries of psychology.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The naïve view of number is that it is like a heap of things, or maybe a property of a heap [Frege]
     Full Idea: The most naïve opinion of number is that it is something like a heap in which things are contained. The next most naïve view is the conception of number as the property of a heap, cleansing the objects of their particulars.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.323)
     A reaction: A hundred toothbrushes and a hundred sponges can be seen to contain the same number (by one-to-one mapping), without actually knowing what that number is. There is something numerical in the heap, even if the number is absent.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
If objects are just presentation, we get increasing abstraction by ignoring their properties [Frege]
     Full Idea: If an object is just presentation, we can pay less attention to a property and it disappears. By letting one characteristic after another disappear, we obtain concepts that are increasingly more abstract.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: Frege despises this view. Note there is scope in the despised view for degrees or levels of abstraction, defined in terms of number of properties ignored. Part of Frege's criticism is realist. He retains the object, while Husserl imagines it different.
10. Modality / A. Necessity / 3. Types of Necessity
A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
     Full Idea: Rumfitt argues that there is a distinctive notion of necessity implicated in the notion of logical consequence.
     From: report of Ian Rumfitt (Logical Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
     Full Idea: By the notion of 'logical necessity' I mean that there is a sense of 'necessary' for which 'It is necessary that A' implies and is implied by 'It is logically contradictory that not A'. ...From this, logical necessity is implicated in logical consequence.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
     A reaction: Rumfitt expresses a commitment to classical logic at this point. We will need to be quite sure what we mean by 'contradiction', which will need a clear notion of 'truth'....
A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
     Full Idea: There is no reason to suppose that any statement that is logically necessary (in the present sense) is knowable a priori. ..If a statement is logically necessary, its negation will yield a contradiction, but that does not imply that someone could know it.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
     A reaction: This remark is aimed at Dorothy Edgington, who holds the opposite view. Rumfitt largely defends McFetridge's view (q.v.).
Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
     Full Idea: While Fine suggests defining a narrow notion of logical necessity in terms of metaphysical necessity by 'restriction' (to logical truths that can be defined in non-modal terms), this seems unpromising for broad logical necessity, which is modal.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
     A reaction: [compressed] He cites Kit Fine 2002. Rumfitt glosses the non-modal definitions as purely formal. The metaphysics lurks somewhere in the proof.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
     Full Idea: A world is usually taken to be a fully determinate way that things could have been; but then one might seriously wonder whether anyone is capable of 'considering' such a thing at all.
     From: Ian Rumfitt (Logical Necessity [2010], §4)
     A reaction: This has always worried me. If I say 'maybe my coat is in the car', I would hate to think that I had to be contemplating some entire possible world (including all the implications of my coat not being on the hat stand).
18. Thought / A. Modes of Thought / 1. Thought
Many people have the same thought, which is the component, not the private presentation [Frege]
     Full Idea: The same thought can be grasped by many people. The components of a thought, and even more so the things themselves, must be distinguished from the presentations which in the soul accompany the grasping of a thought.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.325)
     A reaction: This is the basic realisation, also found in Russell, of how so much confusion has crept into philosophy, in Berkeley, for example. Frege starts down the road which leads to the externalist view of content.
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
Disregarding properties of two cats still leaves different objects, but what is now the difference? [Frege]
     Full Idea: If from a black cat and a white cat we disregard colour, then posture, then location, ..we finally derive something which is completely without restrictions on content; but what is derived from the objects does differ, although it is not easy to say how.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: This is a key objection to abstractionism for Frege - we are counting two cats, not two substrata of essential catness, or whatever. But what makes a cat countable? (Key question!) It isn't its colour, or posture or location.
How do you find the right level of inattention; you eliminate too many or too few characteristics [Frege]
     Full Idea: Inattention is a very strong lye which must not be too concentrated, or it dissolves everything (such as the connection between the objects), but must not be too weak, to produce sufficient change. Personally I cannot find the proper dilution.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.330)
     A reaction: We may sympathise with the lack of precision here (frustrating for a logician), but it is not difficult to say of a baseball defence 'just concentrate on the relations, and ignore the individuals who implement it'. You retain basic baseball skills.
18. Thought / E. Abstraction / 8. Abstractionism Critique
Number-abstraction somehow makes things identical without changing them! [Frege]
     Full Idea: Number-abstraction simply has the wonderful and very fruitful property of making things absolutely the same as one another without altering them. Something like this is possible only in the psychological wash-tub.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.332)
     A reaction: Frege can be awfully sarcastic. I don't really see his difficulty. For mathematics we only need to know what is countable about an object - we don't need to know how many hairs there are on the cat, only that it has identity.
19. Language / A. Nature of Meaning / 2. Meaning as Mental
Psychological logicians are concerned with sense of words, but mathematicians study the reference [Frege]
     Full Idea: The psychological logicians are concerned with the sense of the words and with the presentations, which they do not distinguish from the sense; but the mathematicians are concerned with the matter itself, with the reference of the words.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.326)
     A reaction: This is helpful for showing the point of his sense/reference distinction; it is part of his campaign against psychologism, by showing that there is a non-psychological component to language - the reference, where it meets the public world.
Identity baffles psychologists, since A and B must be presented differently to identify them [Frege]
     Full Idea: The relation of sameness remains puzzling to a psychological logician. They cannot say 'A is the same as B', because that requires distinguishing A from B, so that these would have to be different presentations.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.327)
     A reaction: This is why Frege needed the concept of reference, so that identity could be outside the mind (as in Hesperus = Phosophorus). Think about an electron; now think about a different electron.
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
All criterions of practical rationality derive from goodness of will [Foot]
     Full Idea: I want to say, baldly, that there is no criterion for practical rationality that is not derived from that of goodness of will.
     From: Philippa Foot (Natural Goodness [2001], 1)
     A reaction: Where does that put the successful and clever criminal? Presumably they are broadly irrational, but narrowly rational - but that is not very clear distinction. She says Kant's concept of the good will is too pure, and unrelated to human good.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
Moral reason is not just neutral, because morality is part of the standard of rationality [Foot, by Hacker-Wright]
     Full Idea: In her late period she again reverses her thoughts on moral rationalism; …rather than a neutral rationality which fulfils desires, she argues that morality ought to be thought of as part of the standard of rationality itself.
     From: report of Philippa Foot (Natural Goodness [2001]) by John Hacker-Wright - Philippa Foot's Moral Thought Intro
     A reaction: This comes much closer to the Greek and Aristotelian concept of logos. They saw morality as inseparable from our judgements about how the world is. All 'sensible' thinking will involve what is good for humanity.
Practical rationality must weigh both what is morally and what is non-morally required [Foot]
     Full Idea: Different considerations are on a par, in that judgement about what is required by practical rationality must take account of their interaction: of the weight of the ones we call non-moral as well as those we call moral.
     From: Philippa Foot (Natural Goodness [2001], 1)
     A reaction: Her final settled view of rationalism in morality, it seems. The point is that moral considerations are not paramount, because she sees possible justifications for ignoring moral rules (like 'don't lie') in certain practical situations.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Moral virtues arise from human nature, as part of what makes us good human beings [Foot, by Hacker-Wright]
     Full Idea: In her later work she offers a view of the relationship of morality to human nature, arguing that the moral virtues are part of what makes us good as human beings.
     From: report of Philippa Foot (Natural Goodness [2001]) by John Hacker-Wright - Philippa Foot's Moral Thought Intro
     A reaction: In this phase she talks explicitly of the Aristotelian idea that successful function is the grounding of what is good for any living being, including humans.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
Sterility is a human defect, but the choice to be childless is not [Foot]
     Full Idea: Lack of capacity to reproduce is a defect in a human being. But choice of childlessness and even celibacy is not thereby shown to be defective choice, because human good is not the same as plant or animal good.
     From: Philippa Foot (Natural Goodness [2001], 3)
     A reaction: Is failure to reproduce a defect in an animal? If goodness and virtue derive from function, it is hard to see how deliberate childlessness could be a human good, even if it is not a defect. Choosing to terminate a hereditary defect seems good.
Virtues are as necessary to humans as stings are to bees [Foot]
     Full Idea: Virtues play a necessary part in the life of human beings as do stings in the life of a bee.
     From: Philippa Foot (Natural Goodness [2001], 2)
     A reaction: This presumably rests on the Aristotelian idea that humans are essentially social (as opposed to solitary humans who choose to be social, perhaps in a contractual way, as Plato implies).
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
Moral evaluations are not separate from facts, but concern particular facts about functioning [Foot]
     Full Idea: A moral evaluation does not stand over against the statement of a matter of fact, but rather has to do with facts about a particular subject matter, as do evaluations of such things as sight and hearing in animals.
     From: Philippa Foot (Natural Goodness [2001], 1)
     A reaction: She avoids the word 'function', and only deals with living creatures, but she uses a 'good knife' as an example, and this Aristotelian view clearly applies to any machine which has a function.
22. Metaethics / C. The Good / 2. Happiness / a. Nature of happiness
Deep happiness usually comes from the basic things in life [Foot]
     Full Idea: Possible objects of deep happiness seem to be things that are basic in human life, such as home, and family, and work, and friendship.
     From: Philippa Foot (Natural Goodness [2001], 6)
     A reaction: I've not encountered discussion of 'deep' happiness before. I heard of an old man in tears because he had just seen a Purple Emperor butterfly for the first time. She makes it sound very conservative. How about mountaineering achievements?
Happiness is enjoying the pursuit and attainment of right ends [Foot]
     Full Idea: In my terminology 'happiness' is understood as the enjoyment of good things, meaning the enjoyment in attaining, and in pursuing, right ends.
     From: Philippa Foot (Natural Goodness [2001], 6)
     A reaction: A modified version of Aristotle's view, which she contrasts with McDowell's identification of happiness with the life of virtue. They all seem to have an optimistic hope that the pleasure in being a bit wicked is false happiness.
23. Ethics / A. Egoism / 1. Ethical Egoism
Good actions can never be justified by the good they brings to their agent [Foot]
     Full Idea: There is no good case for assessing the goodness of human action by reference only to good that each person brings to himself.
     From: Philippa Foot (Natural Goodness [2001], 1)
     A reaction: She observes that even non-human animals often act for non-selfish reasons. The significance of this is its rejection of her much earlier view that virtues are justified by the good they bring their possessor.
23. Ethics / B. Contract Ethics / 5. Free Rider
We all know that just pretending to be someone's friend is not the good life [Foot]
     Full Idea: We know perfectly well that it is not true that the best life would consist in successfully pretending friendship: having friends to serve one but without being a real friend oneself.
     From: Philippa Foot (Natural Goodness [2001], 7)
     A reaction: For some skallywags the achieving of something for nothing seems to be very much the good life, but not many of them want to exploit people who are seen to be their friends.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
Someone is a good person because of their rational will, not their body or memory [Foot]
     Full Idea: To speak of a good person is to speak of an individual not in respect of his body, or of faculties such as sight and memory, but as concerns his rational will (his 'will as controllable by reason').
     From: Philippa Foot (Natural Goodness [2001], 5)
     A reaction: She more or less agrees with Kant that the only truly good moral thing is a good will, though she has plenty of other criticisms of his views.
23. Ethics / F. Existentialism / 7. Existential Action
Refraining from murder is not made good by authenticity or self-fulfilment [Foot]
     Full Idea: If a stranger should come on us when we are sleeping he will not think it all right to kill us. …In human life as it is, this kind of action is not made good by authenticity or self-fulfilment in the one who does it.
     From: Philippa Foot (Natural Goodness [2001], 7)
     A reaction: A rare swipe from Foot at existentialism, which she hardly ever mentions. I find it hard to see these existential virtues as in any way moral. It means nothing to other citizens whether one of their number is 'authentic'.