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] |
8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
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] |