45 ideas
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| 22744 | Parts are not parts if their whole is nothing more than the parts [Sext.Empiricus] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 22748 | Some say motion is perceived by sense, but others say it is by intellect [Sext.Empiricus] |
| 21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
| 21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
| 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] |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| 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] |