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. |
| 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. |
| 3282 | The general form of moral reasoning is putting yourself in other people's shoes [Nagel] |
| Full Idea: I believe the general form of moral reasoning is to put yourself in other people's shoes. | |
| From: Thomas Nagel (Equality [1977], §9) |
| 3278 | An egalitarian system must give priority to those with the worst prospects in life [Nagel] |
| Full Idea: What makes a system egalitarian is the priority it gives to the claims of those whose overall life prospects put them at the bottom. | |
| From: Thomas Nagel (Equality [1977], §6) |
| 3275 | Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel] |
| Full Idea: Egalitarianism was once opposed to aristocratic values, but now it is opposed by adherents of two non-aristocratic values: utility (increase benefit, even if unequally) and individual rights (which redistribution violates). | |
| From: Thomas Nagel (Equality [1977], §2) |
| 3281 | The ideal of acceptability to each individual underlies the appeal to equality [Nagel] |
| Full Idea: The ideal of acceptability to each individual underlies the appeal to equality. | |
| From: Thomas Nagel (Equality [1977], §8) |
| 3277 | In judging disputes, should we use one standard, or those of each individual? [Nagel] |
| Full Idea: In assessing equality of claims, it must be decided whether to use a single, objective standard, or whether interests should be ranked by the person's own estimation. Also should they balance momentary or long-term needs? | |
| From: Thomas Nagel (Equality [1977], §6) |
| 3274 | Equality can either be defended as good for society, or as good for individual rights [Nagel] |
| Full Idea: The communitarian defence of equality says it is good for society as a whole, whereas the individualistic defence defends equality as a correct distributive principle. | |
| From: Thomas Nagel (Equality [1977], §2) |
| 3273 | Equality nowadays is seen as political, social, legal and economic [Nagel] |
| Full Idea: Contemporary political debate recognises four types of equality: political, social, legal and economic. | |
| From: Thomas Nagel (Equality [1977], §1) | |
| A reaction: Meaning equality of 1) power and influence, 2) status and respect, 3) rights and justice, 4) wealth. |
| 3276 | A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel] |
| Full Idea: The morality of rights tends to be a limited, even minimal, morality. It leaves a great deal of human life ungoverned by moral restrictions or requirements. | |
| From: Thomas Nagel (Equality [1977], §5) |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |