20 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] |
22180 | Multiple realisability is said to make reduction impossible [Okasha] |
6456 | Sense-data are neutral uninterpreted experiences, separated from objects and judgements [Angeles] |
22177 | Randomised Control Trials have a treatment and a control group, chosen at random [Okasha] |
22172 | Not all sciences are experimental; astronomy relies on careful observation [Okasha] |
22174 | The discoverers of Neptune didn't change their theory because of an anomaly [Okasha] |
22175 | Science mostly aims at confirming theories, rather than falsifying them [Okasha] |
22182 | Theories with unobservables are underdetermined by the evidence [Okasha] |
22185 | Two things can't be incompatible if they are incommensurable [Okasha] |
22176 | Induction is inferences from examined to unexamined instances of a given kind [Okasha] |
22178 | If the rules only concern changes of belief, and not the starting point, absurd views can look ratiional [Okasha] |
22173 | Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha] |