26 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] |
15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
12184 | Logical necessity overrules all other necessities [McFetridge] |
12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
21833 | Research suggest that we overrate conscious experience [Flanagan] |
21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |