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] |
| 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] |
| 8983 | If 'red' is vague, then membership of the set of red things is vague, so there is no set of red things [Sainsbury] |
| 8986 | We should abandon classifying by pigeon-holes, and classify around paradigms [Sainsbury] |
| 14217 | The 'standard' view of relations is that they hold of several objects in a given order [Fine,K] |
| 14216 | The 'positionalist' view of relations says the number of places is fixed, but not the order [Fine,K] |
| 14218 | A block on top of another contains one relation, not both 'on top of' and 'beneath' [Fine,K] |
| 14219 | Language imposes a direction on a road which is not really part of the road [Fine,K] |
| 14220 | Explain biased relations as orderings of the unbiased, or the unbiased as permutation classes of the biased? [Fine,K] |
| 8982 | Vague concepts are concepts without boundaries [Sainsbury] |
| 8984 | If concepts are vague, people avoid boundaries, can't spot them, and don't want them [Sainsbury] |
| 8985 | Boundaryless concepts tend to come in pairs, such as child/adult, hot/cold [Sainsbury] |