18 ideas
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
| Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle. | |
| From: Nicholas Jolley (Leibniz [2005], Ch.3) | |
| A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed. |
| 23438 | Full rationality must include morality [Foot] |
| Full Idea: You haven't got a full idea of rationality until you've got morality within it. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
| A reaction: Does this mean that mathematical proofs are not rational, or that they are moral? |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 23437 | Practical reason is goodness in choosing actions [Foot] |
| Full Idea: Practical rationality is goodness in respect of reason for actions, just as rationality of thinking is goodness in respect of beliefs. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
| A reaction: It is very Greek to think that rationality involves goodness. There seems to be a purely instrumental form of practical reason that just gets from A to B, as when giving accurate street directions to someone. |
| 23436 | It is an odd Humean view to think a reason to act must always involve caring [Foot] |
| Full Idea: One would need a very special, very Humean, view about reasons for actions to think a man doesn't have a reason unless he cares. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.34-5) | |
| A reaction: She says she used to believe this, but was wrong. It is hard to imagine acting for reasons if they don't care about anything at all (even that it's their job). But then people just do care about things. |
| 23431 | Human defects are just like plant or animal defects [Foot] |
| Full Idea: We describe defects in human beings in the same way as we do defects in plants and animals. …You cannot talk about a river as being defective. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: This is a much clearer commitment to naturalistic ethics than I have found in her more academic writings. My opinion of Foot (which was already high) went up when I read this interview. …She says vice is a defect of the will. |
| 23432 | Concepts such as function, welfare, flourishing and interests only apply to living things [Foot] |
| Full Idea: There are concepts which apply only to living things, considered in their own right, which would include function, welfare, flourishing, interests and the good of something. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: This is a very Aristotelian view, with which I entirely agree. The central concept is function. |
| 23433 | Humans need courage like a plant needs roots [Foot] |
| Full Idea: A plant needs strong roots in the same way human beings need courage. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: I'm not quite convince by the analogy, but I strongly agree with her basic approach. |
| 23434 | There is no fact-value gap in 'owls should see in the dark' [Foot] |
| Full Idea: If you say 'an owl should be able to see in the dark' …you're not going to think that there's a gap between facts and evaluation. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: I take this to be a major and fundamental idea, which pinpoints the failure of Humeans to understand the world correctly. There is always total nihilism, of course, but that is a sort of blindness to how things are. Demanding 'proof' of values is crazy. |
| 23439 | Principles are not ultimate, but arise from the necessities of human life [Foot] |
| Full Idea: I don't believe in ultimate principles that must be simply affirmed or denied, but rather in an appeal to the necessities of human life. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.37) | |
| A reaction: I agree. Humans have a strong tendency to elevate anything which they consider important into an absolute (such as the value of life, or freedom). |
| 23435 | If you demonstrate the reason to act, there is no further question of 'why should I?' [Foot] |
| Full Idea: You lose the sense of 'should' if you go on saying 'why should I?' when you've finished the argument about what is rational to do, what you've got reason to do. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], P.34) | |
| A reaction: Some people reify the concept of duty, so that they do what is required without caring about the reason. I suppose that would wither if they were shown that no reason exists. |