14 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] |
14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
23304 | The ancient Memorists said virtually all types of thinking could be done simply by memory [Sorabji] |
23303 | Stoics say true memory needs reflection and assent, but animals only have perceptual recognition [Sorabji] |
9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |