32 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| 15435 | If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis] |
| 15451 | I assume there could be natural properties that are not instantiated in our world [Lewis] |
| 15433 | Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis] |
| 15436 | Universals are meant to give an account of resemblance [Lewis] |
| 15438 | We can add a primitive natural/unnatural distinction to class nominalism [Lewis] |
| 15448 | The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis] |
| 15449 | If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis] |
| 15439 | The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis] |
| 15441 | The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis] |
| 15445 | Butane and Isobutane have the same atoms, but different structures [Lewis] |
| 15434 | Structural universals have a necessary connection to the universals forming its parts [Lewis] |
| 15437 | We can't get rid of structural universals if there are no simple universals [Lewis] |
| 15446 | Composition is not just making new things from old; there are too many counterexamples [Lewis] |
| 15440 | A whole is distinct from its parts, but is not a further addition in ontology [Lewis] |
| 15444 | Different things (a toy house and toy car) can be made of the same parts at different times [Lewis] |
| 15450 | Maybe abstraction is just mereological subtraction [Lewis] |
| 23438 | Full rationality must include morality [Foot] |
| 15443 | Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis] |
| 23437 | Practical reason is goodness in choosing actions [Foot] |
| 23436 | It is an odd Humean view to think a reason to act must always involve caring [Foot] |
| 23431 | Human defects are just like plant or animal defects [Foot] |
| 23432 | Concepts such as function, welfare, flourishing and interests only apply to living things [Foot] |
| 23433 | Humans need courage like a plant needs roots [Foot] |
| 23434 | There is no fact-value gap in 'owls should see in the dark' [Foot] |
| 23439 | Principles are not ultimate, but arise from the necessities of human life [Foot] |
| 23435 | If you demonstrate the reason to act, there is no further question of 'why should I?' [Foot] |