Abstract

This paper is a proposal of continuation of the work of C. Rauszer. The logic of falsehood created by her may constitute the starting point for construction of logic formalising reductive reasonings. The extension of Heyting-Brouwer logic to its deductive-reductive form sheds new light upon those classical tautologies which are rejected in intuitionism. It turns out that among HBtautologies there can be found all the classical ones. Some of them are characteristic for deductive reasoning and they are accepted by intuitionism. Others formulate the laws of reductive reasoning. Many of them, including the law of excluded middle has been rejected in Heyting’s intuitionism. Intuitionism only permits for those reductive tautologies, which at the same time bear deductive character. Thus, the complete HB intuitionism does not reject any of the classical tautologies. Every classical tautology appears in HB logic in its deductive or reductive part. Some are even present in both parts. At the end it is shown that the law of excluded middle α∨¬α is a law of the reductive part of the traditional, Heyting’s intuitionistic propositional calculus