Інтенсіонально-орієнтований підхід до побудови логічних систем

Abstract

Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичній логіці. Розглянуто спектр композиційно-номінативних логік. Описано композиції квазіарних предикатів на різних рівнях абстрактності. Виділено класи логік квазіарних предикатів, розглянуто їх основні властивості.