4 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |