10 ideas
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
| 17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
| 17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
| 17065 | 2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart] |
| 17066 | 3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart] |
| 17064 | 1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart] |
| 17067 | 4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart] |
| 17068 | 5: Contradictory propositions incohere [Thagard, by Smart] |
| 17069 | 6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart] |