Intuitionism
Intuitionism is a philosophy of mathematics which regards the objects of mathematical discourse to be mental constructions based upon intuitively self-evident ideas. Thus, for the intuiti...
Read more
Intuitionism and Intuitionistic Logic
Logic, in the modern preponderantly mathematical sense, deals with concepts like truth and consequence. The main task of logic is to discover the properties of th...
Read more
The Proliferation of Nonclassical Logics
The twentieth century, and especially its second half, was marked by a fairly spectacular proliferation of what are sometimes called nonclassical logics. To un...
Read more
Intuitionism
Intuitionism and Intuitionistic Logic