3 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
14303 | Truth-functional conditionals have a simple falsification, when A is true and B is false [Peirce] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |