Девиантная логика — тип логики, несовместимый с классической логикой. Философ Сьюзен Хаак[1] использует термин «девиантная логика» для обозначения определённых неклассических систем логики.
Набор теорем девиантной логики может отличаться от набора теорем классической логики любым возможным способом: как собственное подмножество, надмножество или полностью исключительное множество. Ярким примером служит троичная логика, разработанная польским логиком и математиком Яном Лукасевичем. Согласно этой системе, любая теорема, в которой действуют законы деления классической логики, не может быть доказана. Термин «девиантная логика» впервые встречается в шестой главе, книги Уилларда Ван Ормана Куайна «Философия логики», Нью-Джерси: Прентис Холл (1970), которую Хаак цитирует на пятнадцатой странице своей книги.
Хаак также описала то, что называет квази-девиантной логикой. Эти логики отличаются от чистых девиантных логик тем, что:
Под это определение подходят некоторые системы модальной логики. В таких системах, любая новая теорема оказывается невыполнимой в классической логике из-за модальных операторов. Если девиантные и квази-девиантные логики выдвигаются, как правило, в качестве альтернативы классической логике, то расширенные логики используются в качестве дополнения к таковой.
Ахилл Варзи[англ.], в своей рецензии[2] на издание книги Хаак 1996 года, отмечает, что исследование не выдержало испытания временем, особенно, в связи с «необычайным распространением неклассических логик в последние два десятилетия — паранепротиворечивых, линейных, субструктурных, немонотонных и бесчисленного количества других логик, для искусственного интеллекта и информатики».
Кроме того, по его мнению, «неопределённость, предложенная Хаак, в настоящее время имеет серьёзные недостатки». Однако, при этом, учёный соглашается, что «как защита философской позиции, девиантная логика — имеет значимость».