10 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
3238 | 'Dead person' isn't a contradiction, so 'person' is somewhat vague [Williams,B] |
3239 | You can only really love a person as a token, not as a type [Williams,B] |
7257 | All modern social systems seem to be conspiracies of the rich [More,T] |
7254 | If you try to get elected, you should be permanently barred from seeking office [More,T] |
7255 | Only Utopians fail to see glory in warfare [More,T] |
7253 | In Utopia, legal euthanasia is considered honourable [More,T] |
7256 | In Utopia, the Supreme Being is identical with Nature [More,T] |