Combining Texts

Ideas for 'Frege's Theory of Numbers', 'The Fragmentation of Reason' and 'Philosophical Logic'

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

15430	Is classical logic a part of intuitionist logic, or vice versa? [Burgess]
	Full Idea: From one point of view intuitionistic logic is a part of classical logic, missing one axiom, from another classical logic is a part of intuitionistic logic, missing two connectives, intuitionistic v and →
	From: John P. Burgess (Philosophical Logic [2009], 6.4)

15431	It is still unsettled whether standard intuitionist logic is complete [Burgess]
	Full Idea: The question of the completeness of the full intuitionistic logic for its intended interpretation is not yet fully resolved.
	From: John P. Burgess (Philosophical Logic [2009], 6.9)

4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic

15429	Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess]
	Full Idea: The relevantist logician's → is perhaps expressible by 'if A, then B, for that reason'.
	From: John P. Burgess (Philosophical Logic [2009], 5.8)