more from Theodore Sider

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


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.