26 ideas
7068 | If infatuation with science leads to bad scientism, its rejection leads to obscurantism [Critchley] |
7075 | To meet the division in our life, try the Subject, Nature, Spirit, Will, Power, Praxis, Unconscious, or Being [Critchley] |
7069 | The French keep returning, to Hegel or Nietzsche or Marx [Critchley] |
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] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [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] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
15200 | How could change consist of a conjunction of changeless facts? [McTaggart, by Le Poidevin] |
14761 | Change is not just having two different qualities at different points in some series [McTaggart] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
7067 | Food first, then ethics [Critchley] |
2608 | For McTaggart time is seen either as fixed, or as relative to events [McTaggart, by Ayer] |
22936 | A-series time positions are contradictory, and yet all events occupy all of them! [McTaggart, by Le Poidevin] |
4231 | Time involves change, only the A-series explains change, but it involves contradictions, so time is unreal [McTaggart, by Lowe] |
8591 | There could be no time if nothing changed [McTaggart] |
22935 | The B-series can be inferred from the A-series, but not the other way round [McTaggart, by Le Poidevin] |
7802 | A-series uses past, present and future; B-series uses 'before' and 'after' [McTaggart, by Girle] |
4230 | A-series expressions place things in time, and their truth varies; B-series is relative, and always true [McTaggart, by Lowe] |
15199 | The B-series must depend on the A-series, because change must be explained [McTaggart, by Le Poidevin] |