27 ideas
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |
6685 | 'Subjectivism' is an extension of relativism from the social group to the individual [Graham] |
6699 | The chain of consequences may not be the same as the chain of responsibility [Graham] |
6698 | Negative consequences are very hard (and possibly impossible) to assess [Graham] |
6700 | We can't criticise people because of unforeseeable consequences [Graham] |
6704 | Egoism submits to desires, but cannot help form them [Graham] |
6701 | Rescue operations need spontaneous benevolence, not careful thought [Graham] |
6693 | 'What if everybody did that?' rather misses the point as an objection to cheating [Graham] |
6691 | It is more plausible to say people can choose between values, than that they can create them [Graham] |
6688 | Life is only absurd if you expected an explanation and none turns up [Graham] |
6705 | Existentialism may transcend our nature, unlike eudaimonism [Graham] |
6690 | A standard problem for existentialism is the 'sincere Nazi' [Graham] |
6689 | The key to existentialism: the way you make choices is more important than what you choose [Graham] |
6706 | The great religions are much more concerned with the religious life than with ethics [Graham] |
6709 | Western religion saves us from death; Eastern religion saves us from immortality [Graham] |