рефлексия чистой логики над собой достигла к концу XX века критической точки и поставила вопрос о статусе уже самой логики. Дело в том, что в отличие от математики, рефлексия чистой логики континуально размножилась. Сейчас мы имеем континуумы различных классов неклассических логик. О единстве символической логики не может быть и речи, столь удивительными и неожиданными свойствами и моделями обладают некоторые представители неклассических логик. Происходит структурализация исходных понятий логики и семантики, а именно структурализация самих истинностных значений и точек соотнесения в семантике возможных миров в виде различных алгебраических структур. Что приписывается высказыванию? Чем является высказывание? Что собой представляют логические операции над этими высказываниями? Это становится всё большей проблемой. Возникает вопрос об иерархии, взаимоотношениях и классификации всех этих логик (что сделать невозможно) или хотя бы их определённых классов. Становится всё более ясным, что компьютеры, в основе которых лежит классическая логика, какой бы вычислительной мощностью они не обладали, никогда не приблизятся к логике человека, создавшего эти компьютеры. Все эти проблемы уже принадлежат XXI веку.