Алгебра логики и кибернетика
Возможности и практическое приложение неклассических логик
Деонтическая логика
Инструмент исследования
Использование математических методов
Исследование логических связей высказываний об изменении или становлении объекта
Казуальная импликация
Конкретизация устанавливаемых в модальных суждениях связей
Логика времени
Логика изменения
Логика изменения
Логика микромира
Логика направленности
Логика оценок
Логика предпочтений
Логика причинности
Метаматематика
Неклассические логики и лингвистика
Неопределенные утверждения допускаются наряду с истинными и ложными
Построение искусственных языков
Построение модели теории
Предмет изучения - рассуждения в квантовой механике
Преобразование одних последовательностей знаков в другие их последовательности
Прикладные исследования философских теорий
Принцип двузначности высказываний
Принцип многозначности
Принципы классической логики
Принципы неклассических логик
Проблема логического следования в классической и неклассической логике
Проблемы логики причинности
Проблемы паранепротиворечивой логики
Разработка фундаментальных физических теорий
Релевантная импликация
Семантика
Символическая логика
Синтаксис
Современный этап развития логики
Строгая импликация
Типы модальных логик
Формализация доказательства
Формализация языка
Характеристика объекта с точки зрения некоторой системы ценностей