15 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] |
2850 | How can emotivists explain someone who recognises morality but is indifferent to it? [Brink] |
2848 | Two people might agree in their emotional moral attitude while disagreeing in their judgement [Brink] |
2851 | Emotivists find it hard to analyse assertions of moral principles, rather than actual judgements [Brink] |
2853 | Emotivists claim to explain moral motivation by basing morality on non-cognitive attitudes [Brink] |
2852 | Emotivists tend to favour a redundancy theory of truth, making moral judgement meaningless [Brink] |
2849 | Emotivism implies relativism about moral meanings, but critics say disagreements are about moral reference [Brink] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |