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

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

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

Підтеми:

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