33 ideas
| 6253 | Reason is our power of finding out true propositions [Hutcheson] |
| 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] |
| 6248 | Reason is too slow and doubtful to guide all actions, which need external and moral senses [Hutcheson] |
| 6238 | We approve of actions by a superior moral sense [Hutcheson] |
| 6239 | We dislike a traitor, even if they give us great benefit [Hutcheson] |
| 6240 | The moral sense is not an innate idea, but an ability to approve or disapprove in a disinterested way [Hutcheson] |
| 6242 | We cannot choose our moral feelings, otherwise bribery could affect them [Hutcheson] |
| 6247 | Everyone feels uneasy when seeing others in pain, unless the others are evil [Hutcheson] |
| 6256 | Can't the moral sense make mistakes, as the other senses do? [Hutcheson] |
| 6244 | Human nature seems incapable of universal malice, except what results from self-love [Hutcheson] |
| 6243 | As death approaches, why do we still care about family, friends or country? [Hutcheson] |
| 6246 | My action is not made good by a good effect, if I did not foresee and intend it [Hutcheson] |
| 6252 | Happiness is a pleasant sensation, or continued state of such sensations [Hutcheson] |
| 6241 | Contempt of danger is just madness if it is not in some worthy cause [Hutcheson] |
| 6257 | You can't form moral rules without an end, which needs feelings and a moral sense [Hutcheson] |
| 6245 | That action is best, which procures the greatest happiness for the greatest number [Hutcheson] |
| 6251 | The loss of perfect rights causes misery, but the loss of imperfect rights reduces social good [Hutcheson] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| 6254 | We are asked to follow God's ends because he is our benefactor, but why must we do that? [Hutcheson] |
| 6255 | Why may God not have a superior moral sense very similar to ours? [Hutcheson] |
| 6250 | We say God is good if we think everything he does aims at the happiness of his creatures [Hutcheson] |
| 6249 | If goodness is constituted by God's will, it is a tautology to say God's will is good [Hutcheson] |