Какие существуют виды формальных логических систем?

Некоторые виды формальных логических систем:

• Логика второго порядка. kartaslov.ru Формальная система, которая расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. kartaslov.ru
• Многозначная логика. kartaslov.ru Тип формальной логики, в котором допускается более двух истинностных значений для высказываний. kartaslov.ru
• Комбинаторная логика. kartaslov.ru Направление математической логики, которое занимается фундаментальными понятиями и методами формальных логических систем или исчислений. kartaslov.ru
• Лямбда-исчисление (λ-исчисление). kartaslov.ru Формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. kartaslov.ru
• Аксиомы. ru.ruwiki.ru Обычно делятся на два вида: логические (общие для целого класса формальных теорий) и нелогические или собственные (определяющие специфику и содержание конкретной теории). ru.ruwiki.ru

Также выделяют два основных направления формальной логики: gtmarket.ru

1. Концептуальный анализ. gtmarket.ru Исследование процедур определения языковых терминов (понятий) и формулировка принципов отношений между ними. gtmarket.ru
2. Теория вывода. gtmarket.ru Анализ рассуждений, формализация законов и принципов связи высказываний (суждений) в умозаключениях. gtmarket.ru В рамках этого направления выделяют логику, рассматривающую дедуктивные рассуждения (определённые способы доказательств), и логику, занимающуюся правдоподобными рассуждениями (индукция, аналогия и другие). gtmarket.ru