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] |
16362 | An identity statement aims at getting the hearer to merge two mental files [Lockwood] |