Традиционная логика

Дедуктивное и индуктивное рассуждение в традиционной логике

–– Индукция

–– Дедукция

Силлогистика

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

–– Силлогизм

–– Силлогистические теории

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

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

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

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

Основная статья: Алгебра логики

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

Основная статья: Логика высказываний

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

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

Основная статья: Логика предикатов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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