display all the ideas for this combination of texts
8 ideas
| 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) |
| 17587 | The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen] |
| Full Idea: I think the validity of the 'Law' of Excluded Middle depends on the assumption that every proposition is definitely true or definitely false. | |
| From: Peter van Inwagen (Material Beings [1990], 18) | |
| A reaction: I think this is confused. He cites vagueness as the problem, but that is a problem for Bivalence. If excluded middle is read as 'true or not-true', that leaves the meaning of 'not-true' open, and never mentions the bivalent 'false'. |
| 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) |
| 17558 | Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen] |
| Full Idea: Explanations in terms of syntax do not satisfactorily distinguish true variables from dummy or schematic letters. Identifying variables with pronouns, however, provides a genuine explanation of what variables are. | |
| From: Peter van Inwagen (Material Beings [1990], 02) | |
| A reaction: I like this because it shows that our ordinary thought and speech use variables all the time ('I've forgotten something - what was it?'). He says syntax is fine for maths, but not for ordinary understanding. |
| 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. |
| 17583 | There are no heaps [Inwagen] |
| Full Idea: Fortunately ....there are no heaps. | |
| From: Peter van Inwagen (Material Beings [1990], 18) | |
| A reaction: This is the nihilist view of (inorganic) physical objects. If a wild view solves all sorts of problems, one should take it serious. It is why I take reductive physicalism about the mind seriously. (Well, it's true, actually) |