11 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] |
7746 | We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle] |
7747 | How can a proper name be correlated with its object if it hasn't got a sense? [Searle] |
7748 | 'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle] |
7749 | Reference for proper names presupposes a set of uniquely referring descriptions [Searle] |
7750 | Proper names are logically connected with their characteristics, in a loose way [Searle] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
19384 | Space and time are the order of all possibilities, and don't just relate to what is actual [Leibniz] |