15 ideas
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 16648 | Accidents must have formal being, if they are principles of real action, and of mental action and thought [Duns Scotus] |
| 15386 | If only the singular exists, science is impossible, as that relies on true generalities [Duns Scotus, by Panaccio] |
| 15387 | If things were singular they would only differ numerically, but horse and tulip differ more than that [Duns Scotus, by Panaccio] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 16632 | We distinguish one thing from another by contradiction, because this is, and that is not [Duns Scotus] |
| 13094 | The haecceity is the featureless thing which gives ultimate individuality to a substance [Duns Scotus, by Cover/O'Leary-Hawthorne] |
| 16770 | It is absurd that there is no difference between a genuinely unified thing, and a mere aggregate [Duns Scotus] |
| 10919 | What prevents a stone from being divided into parts which are still the stone? [Duns Scotus] |
| 16768 | Two things are different if something is true of one and not of the other [Duns Scotus] |
| 7082 | Nature requires causal explanations, but society requires clarification by reasons and motives [Weber, by Critchley] |
| 22155 | We are disenchanted because we rely on science, which ignores values [Weber, by Boulter] |