News-News

Противоречие демонстрирует неприемлемость такого понимания функции и аргумента, которое имеет место у Фреге, но это еще не означает, что неверна функциональная трактовка логической структуры высказывания. Для решения парадокса Рассел разрабатывает так называемую теорию типов, которая по существу сводится к ограничениям, накладываемым на образование классов, а стало быть, и соответствующих высказывательных (пропозициональных) функций. Так, например, он пишет: «Общность классов в мире не может быть классом в том же самом смысле, в котором последние являются классами. Так мы должны различать иерархию классов. Мы будем начинать с классов, которые всецело составлены из индивидов, это будет первым типом классов. Затем мы перейдем к классам, членами которых являются классы первого типа: это будет второй тип. Затем мы перейдем к классам, членами которых являются классы второго типа; это будет третий тип и т.д. Для класса одного типа никогда невозможно быть или не быть идентичным с классом другого типа». На образование классов необходимо накладывать ограничения, запретив образовывать классы, которые могли бы выступать в качестве своих собственных элементов. Классы должны образовывать строгую иерархию, где первый уровень представляли бы собой классы, содержащие только индивиды, второй уровень – классы, содержащие классы индивидов, третий уровень – классы, содержащие классы классов индивидов, и т.д. Разные уровни требуют различных средств выражения; то, что можно сказать об индивидах, нельзя сказать об их классах, а то, что можно сказать о классах индивидов, нельзя сказать о классах классов индивидов и т.д. В общем, это и составляет сущность теории типов.

Установив зависимость онтологических представлений от логической структуры, Рассел показал, что избранный способ формализации затрагивает не только структуру мысли, но и нечто говорит о мире. Оказалось, что способы построения онтологий, базировавшиеся на том, как традиционная логика представляла структуру суждения, не являются единственными, а представляют собой лишь один из возможных вариантов. Плюралистическая онтология, основанная на внешних отношениях, построенная Расселом в соответствии с функциональной точкой зрения на высказывания, является, по-видимому, одним из самых интересных его достижений, как логических, так и философских. Ему удалось показать, что онтологию можно рассматривать как следствие определенной формально-логической доктрины. Выявление структуры мысли задает структуру мыслимого, и в этом отношении формальная логика приобретает трансцендентальное содержание. Однако в рамках самой логики все это остается на уровне бессодержательных моделей, которые, как таковые, имеют дело с любой возможностью. «В логике было бы пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя другим наукам исследование того, в каких случаях предложения подтверждаются, а в каких нет». Устанавливая границы логики как науки о возможном, Рассел тем не менее корректирует само понятие возможности. На всем протяжении развития его характеризует то, что сам он называет ‘чувством реальности’. Здесь показательным выглядит его следующее заявление, может быть полемически и заостренное, но весьма характерное: «Логика должна допускать единорогов не в большей степени, чем зоология, потому что логика имеет дело с реальным миром в той же степени, что и зоология, хотя с его наиболее абстрактными и общими чертами: повинуясь чувству реальности, мы будем настаивать на том, что в анализе суждений нельзя допускать ничего ‘нереального’». Стало быть, формальная логика для Рассела хотя и является наукой о возможном, все равно имеет единственную реализацию, и эта реализация есть наш действительный мир.

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

Реформа логики, предпринятая Г.Фреге, некоторое время оставалась в тени, что в немалой степени объясняется не только оригинальностью предлагаемых идей, плохо воспринимаемых в обстановке господствующего психологизма в основаниях математики и логики, но и чрезвычайно громоздким формальным аппаратом, в который они были облечены. Формальный язык (Beggriffshrift ), используемый немецким логиком, отличался экстравагантностью (например, он был не линейным, а двумерным), и потребовались значительные изменения выразительных средств, чтобы идеи Г.Фреге получили известность в широких кругах. Исторически сложилось так, что последние во многом стали доступны читателям через посредство работ Бертрана Рассела, который, осознав их значение, первым взял на себя труд облечь их в доступную форму. Кроме того, ко многому из того, что было сделано Фреге, Рассел пришел самостоятельно (например, к функциональной трактовке высказываний). Близка ему и программа логицизма, которую он развивает во многих продуктивных отношениях, отдавая дань первенства Г.Фреге в постановке самой проблемы. У Г.Фреге Рассел прежде всего наследует то уважительное отношение к выразительным средствам, которое позволило реформировать логику и основания математики. Однако было бы совершенно неверным представлять Рассела только как ученика немецкого логика в анализе языка, используемого в данных областях. Достигнутое здесь Рассел рассматривает прежде всего как философ, привлекая приглянувшиеся ему идеи для решения определенных проблем онтологии и теории познания. Сходство формы, в которую облечены рассуждения Рассела и Фреге, чисто внешнее, а их исследования имеют различные интенции.

К наиболее фундаментальным убеждениям Рассела относится Аристотелева концепция истины как соответствия фактам, согласно которой структура истинных предложений соответствует структуре фактов. Сразу же после развенчания идеалистического монизма он становится крайним платоником, полагая, что каждое отдельной слово языка представляет собой именуемую им сущность. Так, например, тот факт, что у нас имеются слова для обозначения чисел, говорит нам, согласно Расселу, что числа могут существовать наряду со всем прочим. Все слова он считает подлинными именами, а единственным семантическим отношением – отношение обозначения (т.е. слова обозначают вещи, свойства и отношения).

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

Центральным пунктом дискуссий с идеализмом в то время был вопрос о так называемых «внутренних» и «внешних» отношениях, и Рассел защищал свою позицию посредством тщательного анализа отношений фактов.

Мысль о том, что философия должна опираться на логический анализ языка, восходит к Лейбницу, который выступал за создание идеального языка с точными правилами определения и преобразования. Цель построения такого языка была одна – сформулировать точную систему основоположений всего человеческого знания, которая позволила бы разрешить все философские проблемы.

Предложения рассматриваются Фреге как частные случаи имен. Поэтому для них сохраняются все те требования, которые имеют силу для имен собственных.