Модальная логика

· Модальность

· Алетические модальности (алетическая модальность, алетическая модальная логика, алетические модальные логики)

· Деонтические модальности (деонтическая модальность, деонтическая модальная логика, деонтические модальные логики)

· Эпистемологические модальности (эпистемологическая модальность, эпистемологическая модальная логика, эпистемологические модальные логики)

· Временные модальности (временная модальность, временные модальные логики, временная модальная логика)

· Строгая импликация

· Материальная импликация

Недедуктивные логические теории

· Индуктивная логика

· Вероятностная логика

· Логика решений

· Логика нечётких понятий (логика нечётких множеств, нечёткая логика)

· Аналогия (умозаключение по аналогии).

Другие неклассические логики

· Категориальная логика

· Комбинаторная логика — это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с переменными, как подстановка. Построенная на базе комбинаторной логики система арифметики содержит все частично рекурсивные функции и избегает гёделевской неполноты.

· Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.

Приложения логики

Прикладные проблемы логики и логической семантики

· Приложения логики в методологии науки

· Приложения логики в философии

· Приложения логики в теологии

· Приложения логики в психологии

· Приложения логики в правовых науках

· Приложения логики в лингвистике

· Приложения логики в других дисциплинах

Приложения логики в анализе познавательных процедур

Логический анализ форм и приёмов познания

· Формы мышления

· Определение

· Классификация

· Абстракция

· Идеализация

· Аксиоматизация

· Формализация

· Логические проблемы аргументации

· Логика доказательств

Приложения логики в методологии науки

· Методология науки

· Логика науки

· Логика и эмпиризм

Приложения логики в философии

· Приложения логики в философии

· Приложения логики в онтологии

· Приложения логики в эпистемологии

· Приложения логики в этике

· Логические проблемы аргументации (теория аргументации)

· Аналитическая философия

Приложения логики в психологии

· Когнитивная наука

· Когнитивная психология

· Логика открытий

Поскольку логика устанавливает законы и схемы мышления, существует проблема соотнесения логики с творчеством, которое опирается наинтуицию. Творчество без ограничений является идеализацией: оно ограничено психологическими закономерностями восприятия или, например, законами композиции в изобразительном искусстве. Творчество предполагает не только способность выдвинуть интересную идею, но и умение убедительно обосновать её и претворить в жизнь по определённым правилам, следовательно, должно следовать каким-то правилам мышления.

Приложения логики в лингвистике

· Логический анализ языка

· Аналитическая философия

Приложения логики в компьютерных науках

· Динамические логики (динамическая логика)

· Логики программ (логика программ)

· Логика экспертных систем (логики экспертных систем)

· Логика в информатике

· Доказательное программирование

· Автоматическое доказательство теорем

· Логическое программирование