display all the ideas for this combination of philosophers
15 ideas
19053 | Logic would be more natural if negation only referred to predicates [Dummett] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
16951 | It was realised that possible worlds covered all modal logics, if they had a structure [Dummett] |
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
16952 | If something is only possible relative to another possibility, the possibility relation is not transitive [Dummett] |
16953 | Relative possibility one way may be impossible coming back, so it isn't symmetrical [Dummett] |
16960 | If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett] |
16958 | In S4 the actual world has a special place [Dummett] |
18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |