display all the ideas for this combination of texts
4 ideas
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |