Вначале была логика.

Страница 3

Неклассической логикой стал способ думать не по законам своей субстанциальной души, а по закономерностям эмпирического абстрактного или опытного материала (вплоть до того, что различные направления научного знания могут иметь свои логики [162, с. 201]. Она зациклилась на эмпирической схеме мышления: «от живого созерцания к абстрактному мышлению, а от него к практике». В одном случае можно исследовать модальности, в другом описать структуру времени, в третьем - кумулятивные характеристики знания, в четвёртом учесть противоречивые высказывания, а где-то описать нарушение законов природы («законы» микромира). Да мало ли к каким выводам придёт субъективная трактовка эмпирического исследования, на то оно и эмпирическое. Слово «реальность» тут следует заключать в ковычки, хотя сам эмпиризм требует вскрытия какой-то сущности опытного факта и без всякого там надоевшего ему субстанциализма. Благо дело под рукой логический плюрализм, выведет любую сущность, подберёт подходящий логический аппарат или тут же сочинит новый, соответствующий эмпирическим фактам, то есть интерпретациям. Сам Эйнштейн как-то иронически заметил, что математика - единственный совершенный способ, позволяющий обвести самого себя вокруг пальца.

Неклассическая логика чаще всего операциональна по отношению к объектам, к которым она применяется, поэтому она не может отражать законы реальности и даже реальности эмпирической, ибо её выводы зависят лишь от тех терминов и операторов, с помощью которых они формулируются, то есть представляют собой законы функционирования тех терминов, на которых сформулированы сами логические законы. Но в то же время она и предметно зависима. А.И. Мигунов говорит: «Может ли логическая форма быть предметно зависимой, то есть определяется ли многообразие логических форм правильного рассуждения специфическим предметом той области знания, которой это рассуждение принадлежит? Часто на этот вопрос даётся отрицательный ответ. Но история логики свидетельствует, что появление модификаций в толковании предмета логики связано с исследованием применения логических методов к новой предметной области, что вело к их развитию, уточнению» [162, с. 200].

Логика всё больше и больше превращается в изолированную науку, замкнулась в себе и стала непонятной для многих. Особенно настораживает то обстоятельство, что в среде самих логиков обнаруживается своеобразная слепота по отношению к элементарным логическим ошибкам в основополагающих работах классиков логики Г. Кантора, Д. Гильберта, Б. Рассела, Дж. Пеано и др., на что обращал внимание ещё Анри Пуанкаре (см. на сайте работ сотрудников ИФРАН: Кулик Б.А. С чем идёт современная логика в XXI век?). А негативные следствия чрезмерной формализации сказываются даже на математике [см.: 109].

К началу XXI века логика столкнулась с тем обстоятельством, что возникновение всё новых и новых систем неклассической логики привело к ситуации, когда на повестку дня встал вопрос: что же представляет собой логика как наука. Системы неклассической логики становятся всё труднее для понимания и применения. Приходится постоянно модифицировать методы их построения и исследования, прибегая ко всё более обобщённым конструкциям для того, чтобы найти и выделить хоть что-то общее, что есть у всех логических систем. Возникает соблазн начать всё сначала с каких-либо унифицирующих металогических понятий, которые так и не возникают. Вместо металогики появляются описательные классифицирующие (вроде «системы Менделеева») такие дисциплины, как «философская логика», «абстрактная алгебраическая логика» или «универсальная логика». Но это не логические системы, а своеобразный "зоопарк" неклассических логик. Идеи логического монизма называют уже поиском «утраченного рая». Да, наука, по Марксу, достигает совершенства лишь постольку, поскольку ей удаётся пользоваться математикой. Сегодня развитие неклассической логики представляет собой только чисто теоретический интерес, даже к попыткам вновь начать эксперимент с классической логики. Логики отлично понимают, что основой реальных рассуждений является классическая логика. Даже авторы неклассических систем в действительности не рассуждают в соответствии с построенными ими же исчислениями и семантиками. Поборники неклассической логики отстаивают свою правоту, опираясь на всем знакомую классику, то есть используют в качестве метатеории обоснования именно классическую логику.

Страницы: 1 2 3 4