display all the ideas for this combination of philosophers
3 ideas
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |