3 ideas
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
22908 | When one element contains the grounds of the other, the first one is prior in time [Leibniz] |