18 ideas
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| 7590 | Consequentialism emphasises value rather than obligation in morality [Scruton] |
| 7589 | Altruism is either emotional (where your interests are mine) or moral (where they are reasons for me) [Scruton] |
| 7595 | The idea of a right seems fairly basic; justice may be the disposition to accord rights to people [Scruton] |
| 7588 | Allegiance is fundamental to the conservative view of society [Scruton] |
| 7594 | Democrats are committed to a belief and to its opposite, if the majority prefer the latter [Scruton] |
| 7593 | Liberals focus on universal human freedom, natural rights, and tolerance [Scruton, by PG] |
| 7592 | For positivists law is a matter of form, for naturalists it is a matter of content [Scruton] |
| 7587 | The issue of abortion seems insoluble, because there is nothing with which to compare it [Scruton] |