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

16 17 18 19 20 21 22

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теория моделей

Раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работахТарского, Мальцева и Робинсона.

Теория доказательств

Это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» основ математики.

Теории логического вывода

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

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

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

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

Неклассические логики

Логики с неклассическим пониманием следования

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

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

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

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

Логики, отменяющие закон исключённого третьего