back to ideas for this text


Single Idea 13715

[from 'Logic for Philosophy' by Theodore Sider, in 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.