28 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
3993 | Arguments are nearly always open to challenge, but they help to explain a position rather than force people to believe [Lewis] |
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] |
3990 | The whole truth supervenes on the physical truth [Lewis] |
3991 | Where pixels make up a picture, supervenience is reduction [Lewis] |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
9342 | Understanding needs a priori commitment [Horwich] |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
3995 | A mind is an organ of representation [Lewis] |
3994 | Human pain might be one thing; Martian pain might be something else [Lewis] |
3989 | I am a reductionist about mind because I am an a priori reductionist about everything [Lewis] |
3992 | Folk psychology makes good predictions, by associating mental states with causal roles [Lewis] |
3996 | Folk psychology doesn't say that there is a language of thought [Lewis] |
3998 | If you don't share an external world with a brain-in-a-vat, then externalism says you don't share any beliefs [Lewis] |
3997 | Nothing shows that all content is 'wide', or that wide content has logical priority [Lewis] |
3999 | A spontaneous duplicate of you would have your brain states but no experience, so externalism would deny him any beliefs [Lewis] |
4000 | Wide content derives from narrow content and relationships with external things [Lewis] |