Combining Texts

Ideas for 'works', 'The Web of Belief' and 'Logic for Philosophy'

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

display all the ideas for this combination of texts

---

1 idea

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

13715	You can employ intuitionist logic without intuitionism about mathematics [Sider]
	Full Idea: Not everyone who employs intuitionistic logic is an intuitionist about mathematics.
	From: Theodore Sider (Logic for Philosophy [2010], 7.4.1)
	A reaction: This seems worthy of note, since it may be tempting to reject the logic because of the implausibility of the philosophy of mathematics. I must take intuitionist logic more seriously.