17 ideas
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
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] |
15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |