5 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |