22 ideas
22701 | Jokes can sometimes be funny because they are offensive [Jacobson,D] |
9406 | A class is natural when everybody can spot further members of it [Quinton] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
22703 | We don't often respond to events in art as if they were real events [Jacobson,D] |
22702 | Audiences can be too moral [Jacobson,D] |
22696 | 'Autonomism' says the morality is irrelevant to the aesthetics [Jacobson,D] |
22697 | Moral defects of art can be among its aesthetic virtues [Jacobson,D] |
22700 | Immoral art encourages immoral emotions [Jacobson,D] |
22699 | Moderate moralism says moral qualities can sometimes also be aesthetic qualities [Jacobson,D] |
22698 | We can judge art ethically, or rate its ethical influence, or assess its quality via its ethics [Jacobson,D] |