21 ideas
20744 | Phenomenologists say all experience is about something and is directed [Aho] |
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] |
20736 | Science has to abstract out the subjective attributes of things, focusing on what is objective [Aho] |
20444 | If paintings could be perfectly duplicated, it would be a multiple art form [Currie, by Bacharach] |
20734 | Anxiety, nausea, guilt and absurdity shake us up, revealing our freedom and limits [Aho] |
20733 | Our 'existence' is how we create ourselves, unconstrained by any prior 'essence' [Aho] |
20753 | The self is constituted by its choices made within a social context [Aho] |
20738 | Social contracts and markets have made society seem disconnected and artificial [Aho] |
20737 | Protestantism brought the modern emphasis on inner states of the soul [Aho] |
20766 | Four Noble Truths: life is suffering, caused by attachment, it is avoidable, there is a path [Aho] |