The Intuitionistic Prepositional Logic versus Other Prepositional Calculi according to Some Authors

Abstract

The paper addresses two principal questions of philosophical nature connected with the intuitionistic propositional logic. The first deals with the relationship between that logic and the many-valued systems; now, the second concentrates on the relationship between the intuitionistic propositional calculus and the classical propositional calculus. As regards the first issue, the number as well as the way to understand the logical values of the intuitionistic propositional logic have been subjected to analyses. The proposition-making functors in both logics have been discussed. Finally, some differences in the scientific attitude have been pointed out, the attitude that is connected with classical logic and intuitionistic logic.