6 ideas
| 17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
| 9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
| 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] |