4 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
16625 | In hylomorphism all the explanation of actions is in the form, and the matter doesn't do anything [Bacon] |
16624 | Stripped and passive matter is just a human invention [Bacon] |