Неклассическая логика представляет собой совокупность достаточно разнородных логических теорий, возникших в известной оппозиции к классической логике и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики.
В 1908 г. голландский математик Л. Брауэр подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. учеником Брауэра А. Гейтингом и не содержащей указанных законов.
Еще в 1912 г. американский логик К. И. Льюис обратил внимание на так называемые «парадоксы импликации», характерные для формального аналога условного высказывания в классической логике – материальной импликации. В дальнейшем Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определявшееся в терминах логической невозможности.
К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика, развитая А. Р. Андерсоном и Н. Д. Белнапом.
На рубеже 20-х гг. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в современной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.
В 20-е гг. начали складываться также многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но могут иметь и другие истинностные значения; деонтическая логика, изучающая логические связи нормативных высказываний; логика абсолютных оценок, исследующая логическую структуру и логические связи оценочных высказываний; вероятностная логика, попытавшаяся, но безуспешно, использовать теорию вероятностей для анализа индуктивных рассуждений, и др.
Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные, социальные и гуманитарные науки.