Моррис Коэн - Введение в логику и научный метод

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

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

Одним из этих способов является обобщение. Один и тот же символ может со временем начать обозначать более широкий класс объектов и, тем самым, перестать с точностью обозначать более специальные вещи, обозначавшиеся с помощью него ранее. Так, символ «бумага» раньше обозначал папирус; затем он начал обозначать писчий материал, сделанный из лоскутьев; сегодня с помощью него обозначается не только писчий материал из лоскутьев, но также и изделие, получаемое в результате химически обработанной древесной массы. История слова «число» также может служить примером процесса постепенного обобщения. Сначала оно обозначало лишь целые числа; затем постепенно также и дробные, иррациональные, трансцендентные (такие, как к) и даже детерминанты. Другими примерами подобных слов являются «сила», «энергия», «геометрия» и «равенство».

Вторым способом, с помощью которого могут изменяться значения, является специализация. Для одного и того же символа область обозначаемых им объектов может быть ограничена. Тем самым он начинает обозначать более специальные вещи, чем обозначал ранее. Так, слово «хирург» («surgeon») некогда означало любого человека, работавшего руками. Сегодня им обозначаются лишь те, у которых есть специальное медицинское образование. Другими словами, со временем подвергнувшимися процессу специализации являются такие, как «министр», «целитель» и «художник».

Более интересное и плодотворное изменение значений слов происходит в результате расширения сферы их применения по причине метафорического расширения их значения. Так, слово «управляющий» («governor») некогда обозначало рулевого на корабле, «дух» («spirit») обозначало дыхание, изгиб трубы называется «локтем», а соответствующие соединительные окончания трубы называются «мама» и «папа» и т. д.

На данном этапе можно суммировать преимущества, которые можно получить от специально построенных символов.

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

Во-вторых, удобный символ позволяет сконцентрироваться на том, что является существенным в данном контексте. Когда в математике мы заменяем букву, например R, сложным выражением, таким как (а + Ь + с + d), или когда мы в силлогизме используем буквы «S», «Р», «М» для обозначения терминов «Сократ», «смертный» и «человек», мы недвусмысленно даем понять, что результат нашего размышления зависит не от специального значения этих выражений, а от соединяющих их абстрактных отношений.

Третьей важной функцией символов является ясное и краткое проявление формы суждений. Данная функция давно используется в математике. Так, в качестве элементарного примера можно рассмотреть различие в форме между «4х2 = 5х – 1» и «4х3 = 5х2 – 1» и тождество форм между «х + 4– у = 1» и «4х = Зу», которые можно усмотреть при первом же поверхностном взгляде. В первой паре уравнений одно является квадратным, а другое – кубическим, оба уравнения из второй пары являются линейными. Если бы подобные уравнения формулировались словами, то людям было бы не под силу осуществлять длинные цепочки умозаключений. Так, описание уравнений Максвелла в словах заняло бы несколько страниц, что укрыло бы существенные отношения между различными элементами. Адекватно введенные символы проясняют то, что является постоянным и неизменным в суждении, и то, что является лишь переменной. Неизменные свойства являются формой, или структурой, суждения.

Четвертое и значительное преимущество подобных символов – это их функция, сокращающая физические и мысленные усилия. Когда выработаны символы, многое из того, что ранее требовало концентрации и внимания, выполняется механически. Зачастую символьная запись подсказывает выводы, которые при обычных условиях не были бы замечены исследователем. Открытие отрицательных и мнимых чисел, введение

Максвеллом электрического смещения и последующее открытие эфирных волн стали прямым следствием указанного свойства символов. Именно по этой причине иногда говорится, что «при расчетах перо кажется умнее своего пользователя». Важность специально построенных символов с очевидностью проявляется именно в этой возможности использовать их в качестве исчисления.

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

Например, операции сложения, умножения и т. д. в математических науках могут рассматриваться в терминах теории отношений. Так, операция сложения основывается на трехместном отношении. Отношение а + Ь = с связывает два слагаемых, а и Ь, с с. Данное отношение является много-однозначным, поскольку любой паре слагаемых соответствует одна, и только одна, сумма, тогда как одной сумме соответствует неопределенное число пар слагаемых. Однако если сумма и одно из слагаемых зафиксированы, то другое слагаемое однозначно определимо. Подобные трехместные отношения, присутствующие в различных видах операций, можно изучать и более подробно.