display all the ideas for this combination of texts
4 ideas
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
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] |