11 ideas
5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
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] |
5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
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] |
5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |