3 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
19376 | A machine is best defined by its final cause, which explains the roles of the parts [Leibniz] |