3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |