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] |
| 10242 | I apply structuralism to concrete and abstract objects indiscriminately [Quine] |
| 10243 | My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine] |
| 6479 | Noninterference requires justification as much as interference does [Nagel] |
| 6450 | Morality must be motivating, and not because of pre-moral motives [Nagel] |
| 6447 | Game theory misses out the motivation arising from the impersonal standpoint [Nagel] |
| 6446 | In ethics we abstract from our identity, but not from our humanity [Nagel] |
| 6477 | I can only universalise a maxim if everyone else could also universalise it [Nagel] |
| 6448 | A legitimate system is one accepted as both impartial and reasonably partial [Nagel] |
| 6478 | Democracy is opposed to equality, if the poor are not a majority [Nagel] |