10 ideas
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
6871 | We can't only believe things if we are currently conscious of their justification - there are too many [Goldman] |
6872 | Internalism must cover Forgotten Evidence, which is no longer retrievable from memory [Goldman] |
6874 | Internal justification needs both mental stability and time to compute coherence [Goldman] |
6873 | Coherent justification seems to require retrieving all our beliefs simultaneously [Goldman] |
6875 | Reliability involves truth, and truth is external [Goldman] |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |