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] |
| 17505 | Using proper names properly doesn't involve necessary and sufficient conditions [Putnam] |
| 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] |
| 5044 | Reality must be made of basic unities, which will be animated, substantial points [Leibniz] |
| 11908 | Putnam bases essences on 'same kind', but same kinds may not share properties [Mackie,P on Putnam] |
| 17508 | Science aims at truth, not at 'simplicity' [Putnam] |
| 5045 | No machine or mere organised matter could have a unified self [Leibniz] |
| 5046 | The soul does know bodies, although they do not influence one another [Leibniz] |
| 17506 | I now think reference by the tests of experts is a special case of being causally connected [Putnam] |
| 17507 | Natural kind stereotypes are 'strong' (obvious, like tiger) or 'weak' (obscure, like molybdenum) [Putnam] |
| 11904 | Express natural kinds as a posteriori predicate connections, not as singular terms [Putnam, by Mackie,P] |
| 5043 | To regard animals as mere machines may be possible, but seems improbable [Leibniz] |