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] |
13331 | Part and whole contribute asymmetrically to one another, so must differ [Fine,K] |
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] |
13332 | Hierarchical set membership models objects better than the subset or aggregate relations do [Fine,K] |
13333 | The matter is a relatively unstructured version of the object, like a set without membership structure [Fine,K] |
13326 | A 'temporary' part is a part at one time, but may not be at another, like a carburetor [Fine,K] |
13327 | A 'timeless' part just is a part, not a part at some time; some atoms are timeless parts of a water molecule [Fine,K] |
13329 | An 'aggregative' sum is spread in time, and exists whenever a component exists [Fine,K] |
13330 | An 'compound' sum is not spread in time, and only exists when all the components exists [Fine,K] |
13328 | Two sorts of whole have 'rigid embodiment' (timeless parts) or 'variable embodiment' (temporary parts) [Fine,K] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |