59 ideas
| 9108 | From an impossibility anything follows [William of Ockham] |
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| 16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
| 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] |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| 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] |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| 15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
| 9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 20146 | 'Luck' is the unpredictable and inexplicable intersection of causal chains [Kekes] |
| 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] |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
| 20169 | An action may be intended under one description, but not under another [Kekes] |
| 20149 | To control our actions better, make them result from our attitudes, not from circumstances [Kekes] |
| 19738 | Values are an attempt to achieve well-being by bringing contingencies under control [Kekes] |
| 20145 | Values help us to control life, by connecting it to what is stable and manageable [Kekes] |
| 20170 | Responsibility is unprovoked foreseeable harm, against society, arising from vicious character [Kekes] |
| 20165 | Reason and morality do not coincide; immorality can be reasonable, with an ideology [Kekes] |
| 20171 | Practical reason is not universal and impersonal, because it depends on what success is [Kekes] |
| 20175 | If morality has to be rational, then moral conflicts need us to be irrational and immoral [Kekes] |
| 20174 | Relativists say all values are relative; pluralists concede much of that, but not 'human' values [Kekes] |
| 20159 | Cultural values are interpretations of humanity, conduct, institutions, and evaluations [Kekes] |
| 20161 | The big value problems are evil (humanity), disenchantment (cultures), and boredom (individuals) [Kekes] |
| 20156 | We are bound to regret some values we never aspired to [Kekes] |
| 20150 | There are far more values than we can pursue, so they are optional possibilities [Kekes] |
| 20158 | Innumerable values arise for us, from our humanity, our culture, and our individuality [Kekes] |
| 20151 | Our attitudes include what possibilities we value, and also what is allowable, and unthinkable [Kekes] |
| 20152 | Unconditional commitments are our most basic convictions, saying what must never be done [Kekes] |
| 20153 | Doing the unthinkable damages ourselves, so it is more basic than any value [Kekes] |
| 20162 | Evil isn't explained by nature, by monsters, by uncharacteristic actions, or by society [Kekes] |
| 20154 | Control is the key to well-being [Kekes] |
| 20157 | Well-being needs correct attitudes and well-ordered commitments to local values [Kekes] |
| 20172 | Boredom destroys our ability to evaluate [Kekes] |
| 20173 | Boredom is apathy and restlessness, yearning for something interesting [Kekes] |
| 20155 | Society is alienating if it lacks our values, and its values repel us [Kekes] |
| 20164 | The ideal of an ideology is embodied in a text, a role model, a law of history, a dream of the past... [Kekes] |
| 20163 | Ideologies have beliefs about reality, ideals, a gap with actuality, and a program [Kekes] |
| 20148 | Equal distribution is no good in a shortage, because there might be no one satisfied [Kekes] |