17 ideas
8349 | The best way to do ontology is to make sense of our normal talk [Davidson] |
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] |
8348 | If we don't assume that events exist, we cannot make sense of our common talk [Davidson] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
8347 | Explanations typically relate statements, not events [Davidson] |
10371 | Distinguish causation, which is in the world, from explanations, which depend on descriptions [Davidson, by Schaffer,J] |
8403 | Either facts, or highly unspecific events, serve better as causes than concrete events [Field,H on Davidson] |
8346 | Full descriptions can demonstrate sufficiency of cause, but not necessity [Davidson] |
4778 | A singular causal statement is true if it is held to fall under a law [Davidson, by Psillos] |