Lokalne i globalne kryteria logiczności
Local and Global Criteria of Logicality
Author(s): Janusz MaciaszekSubject(s): Philosophy
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: intuitionistic logic; arythmetic; set theory;
Summary/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]
Journal: Acta Universitatis Lodziensis. Folia Philosophica. Ethica - Aesthetica - Practica
- Issue Year: 2003
- Issue No: 15
- Page Range: 108-125
- Page Count: 18
- Language: Polish