8 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
9944 | We understand some statements about all sets [Putnam] |
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] |
6017 | Nomos is king [Pindar] |