Filozofia i logika intuicjonizmu
The philosophy and logic of intuitionism

Summary/Abstract: At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the main representative was Heyting.In this paper described will be attempt to construct a suitable logic for philo­ sophical intuitionism theses. In second paragraph Heyting system will be pre­ sent – its axioms and truth tables. Later Gödel theorem about the inadequacy of nite dimensional matrices for this system will be explained. At the end this paper an in nite sequence of matrices adequate for Heyting axioms proposed by Jaśkowski will be described.

• Details
• Contents