3 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
16771 | A composite is a true unity if all of its parts fall under one essence [Scheibler] |