Зведений каталог бібліотек Миколаєва

• Класифікатори та каталоги
• Логіка. Епістемологія. Теорія пізнання. Методологія та логіка науки

Логістика. Символічна логіка. Математична логіка. Логічне числення

Підтеми:

• Функції
• Модальна логіка. Логіка відношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними
• Логіка понять. Числення тверджень та класів (предикатів і класів). Функції з однією змінною
• Природа та роль символічної логіки
• Знаки. Символи. Символізм
• Аксіоми. Принципи. Правила. Закони
• Дійсність ствердження (теореми)
• Індивідуальні питання. Індивідуальні теореми
• Застосування
• Логіка доказу стверджень (теорем). Числення викладів (формулювань)

Документи:

• Аналогія і абдукція [Текст] / Л. Леоненко // Філософська думка : Український науково-теоретичний часопис. — К. : Філософська думка, 2008. — № 3. — С.14-30.
• Інноваційні підходи в логістиці та їх підтримка [Текст] / О. Кавун // Наука та інновації [Текст] : Науково-практичний журн. — С.64-65.