Lokalne i globalne kryteria logiczności

Abstract

Rozdział szósty podsumowuje całą pracę. Staram się w nim sprecyzować znaczenie terminu "kryterium logiczności" i pokazać jaką budowę powinny mieć takie kryteria. Analizując trzy spośród sformułowanych w poprzednich rozdziałach kryteriów logiczności, podejmuję dyskusję na temat zakresu ich stosowania. Na zakończenie szkicuję sposób konstruowania złożonych kryteriów logiczności i pokazuję, że zaproponowane przeze mnie kryterium jest spełnione przez logikę klasyczną i przez intuicjonistyczny rachunek predykatów. [ZE WSTĘPU AUTORA]