18 ideas
10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
10396 | If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P] |
10395 | Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P] |
15384 | Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio] |
8481 | The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein] |
15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
9073 | Abstraction from an ambiguous concept like 'mole' will define them as the same [Barnes,J] |
9074 | Abstraction cannot produce the concept of a 'game', as there is no one common feature [Barnes,J] |
9072 | Defining concepts by abstractions will collect together far too many attributes from entities [Barnes,J] |
15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |