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

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