21 ideas
| 12204 | 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. |
| 12195 | 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. |
| 12199 | 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) |
| 12201 | 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) |
| 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. |
| 12194 | 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) |
| 12198 | 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. |
| 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. |
| 14532 | 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 |
| 12193 | 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'.... |
| 12200 | 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.). |
| 12202 | 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. |
| 12203 | 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). |
| 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. |
| 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. |