25 ideas
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
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] |
3780 | We must judge a thing morally to know if it conforms to God's will [Bentham] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |