29 ideas
| 22496 | 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. |
| 9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
| Full Idea: Modal logic by its very nature is not monolithic, but fragmented into multiple systems of modal qualifications, reflected in the plurality of accessibility relations on modal model structures or logically possible worlds. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §3) | |
| A reaction: He implies the multiplicity is basic, and is only 'reflected' in the relations, but maybe the multiplicity is caused by incompetent logicians who can't decide whether possible worlds really are reflexive or symmetrical or transitive in their relations. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
| Full Idea: Philosophy of logic has (roughly) two camps: extensionalists and intensionalists, with the former view dominant. ...There is a close connection between this and eliminativist or reductivist versus folk psychological and intentionalist philosophy of mind. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
| A reaction: Hm. I think I favour intensionalism in the logic, and reductivism about the mind, so I may have a bit of bother here. I'm convinced that this jigsaw can be completed, despite all appearances. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
| Full Idea: Extensionalists hold that quantifiers in predicate logic presuppose the existence of whatever objects can be referred to by constants or bound variables, or enter into true predication of properties. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
| A reaction: I have strong sales resistance to this view. Why should a procedure for correctly reasoning from one proposition to another have anything whatever to do with ontology? A false world picture can be interconnected by perfect logic. |
| 9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
| Full Idea: According to intensionalist semantics the meaning of a proposition is determined by the properties an object possesses. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
| A reaction: This sounds good to me. Extensionalist don't seem to care what sets they put things in, but if property possession comes first, then things will fall into their own sets without any help for us. We can add silly sets afterwards, if we fancy. |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
| Full Idea: In extensionalist semantics only existent objects can be referred to, ...but in everyday thought and discourse we regularly and apparently without undue confusion speak about nonexistent objects. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
| A reaction: This is the reason why Meinong, whose views are presented by Russell as absurd, are undergoing a revival. The full-blown view will even treat 'round squares' as objects about which we can reason - and why not? Don't open a shop which sells them. |
| 9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
| Full Idea: Extensional semantics is blatantly circular. For 'Fa' to be interpreted as true, we must know that object a belongs to the extension of the predicate F, so we must already know which objects belong to the extension. | |
| From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4) | |
| A reaction: I'm delighted to read this, because it was the first thought that occurred to me when I encountered the theory. Presumably this leads Quine to take predication as basic, because you can't break into the circle. Or, vote for intensionalism? |
| 23694 | 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. |
| 23686 | 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. |
| 23693 | 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. |
| 23687 | 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. |
| 22493 | 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. |
| 22492 | 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). |
| 22491 | 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. |
| 22497 | 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? |
| 22498 | 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. |
| 23695 | 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. |
| 22499 | 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. |
| 22495 | 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. |
| 22502 | 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'. |