23 ideas
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
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] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [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] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |