display all the ideas for this combination of texts
6 ideas
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
| From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
| From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
| 12197 | Inferring q from p only needs p to be true, and 'not-p or q' to be true [Russell] |
| Full Idea: In order that it be valid to infer q from p, it is only necessary that p should be true and that the proposition 'not-p or q' should be true. | |
| From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], XIV) | |
| A reaction: Rumfitt points out that this approach to logical consequences is a denial of any modal aspect, such as 'logical necessity'. Russell observes that for a good inference you must know the disjunction as a whole. Could disjunction be modal?... |
| 14450 | All forms of implication are expressible as truth-functions [Russell] |
| Full Idea: There is no need to admit as a fundamental notion any form of implication not expressible as a truth-function. | |
| From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], XIV) | |
| A reaction: Note that this is from a book about 'mathematical' philosophy. Nevertheless, it seems to have the form of a universal credo for Russell. He wasn't talking about conditionals here. Maybe conditionals are not implications (in isolation, that is). |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |