21 ideas
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
5901 | Is 'productive of happiness' the definition of 'right', or the cause of it? [Ross on Bentham] |
5934 | Of Bentham's 'dimensions' of pleasure, only intensity and duration matter [Ross on Bentham] |
5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |
3777 | Pleasure and pain control all human desires and duties [Bentham] |
3554 | Bentham thinks happiness is feeling good, but why use morality to achieve that? [Annas on Bentham] |
3781 | The value of pleasures and pains is their force [Bentham] |
20977 | Natural rights are nonsense, and unspecified natural rights is nonsense on stilts [Bentham] |
3778 | The community's interest is a sum of individual interests [Bentham] |
21003 | Only laws can produce real rights; rights from 'law of nature' are imaginary [Bentham] |
20280 | Large mature animals are more rational than babies. But all that really matters is - can they suffer? [Bentham] |
3779 | Unnatural, when it means anything, means infrequent [Bentham] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |
3780 | We must judge a thing morally to know if it conforms to God's will [Bentham] |