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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

· Абстракция

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

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

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

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

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

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

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

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

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