7 ideas
| 19389 | Truth is a characteristic of possible thoughts [Leibniz] |
| Full Idea: Truth really belongs to the class of thoughts which are possible. | |
| From: Gottfried Leibniz (Dialogue on Things and Words [1677], p.7) | |
| A reaction: I like the fact that this ties truth to 'thoughts', rather than peculiar abstract unthought entities called 'propositions', but I take it that thoughts which are possible but not thought will thereby not exist, so they can't be true. |
| 19388 | True and false seem to pertain to thoughts, yet unthought propositions seem to be true or false [Leibniz] |
| Full Idea: B: I concede that truth and falsity both pertain to thoughts and not to things. A: But this contradicts your previous opinion that a proposition remains true even when you are not thinking about it. | |
| From: Gottfried Leibniz (Dialogue on Things and Words [1677], p.7) | |
| A reaction: I don't trigger the truth of a proposition by thinking about it - I see that it is true. But I dislike the idea that reality is full of propositions, which seems to be mad metaphysics. So I deny unthought propositions are true, because there aren't any. |
| 16654 | Our words and concepts don't always correspond to what is out there [William of Ockham] |
| Full Idea: It should not be said that as distinct words and intentions or concepts are distinct from one another, so too the corresponding things are distinct. Those distinctions do not always line up with distinctions among things that are signified. | |
| From: William of Ockham (Predest.,God's foreknowledge and contingents [1320], 7.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 12.2 | |
| A reaction: [compressed] This is the great nominalist opponent of the idea that Aristotle's ten categories give an accurate map of reality. He proposed just substance and accidents, and based categorisation on the questions we ask. |
| 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) |
| 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. |