A few remarks on the subject of intuitionist logic

Abstract

The article is an attempt to answer the question what is the subject of intuitionist logic. The considerations are based on publications by the creators of intuitionism, especially Heyting. In the background, comments were also made on classical logic. The laws of classical propositional logic establish certain objective and also the most general relationships between facts and events. Those thinkers assume the existence of such connections that characterize the ontological position. On the other hand, the laws of intuitionist logic establish relationships between mathematical constructions or the properties of these constructions on the basis of previously created and researched mental mathematical constructions.