ЛОГИКА КЛАССИЧЕСКАЯ И НЕКЛАССИЧЕСКАЯ

две последовательные стадии развития логики. Для классической логики характерны сильные идеализации: 1) принцип двузначности, согласно которому каждое высказывание считается либо истинным, либо ложным; 2) принцип экстенсиональности (учитывается лишь значение, но не смысл выражения); 3) абстракция актуальной бесконечности (имеется в виду, что бесконечность дана как таковая, ее не надо строить); 4) принцип экзистенциальности, согласно которому каждое собственное имя должно иметь референт в универсуме рассуждений. Полный или частичный отказ от этих принципов выводит в область неклассических логик [С. 406]. К ним относят, например, многозначные логики (отказ от принципа двузначности), интуиционистские и конструктивные логики (отказ от абстракции актуальной бесконечности), модальные логики (алетические, деонтические, временные и др.), интенсиональные логики, в т.ч. релевантные, паранепротиворечивые (отказ от идеализации экстенсиональности), логики без экзистенциальных предпосылок (отказ от принципа экзистенциальности). Бочаров В.А. Логика // Новая философская энциклопедия, Т. 3. М., 200).