6 ideas
| 3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
| 14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
| 8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |