21 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
5784 | In its primary and formal sense, 'true' applies to propositions, not beliefs [Russell] |
5777 | The truth or falsehood of a belief depends upon a fact to which the belief 'refers' [Russell] |
5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
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] |
5780 | The three questions about belief are its contents, its success, and its character [Russell] |
16634 | I can't be unaware of anything which is in me [Descartes] |
5778 | If we object to all data which is 'introspective' we will cease to believe in toothaches [Russell] |
5779 | There are distinct sets of psychological and physical causal laws [Russell] |
5781 | Our important beliefs all, if put into words, take the form of propositions [Russell] |
5782 | A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell] |
5776 | A proposition is what we believe when we believe truly or falsely [Russell] |
3635 | Essence must be known before we discuss existence [Descartes] |
3634 | We can't prove a first cause from our inability to grasp infinity [Descartes] |