26 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
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] |
9175 | We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke] |
9171 | The function of names is simply to refer [Kripke] |
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] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
9177 | Identity theorists must deny that pains can be imagined without brain states [Kripke] |
9178 | Pain, unlike heat, is picked out by an essential property [Kripke] |