17 ideas
21757 | Philosophy is the conceptual essence of the shape of history [Hegel] |
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] |
14329 | Some dispositional properties (such as mental ones) may have no categorical base [Price,HH] |
9032 | Before we can abstract from an instance of violet, we must first recognise it [Price,HH] |
9034 | There may be degrees of abstraction which allow recognition by signs, without full concepts [Price,HH] |
9035 | If judgement of a characteristic is possible, that part of abstraction must be complete [Price,HH] |
9036 | There is pre-verbal sign-based abstraction, as when ice actually looks cold [Price,HH] |
9037 | Intelligent behaviour, even in animals, has something abstract about it [Price,HH] |
9033 | Recognition must precede the acquisition of basic concepts, so it is the fundamental intellectual process [Price,HH] |
9030 | Abstractions can be interpreted dispositionally, as the ability to recognise or imagine an item [Price,HH] |
9029 | If ideas have to be images, then abstract ideas become a paradoxical problem [Price,HH] |
9031 | The basic concepts of conceptual cognition are acquired by direct abstraction from instances [Price,HH] |