16 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] |
15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
15645 | Nominal essence are the observable properties of things [Eagle] |
15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
22392 | Morality is inescapable, in descriptive words such as 'dishonest', 'unjust' and 'uncharitable' [Foot] |
23685 | Reason is not a motivator of morality [Foot, by Hacker-Wright] |
23691 | Rejecting moral rules may be villainous, but it isn't inconsistent [Foot] |
22391 | Saying we 'ought to be moral' makes no sense, unless it relates to some other system [Foot] |
22389 | Morality no more consists of categorical imperatives than etiquette does [Foot] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |