21 ideas
21970 | Philosophy attains its goal if one person feels perfect accord between their system and experience [Fichte] |
6912 | For Fichte there is no God outside the ego, and 'our religion is reason' [Fichte, by Feuerbach] |
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] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [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] |
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] |
21973 | Fichte believed in things-in-themselves [Fichte, by Moore,AW] |
21914 | We can deduce experience from self-consciousness, without the thing-in-itself [Fichte] |
20951 | The absolute I divides into consciousness, and a world which is not-I [Fichte, by Bowie] |
21964 | Reason arises from freedom, so philosophy starts from the self, and not from the laws of nature [Fichte] |
21968 | Abandon the thing-in-itself; things only exist in relation to our thinking [Fichte] |
20769 | Sphaerus he was not assenting to the presence of pomegranates, but that it was 'reasonable' [Sphaerus, by Diog. Laertius] |
21965 | Spinoza could not actually believe his determinism, because living requires free will [Fichte] |