display all the ideas for this combination of texts
4 ideas
13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
Full Idea: The logic of real possibilities and necessities is just S5. This is because the accessibility relation for real possibilities links possible worlds of the same natural kind, which is an equivalence class. | |
From: Brian Ellis (Scientific Essentialism [2001], 7.06) | |
A reaction: Most people, except Nathan Salmon, agree with this. With full accessibility, you seem to take epistemological problems out of the system, and just focus on reality. |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
From: Edwin D. Mares (Negation [2014], 5.5) |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
From: Edwin D. Mares (Negation [2014], 5.5) | |
A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
From: Edwin D. Mares (Negation [2014], 3.1) | |
A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |