Борьба против психологизма и ее результаты в развитии классического (фреге) и неклассического периода логики (многозначные, вероятностные логики и др. ).

Психологизм всегда стремился воспроизвести того, кто мыслит (в логике), либо того, кто пишет, читает (в литературоведении), либо того, кто движется, как молекула, в историческом хаосе (в истории) и т.д. Психологизм предлагает отказаться от всех иных теоретических конструкций, объясняющих проблемы мира и место человека в нем. В основу исследования должен быть положен психологический опыт, превращающий прошедшее в настоящее, приближающий будущее, обеспечивающий условия понимания. Все события в культуре определяются едиными психологическими законами. Идея о том, что в разных науках психология является как бы константной величиной, которую надо зафиксировать, а затем использовать для анализа субъектов этих наук, - это общая идея всего психологизма.

Наиболее широко критика психологизма представлена в работе Э. Гуссерля «Логические исследования. Пролегомены к чистой логике». Однако первое крупное произведение Гуссерля «Философия арифметики» с подзаголовком «Ряд психологических и логических исследований» было написано с позиций психологизма. Здесь Гуссерль исходил из того, что логика, наука вообще должны получить свое философское «уяснение» из психологии. В 1894 году Готлоб Фреге выступил с резкой критикой работы Гуссерля. Обоснование математики, решение проблем значения и смысла, теоретико-познавательных проблем Фреге ставил в зависимость от проведения жесткой линии разграничения между логикой и психологией. Нерасчлененность задач логики и психологии является, по Фреге, важнейшим признаком психологизма, который мешает решению любой из сформулированных им проблем. Для Фреге психологизм представлял собой в первую очередь определенную философскую систему, в которой субъективизировались и натурализировались системы логики и знания в целом. Для того чтобы избежать натурализма в логике, Фреге исключает из сферы рассмотрения логики какие-либо психологические процессы мышления. Задачей логики, по Фреге, является изучение законов истинности, а не мышления. При этом он явным образом формулирует методологическую направленность задач логики: логика исследует «лишь ту истину, познание которой является целью науки». Отсюда вытекает важнейший тезис фрегевского антипсихологизма: «Мысль - это нечто внечувственное, и все чувственно воспринимаемые объекты должны быть исключены из той области, в которой применимо понятие истинности. Истинность не является таким свойством, которое соответствует определенному виду чувственных впечатлений».

Парадигма антипсихологизма, утвердившаяся в философии логики ХХ века, включала в себя тезис о том, что логика регулирует отношения между идеальными объектами (Г. Фреге, Э. Гуссерль) или аргументами, существующими в третьем мире, независимом от субъекта познания и общества (К. Поппер). Этот процесс был связан с возникновением математической логики и переосмыслением связи логики и мышления.

Д.Гилберт, сторонник и лидер формалистов в полемике по основанию мат-ки выступил против психологизма в логике. Это хорошо перекликалось с трансцендентальной логикой Канта. Эта позиция Гилберта перекрыла становление единства научной и фил. рац-ти логики в 1 из ее ветвей, а именно в логике познания. Тем не менее работы сторонников Гилберта послужили катализатором развития формализованных логик в направлении логики вещей и логики док-в и опровержений. Все это шло на фоне становления математики и неклассич. науки. В этих 2 направлениях стали формироваться сначала 3-х значные, а затем и многозначные и вероятн. логики.

Многозначная логика, раздел математической логики, изучающий математические модели логики высказываний. Эти модели отражают две основные черты последней — множественность значений истинности высказываний и возможность построения новых, более сложных высказываний из заданных при помощи логических операций, которые позволяют также по значениям истинности исходных высказываний устанавливать значение истинности сложного высказывания. Примерами многозначных высказываний являются суждения с модальным исходом («да», «нет», «может быть») и суждения вероятностного характера, а примерами логических операций — логической связки типа «и», «или», «если..., то». При достаточно широком толковании М. л. в неё иногда включают также логические исчисления.

Исторически первыми моделями М. л. явились двузначная логика Дж. Буля (называемая также алгеброй логики), трёхзначная логика Я. Лукасевича (1920) и m-значная логика Э. Поста (1921).

Вероятностная логика, логическая система, в которой высказываниям, помимо истины и лжи, приписываются «промежуточные» истинностные значения, называемые вероятностями истинности высказываний, степенями их правдоподобия, степенями подтверждения и т.п. Поскольку понятие вероятности естественно соотносить некоторым событиям, а наступление или не наступление события есть факт, допускающий (хотя бы в принципе) эмпирическую проверку (в широком смысле — включая так называемый мысленный эксперимент, а также вывод из знания о наступлении или не наступлении др. событий), то В. л. представляет собой уточнение индуктивной логики. Специфика В. л. (даже полностью формализованной в логико-математических терминах) состоит в принципиальной неустранимости неполной достоверности («относительной истинности») посылок и выводов, присущей всякому индуктивному познанию. Проблематика В. л. развивалась уже по существу в древности (Аристотелем), а в новое время — Г. В. Лейбницем, Дж. Булем, У. С. Джевонсом, Дж. Венном. Как логическая система, В. л. - разновидность многозначной логики: истинным высказываниям (достоверным событиям) приписывается истинностное значение (вероятность) 1, ложным высказываниям (невозможным событиям) — значение 0; гипотетическим же высказываниям может приписываться в качестве значения любое действительное число из интервала (0, 1). Вероятность гипотезы, зависящая как от её содержания (формулировки), так и от информации об уже имеющемся знании («опыта»), есть их функция. Над истинностными значениями (вероятностями) гипотез определяются логические операции: конъюнкция (соответствующая умножению событий в теории вероятностей) и дизъюнкция (соответствующая сложению событий); мерой (значением) отрицания гипотезы является вероятность события, состоящего в её неподтверждении. Значения гипотез образуют при этом так называемую нормированную булеву алгебру, сравнительно простой и хорошо разработанный аппарат которой позволяет легко аксиоматизировать теорию вероятностей и является простейшим вариантом В. л.