When studying the semantics of constructive logic and constructive mathematics the usual model theoretic semantics for classical logic and mathematics based on naive set theory does not work. The reason is that the basic notion of truth, adequate for classical logic, is not adequate for constructive or intuitionistic logic. When reasoning constructively it is not relevant whether a proposition is true or false but whether it has a proof or not.
Unable to display preview. Download preview PDF.