Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Darwinian Metaphysics: Species and Essentialism' and 'Dynamic Logics'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
27. Natural Reality / G. Biology / 5. Species
Virtually all modern views of speciation rest on relational rather than intrinsic features [Okasha]