Truth and experience of truth
Fifty years ago (Bourbaki 1960, p.46) wrote of intuitionism as ‘a school that will probably be remembered only as a historical blip’. Of course, this very prophecy looks today like an historical oddity because, as a matter of fact, intuitionism has survived. Nevertheless, the sense in which it has survived needs clarification. The most striking feature of the present situation of intuitionism is that some sort of peaceful coexistence with classicism has been eventually reached. Times where controversy was raging are disappearing from collective memory, and the whole intuitionistic enterprise nowadays tends to be merely considered one place in the whole landscape of logic, mathematics, and philosophy. This place can be specified in various ways.
KeywordsClassical Logic Intuitionistic Logic Collective Memory Heyting Algebra Theoretical Computer Science
Unable to display preview. Download preview PDF.