6 ideas
| 18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
| 3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
| 16978 | If conceivability is a priori coherence, that implies possibility [Tahko] |
| 16975 | Essences are used to explain natural kinds, modality, and causal powers [Tahko] |
| 16976 | Scientific essentialists tend to characterise essence in terms of modality (not vice versa) [Tahko] |
| 16977 | If essence is modal and laws are necessary, essentialist knowledge is found by scientists [Tahko] |