8 ideas
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |