19 ideas
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
12163 | Literary meaning emerges in comparisons, and tradition shows which comparisons are relevant [Scruton] |
12162 | In literature, word replacement changes literary meaning [Scruton] |
12159 | Without intentions we can't perceive sculpture, but that is not the whole story [Scruton] |
12160 | In aesthetic interest, even what is true is treated as though it were not [Scruton] |
12161 | We can be objective about conventions, but love of art is needed to understand its traditions [Scruton] |
3785 | You can't separate acts from the people performing them [Glover] |
3786 | Aggression in defence may be beneficial but morally corrupting [Glover] |
3784 | Duty prohibits some acts, whatever their consequences [Glover] |
3782 | Satisfaction of desires is not at all the same as achieving happiness [Glover, by PG] |
3787 | Rule-utilitarianism is either act-utilitarianism, or not really utilitarian [Glover] |
3783 | How can utilitarianism decide the ideal population size? [Glover] |