31 ideas
16541 | All the intrinsic properties of a thing should be deducible from its definition [Spinoza] |
14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
22744 | Parts are not parts if their whole is nothing more than the parts [Sext.Empiricus] |
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] |
22748 | Some say motion is perceived by sense, but others say it is by intellect [Sext.Empiricus] |
13073 | To understand the properties we must know the essence, as with a circle [Spinoza] |
22746 | If we try to conceive of a line with no breadth, it ceases to exist, and so has no length [Sext.Empiricus] |
22741 | The incorporeal is not in the nature of body, and so could not emerge from it [Sext.Empiricus] |
22747 | A man walking backwards on a forwards-moving ship is moving in a fixed place [Sext.Empiricus] |
22749 | Time doesn't end with the Universe, because tensed statements about destruction remain true [Sext.Empiricus] |
22750 | Time is divisible, into past, present and future [Sext.Empiricus] |
22742 | Socrates either dies when he exists (before his death) or when he doesn't (after his death) [Sext.Empiricus] |
22751 | If the present is just the limit of the past or the future, it can't exist because they don't exist [Sext.Empiricus] |
22730 | All men agree that God is blessed, imperishable, happy and good [Sext.Empiricus] |
22739 | God must suffer to understand suffering [Sext.Empiricus] |
22738 | The Divine must lack the virtues of continence and fortitude, because they are not needed [Sext.Empiricus] |
22734 | God is defended by agreement, order, absurdity of denying God, and refutations [Sext.Empiricus] |
22736 | God's sensations imply change, and hence perishing, which is absurd, so there is no such God [Sext.Empiricus] |
22740 | God without virtue is absurd, but God's virtues will be better than God [Sext.Empiricus] |
22735 | The original substance lacked motion or shape, and was given these by a cause [Sext.Empiricus] |
22732 | The perfections of God were extrapolations from mankind [Sext.Empiricus] |
22728 | Gods were invented as watchers of people's secret actions [Sext.Empiricus] |
22737 | An incorporeal God could do nothing, and a bodily god would perish, so there is no God [Sext.Empiricus] |
22731 | It is mad to think that what is useful to us, like lakes and rivers, are gods [Sext.Empiricus] |