4 ideas
14713 | Truth in a scenario is the negation in that scenario being a priori incoherent [Chalmers] |
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
14712 | A sentence is a priori if no possible way the world might actually be could make it false [Chalmers] |