Философия: Учебник для вузов

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

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

Обратимся теперь к математическому парадоксу самого Рассела. Предположим, что имеются классы различных вещей. Иногда класс может быть членом самого себя, иногда – нет. Класс чайных ложек не есть чайная ложка. Но класс вещей, которые не являются чайными ложками, сам есть вещь, не являющаяся чайной ложкой. Следовательно, он член самого себя. Теперь возьмем класс всех классов, которые не являются членами самих себя. Является ли он членом самого себя? Если да, то он должен обладать отличительным признаком своего класса, т. е. не быть членом самого себя. Если же он не член самого себя, то он должен быть таким членом, так как должен войти в класс всех классов, не являющихся членами самих себя.

Этот парадокс можно представить в наглядном виде, назвав его «парадоксом брадобрея». Вот его суть: единственный брадобрей в городе получил приказ брить всех тех, кто не бреется сам. И вот брадобрей ходит по дворам и бреет всех бородатых. Но в конце концов он сам обрастает бородой – и тогда встает вопрос, как же ему самому быть? Если он не будет бриться, то он должен себя брить. Но если он бреется сам, то он не должен этого делать согласно полученному приказу!

Парадокс Рассела вызвал необходимость в тщательном анализе того, как мы пользуемся языком, не совершаем ли мы каких-либо ошибок, имеем ли мы право задавать подобного рода вопросы, имеют ли они смысл? Рассел попытался найти решение своего парадокса, создав теорию типов. Она устанавливала определенные правила и ограничения пользования терминами.

Суть этой теории Рассел разъясняет на примере аналогичного парадокса, известного под названием «лжец». «Лжец говорит: „Все, что я утверждаю, ложно“. Фактически – это утверждение, которое он делает, но оно относится ко всей совокупности его утверждений, и парадокс возникает потому, что данное утверждение включается в эту совокупность». Если бы это утверждение стояло особняком, то парадокса не было: мы знали бы, что в случае его истинности все, что лжец утверждает, ложно. Но когда мы включаем само это утверждение в ту совокупность утверждений, к которой оно относится, о которой оно говорит или которую характеризует, тогда только и возникает парадокс. Этого, полагает Рассел, делать нельзя. Он считает, что мы должны различать предложения, которые относятся к некоторой совокупности предложений, и предложения, которые к ней не относятся. Те, которые относятся к некоторой совокупности предложений, никогда не могут быть членами этой совокупности.

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

Рассел делит предложения на порядки: предложения первого порядка никогда не относятся к совокупностям предложений, они относятся к внеязыковым явлениям.

Например:

роза есть красная – Р 1;

капуста есть зеленая – Р 2;

лед есть горячий – Р 3.

Предложения второго порядка относятся к предложениям первого порядка.

Например:

предложения Р 1 и Р 2 истинны – а

предложение Р 3 ложно – б

Предложения третьего порядка относятся к предложениям второго порядка.

Например:

предложения а и б написаны на русском языке. Таким образом, Рассел устанавливает, что и о чем мы можем говорить, а чего говорить не можем. Это значит, что некоторых вещей говорить нельзя.

Отсюда вытекает очень важное следствие: оказывается, что наряду с предложениями, которые могут быть истинными или ложными, есть и такие предложения, которые не могут быть ни истинными, ни ложными. Такие предложения бессмысленны.

Однако этот вывод вовсе не бесспорен. Например: предложение «четные числа питательны» бессмысленно. Однако вполне можно сказать, что оно ложно.