4 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
15571 | The idea of an atemporal realm of validity is as implausible as medieval theology [Heidegger] |
15581 | Dasein is always only that which it has chosen to be [Heidegger] |