11 ideas
15833 | Tell cleverness from answers, but wisdom from questions [Mahfouz] |
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
9944 | We understand some statements about all sets [Putnam] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
9940 | Maybe mathematics is empirical in that we could try to change it [Putnam] |
9941 | Science requires more than consistency of mathematics [Putnam] |
9943 | You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |