16 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
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] |
22121 | The concept of being has only one meaning, whether talking of universals or of God [Duns Scotus, by Dumont] |
22122 | Being (not sensation or God) is the primary object of the intellect [Duns Scotus, by Dumont] |
22125 | Duns Scotus was a realist about universals [Duns Scotus, by Dumont] |
22127 | Scotus said a substantial principle of individuation [haecceitas] was needed for an essence [Duns Scotus, by Dumont] |
22126 | Avicenna and Duns Scotus say essences have independent and prior existence [Duns Scotus, by Dumont] |
22129 | Certainty comes from the self-evident, from induction, and from self-awareness [Duns Scotus, by Dumont] |
22130 | Scotus defended direct 'intuitive cognition', against the abstractive view [Duns Scotus, by Dumont] |
22128 | Augustine's 'illumination' theory of knowledge leads to nothing but scepticism [Duns Scotus, by Dumont] |
22131 | The will retains its power for opposites, even when it is acting [Duns Scotus, by Dumont] |
22123 | The concept of God is the unique first efficient cause, final cause, and most eminent being [Duns Scotus, by Dumont] |
22124 | We can't infer the infinity of God from creation ex nihilo [Duns Scotus, by Dumont] |