6 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
13120 | Chisholm divides things into contingent and necessary, and then individuals, states and non-states [Chisholm, by Westerhoff] |
16755 | The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau] |