СИМВОЛІЧНА ЛОГІКА: ПОВЕРНЕННЯ ДО ВИТОКІВ. СТАТТЯ ІІ. БАЗОВІ КАТЕГОРІЇ

Abstract

Стаття є другою частиною дослідження, присвяченого перегляду системи основних логічних категорій та узагальненню сучасної логіки предикатів до логіки функцій. Описано властивості категорій предмета, функції, представлення й послідовності, розгляд яких не залежить від семантики, а тому формує окрему частину металогіки: логістику. Описано основи теорії представлення, виправлено форму формул представлення.

Keywords

• логістика
• категорії
• предмет
• функція
• представлення
• функції вибору