Вопросы к Поиску с Алисой
Возможно, имелась в виду связь интуиционистской логики с понятием абсурдности.
В интуиционистской логике ложность связана с опровержимостью (с осуществлённым приведением к абсурду). iphras.ru cyberleninka.ru При этом абсурдность считается понятием более сильным, чем ложь: абсурдность имплицирует ложь, но ложь не всегда имплицирует абсурдность. iphras.ru cyberleninka.ru
В интуиционистской логике не действует закон исключённого третьего, а также ряд других законов классической логики, позволяющих доказывать существование объектов, которые невозможно реализовать или вычислить. azbyka.ru В числе таких законов — закон (снятия) двойного отрицания и закон приведения к абсурду. azbyka.ru
Кроме того, интуиционистская концепция запрещает заключать о существовании математических объектов из доказательств непротиворечивости. iphras.ru cyberleninka.ru Согласно интуиционизму, непротиворечивость говорит только о возможности осуществления, но существование — это уже осуществлённая возможность (факт). iphras.ru cyberleninka.ru