§ 2. Вначале была логика.
В начале была логика - потом всё остальное: и практика, и философия, и всевозможные эксперименты над этой логикой. До XIX века логики не знали, что такое неклассическая логика, но знали, что аристотелевская формальная имплицитно присутствует в естественном языке. А так как присутствует во всех языках мира, то и возникло понимание, что она врождённа.
ХХ век - век научно-технической революции. Кризис философии эмпиризма интуитивно или явно осознаваемый требовал адекватного этой революции методологического подхода, но ни гегелевская философия, ни марксистская не оставили ничего действенного. Надежды оставались на реформирование классической формальной логики. Ф. Бэкон первый высказал неудовлетворённость её традиционным предназначением. По его мнению «Органон» Аристотеля не только бесполезен, но и глубоко вреден для науки, поскольку не является инструментом научного исследования, тормозит развитие наук, служит основанием заблуждений. Аристотель учит лишь ведению пустопорожних споров. Собственно эту мысль и высказывали известные логики ХХ века. Так, Н.А Васильев заявлял, что если логика не имеет отношения к математике, то не имеет отношения и к здравому смыслу, ибо «частное суждение представляет для логики значительные трудности, употребление его полно двусмысленности» [36]. Традиционная формальная логика не отражает закономерностей конкретных (частных) объектов природы (не приемлет аналитических методов), а классическая силлогистика давно стала объектом издёвок, как, например, в следующем силлогизме: Все кошки смертны; Сократ - смертен; следовательно, Сократ - кошка. Итак, классическая формальная логика не может быть методом конкретных наук, а метод в сложившейся ситуации нужен по зарез и ничего в ХХ веке, кроме формальной логики (диалектическая была дискредитирована и выхолощена марксистами) под рукой не было. Участь её была предрешена, её стали переделывать, приспосабливать к описанию законов эмпирических объектов и назвали весь этот процесс громко и доходчиво до самых слабоумных: «Кризис классической логики и создание неклассической». Но разве имела какие-то изъяны традиционная логика? Логика - это законы мышления, а не содержание суждений или предикатов, которыми она оперирует. Два с лишним тысячелетия назад это демонстрировал Зенон. Результаты зависят от того, как трактуется эмпирический факт, дедуктивные выводы из которого будут получены. Эмпирия допускает различные трактовки, соответственно, при дедукции из них и будут получены различные результаты (и в этом случае как говорится «нечего на зеркало пенять …»). «Скрестили» Сократа с кошкой и получили вывод из исходно заложенной глупости и смеются не подозревая, что над собой.
Но зачем нужна классическая формальная логика, если истина должна быть известна уже до приложения логики? На этот вопрос отвечает учение об интуиции и диалектический субстанциализм (источник правильных рассуждений на протяжении тысячелетий искали в самом мыслящем субъекте), но об этом позже. Сейчас важно показать другое: ни попытки дополнить или ограничить законы классической формальной логики, ни попытки вообще отойти в этом движении от неё («постовские системы») не создадут никакой действенной методологии столь необходимой эмпиризму со всеми его пороками («мартышка к старости слаба глазами стала»). «Ментальные процессы изучаются средствами логики, но предмет логики не предполагает ментальные процессы и был бы вполне законным, если бы никаких ментальных процессов не было» [162, с. 202]. Все надежды на то, что принятие нового языка описания эмпирических объектов приблизит к истине можно сказать, что уже рухнули вместе с тем, как логики стали говорить на разных языках. Да и надеяться, зная историю философии, было не на что. Язык неклассической логики - это система методов членения универсума, от возможностей которых зависит в конечном счёте степень успешности познания (В.А. Смирнов). Это в чистом виде мечта об онтологии эмпиризма, мечта несбыточная уже две с половиной тысячи лет.
Уже со времён Сократа для философии было ясно, что человек - это по сути есть его душа (а соответственно идеи, разум). Тело вроде и принадлежит человеку, но имеет животное начало и если и является субстанцией, то иной, нежели душа. Душа в понимании Платона есть субстанция и её видоспецифическими категориями оперировал Сократ в своих этических диалогах. Разум и есть видоспецифическое определение человека и человек не может жить или думать иначе как по законам своей субстанции. А закон в сущности один, только имеет два уровня: 1) классическая формальная логика и 2) диалектическая логика. Суждения (тезис и антитезис) в последней имеют формально-логическую природу и только умозаключения (синтез) оформляют логику полностью как диалектическую. Ещё раз повторим: субстанция души обусловливает врождённую логику, её законы оперируют своими видовыми категориями, а по аналогии и чужими.
Обыденное рассудочное, или эмпирическое, мышление при всей своей полисемантичности опирается на законы классической формальной логики. Отступил человек от них и все видят, что он сумасшедший. Сказано хоть и верно, но немного сильно, потому что видят не все, не всегда и не всегда понимают, к чему пришёл инакомыслящий. Эмпирический материал крайне разнороден, а опыт крайне субъективен: мало того, что нам даны при его реализации только свои собственные чувственные данные (качества органов чувств), а наши понятия (слова) в силу образующей их обобщающей абстракции не могут отразить единичного, он, как ещё выяснилось, всегда нагружен теорией и не всегда той, которая нас устраивает. Вот и попробуй применить классическую формальную логику, например, логику тождества (А=А) к эмпирическому материалу. Захочешь её соблюсти, да не всегда получается. На этом фоне и возник спор субстанциалистов с антисубстанциалистами - одни говорят, что эмпирический материал несовершенен, а другие - что логика несовершенна и пора её менять. Подходы диаметрально противоположные. Ну и конечно же представители конкретных наук - с головы до ног эмпирики - ополчились против врождённой логики мышления (классической формальной и диалектической). Что мы зря трудились? По-другому надо мыслить, а не придираться к опыту. Давайте править классическую логику на неклассическую! У марксистов, кстати, та же аргументация: несовершенна формальная логика в анализе эмпирии, в которой следует обращаться к логике диалектической.
Логики приходили к убеждению, что законы классической логики суть законы мысли, то есть зависят от мыслящего субъекта, а законы неклассической логики суть законы реальности и зависят от познаваемых объектов [37, - с. 126 - 131]. Формальная логика, о которой Аристотель сказал, что «... будучи способом исследования, она прокладывает путь к началам всех учений» [14, - 101b 3], не конструировала этих учений, а выверяла логику их построений. Но если классическая формальная логика была логикой мыслящей субстанции (одной), то неклассические логики приспосабливались к несубстанциальным эмпирическим объектам (абстрактно-теоретическим, ибо деление на эмпирическое и теоретическое крайне условно, вещественно-телесным, воображаемым и т.п.). Конечно, как отмечал ещё Э. Гуссерль, - и совершенно верно - связи тут идеальные и объекты идеальные, - но вопреки его убеждению это вовсе не значит, что такая логика есть неэмпирическая наука, что она опирается на факты, а не на чувства (будто это не связанные вещи). Об этом забывают, а отсюда и возникают проблемы номинализма и платонизма в самой семантике, в обосновании логических систем. За формальной логикой стоит субстанция, а в эмпирии, что ни объект, то своя каверза, а тут ещё постпозитивисты подлили масла в огонь: «все ваши теории, ребята, временные, придёт время - откажетесь от них». Ну в общем мрачные перспективы сулят неклассическим логикам, упирая на то, что такова судьба любой эмпирической теории в истории науки.
Неклассической логикой стал способ думать не по законам своей субстанциальной души, а по закономерностям эмпирического абстрактного или опытного материала (вплоть до того, что различные направления научного знания могут иметь свои логики [162, с. 201]. Она зациклилась на эмпирической схеме мышления: «от живого созерцания к абстрактному мышлению, а от него к практике». В одном случае можно исследовать модальности, в другом описать структуру времени, в третьем - кумулятивные характеристики знания, в четвёртом учесть противоречивые высказывания, а где-то описать нарушение законов природы («законы» микромира). Да мало ли к каким выводам придёт субъективная трактовка эмпирического исследования, на то оно и эмпирическое. Слово «реальность» тут следует заключать в ковычки, хотя сам эмпиризм требует вскрытия какой-то сущности опытного факта и без всякого там надоевшего ему субстанциализма. Благо дело под рукой логический плюрализм, выведет любую сущность, подберёт подходящий логический аппарат или тут же сочинит новый, соответствующий эмпирическим фактам, то есть интерпретациям. Сам Эйнштейн как-то иронически заметил, что математика - единственный совершенный способ, позволяющий обвести самого себя вокруг пальца.
Неклассическая логика чаще всего операциональна по отношению к объектам, к которым она применяется, поэтому она не может отражать законы реальности и даже реальности эмпирической, ибо её выводы зависят лишь от тех терминов и операторов, с помощью которых они формулируются, то есть представляют собой законы функционирования тех терминов, на которых сформулированы сами логические законы. Но в то же время она и предметно зависима. А.И. Мигунов говорит: «Может ли логическая форма быть предметно зависимой, то есть определяется ли многообразие логических форм правильного рассуждения специфическим предметом той области знания, которой это рассуждение принадлежит? Часто на этот вопрос даётся отрицательный ответ. Но история логики свидетельствует, что появление модификаций в толковании предмета логики связано с исследованием применения логических методов к новой предметной области, что вело к их развитию, уточнению» [162, с. 200].
Логика всё больше и больше превращается в изолированную науку, замкнулась в себе и стала непонятной для многих. Особенно настораживает то обстоятельство, что в среде самих логиков обнаруживается своеобразная слепота по отношению к элементарным логическим ошибкам в основополагающих работах классиков логики Г. Кантора, Д. Гильберта, Б. Рассела, Дж. Пеано и др., на что обращал внимание ещё Анри Пуанкаре (см. на сайте работ сотрудников ИФРАН: Кулик Б.А. С чем идёт современная логика в XXI век?). А негативные следствия чрезмерной формализации сказываются даже на математике [см.: 109].
К началу XXI века логика столкнулась с тем обстоятельством, что возникновение всё новых и новых систем неклассической логики привело к ситуации, когда на повестку дня встал вопрос: что же представляет собой логика как наука. Системы неклассической логики становятся всё труднее для понимания и применения. Приходится постоянно модифицировать методы их построения и исследования, прибегая ко всё более обобщённым конструкциям для того, чтобы найти и выделить хоть что-то общее, что есть у всех логических систем. Возникает соблазн начать всё сначала с каких-либо унифицирующих металогических понятий, которые так и не возникают. Вместо металогики появляются описательные классифицирующие (вроде «системы Менделеева») такие дисциплины, как «философская логика», «абстрактная алгебраическая логика» или «универсальная логика». Но это не логические системы, а своеобразный "зоопарк" неклассических логик. Идеи логического монизма называют уже поиском «утраченного рая». Да, наука, по Марксу, достигает совершенства лишь постольку, поскольку ей удаётся пользоваться математикой. Сегодня развитие неклассической логики представляет собой только чисто теоретический интерес, даже к попыткам вновь начать эксперимент с классической логики. Логики отлично понимают, что основой реальных рассуждений является классическая логика. Даже авторы неклассических систем в действительности не рассуждают в соответствии с построенными ими же исчислениями и семантиками. Поборники неклассической логики отстаивают свою правоту, опираясь на всем знакомую классику, то есть используют в качестве метатеории обоснования именно классическую логику.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35
