Single Idea 13715

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic]

Full Idea

Not everyone who employs intuitionistic logic is an intuitionist about mathematics.

Gist of Idea

You can employ intuitionist logic without intuitionism about mathematics

Source

Theodore Sider (Logic for Philosophy [2010], 7.4.1)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.193


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.