Constructive Logic for All
Download:
|
|
by Greg Restall
ftp://www.phil.mq.edu.au/pub/grestall/constructive.ps
Add To MetaCart
Abstract:
It is a commonplace in recent metaphysics that one's logical commitments go hand in hand with one's metaphysics. Brouwer, Heyting and Dummett have each championed the move to constructive (intuitionistic) reasoning on the grounds of anti-realism. I hope to break this close connection, to explain why a realist ought to reason constructively. 1
Citations
| 259 | Foundations of constructive analysis – Bishop - 1967 |
| 45 | Foundations of Constructive Mathematics, Metamathematical Studies – Beeson - 1985 |
| 27 | Constructive Functional Analysis – Bridges - 1979 |
| 9 | Platonism and Anti-Platonism in Mathematics – Balaguer - 1998 |
| 2 | Logical Pluralism". Under consideration, Year 2000 special issue on – BEALL, RESTALL - 2000 |
