18 ideas
| 3745 | Must sentences make statements to qualify for truth? [O'Connor] |
| 3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
| 3744 | The semantic theory requires sentences as truth-bearers, not propositions [O'Connor] |
| 3749 | What does 'true in English' mean? [O'Connor] |
| 3746 | Logic seems to work for unasserted sentences [O'Connor] |
| 14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
| 3747 | Events are fast changes which are of interest to us [O'Connor] |
| 19347 | Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins] |
| 14360 | Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson] |
| 14353 | Modus ponens requires that A→B is F when A is T and B is F [Jackson] |
| 14354 | When A and B have the same truth value, A→B is true, because A→A is a logical truth [Jackson] |
| 14355 | (A&B)→A is a logical truth, even if antecedent false and consequent true, so it is T if A is F and B is T [Jackson] |
| 14358 | In the possible worlds account of conditionals, modus ponens and modus tollens are validated [Jackson] |
| 14359 | Only assertions have truth-values, and conditionals are not proper assertions [Jackson] |
| 14357 | Possible worlds account, unlike A⊃B, says nothing about when A is false [Jackson] |
| 14356 | We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson] |
| 3748 | Without language our beliefs are particular and present [O'Connor] |
| 3743 | We can't contemplate our beliefs until we have expressed them [O'Connor] |