Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Philosophical Analysis' and 'Negation'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

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.

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

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'.