display all the ideas for this combination of texts
1 idea
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. |