Какие современные направления развиваются в формальной логике?

Некоторые современные направления развития формальной логики:

• Разработка многозначной логики. spravochnick.ru Уделяется внимание изучению не только традиционно принятых двух значений истинности («истина» и «ложь»), но и других значений. spravochnick.ru
• Развитие вероятностной логики. spravochnick.ru Этот раздел исследует высказывания, характеризующиеся различными степенями правдоподобия (от 0 до 1). spravochnick.ru
• Деонтическая логика. spravochnick.ru ru.wikipedia.org Исследует структуры языка предписаний, оперируя высказываниями со значениями «запрещено», «разрешено», «обязательно», широко используемыми в правотворчестве. spravochnick.ru
• Металогика. gtmarket.ru В этом разделе исследуются различные проблемы, относящиеся к логическим теориям. gtmarket.ru Основными являются вопросы о непротиворечивости, полноте, наличии разрешающих процедур, независимости исходных дедуктивных принципов, а также о различных отношениях между теориями и так далее. gtmarket.ru