33 ideas
2557 | Analytical philosophy seems to have little interest in how to tell a good analysis from a bad one [Rorty] |
2556 | Rational certainty may be victory in argument rather than knowledge of facts [Rorty] |
4726 | Rorty seems to view truth as simply being able to hold one's view against all comers [Rorty, by O'Grady] |
2549 | For James truth is "what it is better for us to believe" rather than a correct picture of reality [Rorty] |
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] |
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] |
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] |
2548 | If knowledge is merely justified belief, justification is social [Rorty] |
6599 | Knowing has no definable essence, but is a social right, found in the context of conversations [Rorty] |
2566 | You can't debate about whether to have higher standards for the application of words [Rorty] |
2553 | The mind is a property, or it is baffling [Rorty] |
2550 | Pain lacks intentionality; beliefs lack qualia [Rorty] |
2554 | Is intentionality a special sort of function? [Rorty] |
2565 | Nature has no preferred way of being represented [Rorty] |
2560 | Can meanings remain the same when beliefs change? [Rorty] |
2562 | A theory of reference seems needed to pick out objects without ghostly inner states [Rorty] |
2559 | Davidson's theory of meaning focuses not on terms, but on relations between sentences [Rorty] |
2558 | Since Hegel we have tended to see a human as merely animal if it is outside a society [Rorty] |