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] |
14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
12312 | The real essence of a thing is its powers, or 'dispositional properties' [Copi] |
15455 | Total intrinsic properties give us what a thing is [Lewis] |
10937 | Essential properties are the 'deepest' ones which explain the others [Copi, by Rami] |
12308 | In modern science, nominal essence is intended to be real essence [Copi] |
12303 | Within the four types of change, essential attributes are those whose loss means destruction [Copi] |
12307 | Modern science seeks essences, and is getting closer to them [Copi] |
12310 | Real essences are scientifically knowable, but so are non-essential properties [Copi] |