3 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |