18 ideas
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| 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] |
| 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] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| 2427 | Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers] |
| 7389 | A program won't contain understanding if it is small enough to imagine [Dennett on Searle] |
| 7390 | If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle] |