Классическая математическая логика

Аппарат математической логики

Пропозициональная логика

· (Пропозициональная логика)

Логика предикатов

· Логика кванторов

· Логика первого порядка

· Логика второго порядка

Исчисления и логические методы

· Разрешимость

· Семантическое древо

· Таблицы Бета

· Аксиоматика

· Натуральный вывод

· Секвенция (логика)

Логическая семантика

Основная статья: Логическая семантика

· Алгебраические семантики

· Теоретико-множественные семантики

· Реляционные семантики возможных миров

· Проблема содержательности семантик логических систем

· Категорная семантика

· Теория семантических категорий

Законы логики

· Закон тождества

· Закон исключённого третьего

· Закон противоречия

· Закон достаточного основания

· Законы де Моргана

· Законы дедуктивных умозаключений

· Закон Клавия

· Законы деления

Теории логического вывода[править | править исходный текст]

· Теории логического вывода (теория логического вывода)

· Теории следования (теория следования)

· Теории импликаций (теория импликаций)

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

Неклассические логики[править | править исходный текст]

Логики с неклассическим пониманием следования[править | править исходный текст]

· Релевантная логика

· Паранепротиворечивая логика

· Немонотонные логики

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

Логики, отменяющие закон исключённого третьего[править | править исходный текст]

· Интуиционистская логика

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

· Логика квантовой механики (Квантовая логика)

Логики, меняющие таблицы истинности[править | править исходный текст]

Основная статья: Многозначные логики

· Многозначная логика

· Двузначная логика

· Трёхзначная логика

Логики, расширяющие состав высказывания[править | править исходный текст]

· Логика вопросов

· Логика оценок

· Логика норм

Модальная логика[править | править исходный текст]

Основная статья: Модальная логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

· Искусственный интеллект

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

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

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

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

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

· Абстракция

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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