Этьенн Бонно де Кондильяк
Шрифт:
С этой точки зрения все содержание научных знаний образовалось в процессе построения языка, в котором осуществляется анализ первых идей, доставляемых нам в результате непосредственного контакта с действительностью, а также соединения результатов анализа. Это соединение совершается на основе аналогий, которые служат построению точного языка и точного знания в той мере, в какой они следуют природе. Языковые выражения первобытного человека, проверявшего все свои знания опытом, довольно верно воспроизводили отношения сходства, существующие в самой природе. Не наш произвол, а «отношения, в которых мы рассматриваем вещь, определяют выбор» между различными предложениями: из множества предложений лишь одно оказывается пригодным для определенного отношения (см. там же, 273).
Когда при построении языковых выражений применяют наряду с точными аналогиями аналогии приблизительные, получается
В «Опыте…» точность знания рассматривается как отличительная черта математики. Позднее Кондильяк приходит к выводу, что точность знания в математике всецело обусловлена точностью языка, применяемого при исчислениях, а так как, пишет он в «Логике», всякое рассуждение есть исчисление, точный язык, а следовательно, и точное знание достижимы в прочих науках так же, как и в математике (см. там же, 254–255). Исследованию возможностей достижения такого знания пои священ «Язык исчислений».
Для идей, развиваемых в этом труде, большое значение имеет кондильяковская концепция происхождения математики (рассмотренная нами в гл. VI): манипулируя пальцами, человек стал их считать, приобрел идеи чисел, сложения, вычитания, умножения, деления, а благодаря аналогии обнаружил применимость этих идей ко «всем объектам вселенной» и пришел к другим, более сложным математическим действиям. Здесь мы вновь встречаем мысль о том, что наши практические действия всегда предшествуют теоретическим построениям и обусловливают их. Мы сначала практически оперируем с множествами конкретных материальных объектов (с пальцами, камешками и т. д.), а затем мысленно отделяем и отдельно рассматриваем аналогичные особенности отношений, обнаруженных во всех этих множествах, отвлекаясь от прочих особенностей этих объектов. Все вообще математические понятия, как бы сложны они ни были, суть, по Кондильяку, лишь различные преобразования понятий чисел первого десятка и понятий сложения, вычитания, умножения и деления. Все абстракции, которыми оперирует математика, отвлечены от реально существующих отношений во всевозможных множествах материальных объектов. Эти понятия фиксируют реально существующее сходство свойств между множествами, во всем прочем несходными.
То, что эти свойства реально присущи отношениям вещей, что именно в вещах объективного мира мы их обнаружили, — это для Кондильяка не подлежит сомнению. Об идеях чисел он говорит: «…первоначально мы заметили эти идеи в самих этих предметах и могли их заметить только там.
Сначала мы увидели их в пальцах, по мере того как отмечали последовательный порядок, в каком они разгибались и загибались. Затем мы увидели их во всех предметах, по мере того как производили с их помощью прямой и обратный счет, который мы вели с помощью пальцев» (там же, 293). дили с их помощью прямой и обратный счет, ко- нимание математических абстракций положено в основу рассуждений о любых абстракциях вообще.
В «Логике» доказывалось, что решение математической задачи сводится к сокращению и упрощению языковых выражений в уравнениях, формулирующих условия задачи, и к последовательной замене одних выражений другими, тождественными, или аналогичными, что тождественность, или аналогичность, легче всего обнаруживается, если (как это делается в алгебре) заменить словесные выражения условными знаками, буквами. Здесь эта мысль развивается обстоятельно.
Решая конкретные арифметические задачи, пишет философ, мы ряд отношений (больше, меньше, равно, сложить, разделить и т. д.) выражаем не словами, а условными знаками. Хотя в арифметике мы и пользуемся словами, однако при вычислении отвлекаемся от реальных предметов, оперируя лишь числами. Когда надо, например, разделить сто книг между десятью работниками, мы, вычисляя, действуем лишь с числами 100 и 10, вовсе не думая ни о работниках, ни о книгах; о них мы вспоминаем лишь, когда получен результат. Таким образом, совершаем ли мы исчисление, пользуясь
Когда, вычисляя, мы пользуемся словесным языком, нам необходимо держать в уме большое количество всевозможных сведений. Это требует от нас таких усилий, которые нередко превосходят возможности нашей памяти. В результате допускаются ошибки, обнаружить которые в большом количестве словесных выражений, образующих математическое рассуждение, очень трудно. Когда же мы вычисляем, пользуясь буквенными обозначениями алгебры, нам достаточно знать, что a, b, cи т. д. — это какие-то количества; никаких знаний ни о конкретных предметах, ни о конкретных числах здесь не требуется. К нашей памяти при этом предъявляются минимальные требования, а исчисление сводится к выполнению лишь простых действий, какие предусмотрены знаками «плюс», «минус» и т. д., действий, не требующих усилий. Всю цепь действий, из которых складывается сложное вычисление, можно легко проследить и тем самым избежать ошибок, связанных с пропуском какого-нибудь ее звена. Введение символики в математику принесло с собой еще одно преимущество, «которое нельзя было предвидеть: дело в том, что одна решенная задача дает решение всех подобных задач» (там же, 368–369).
Указывая на то, что язык условных знаков, символов, освобождает нас от необходимости задумываться над тем, к каким конкретным объектам и к каким конкретным величинам эти символы могут быть применены, Кондильяк пишет, что здесь «решение находят механически» (там же, 371). Но суть вычислительных действий независимо от того, производятся ли они на словесном языке или на языке условных знаков, символов, одна и та же; символика лишь выявляет эту суть, освобождая ее от всего, что ее заслоняет. Следовательно, чисто механический характер присущ самим исчислениям, самой математике; алгебраический язык лишь обнажает этот ее характер, делает его ясным.
Не совпадает ли здесь позиция Кондильяка с точкой зрения логических позитивистов, утверждающих, что математики «имеют дело только с лишенными смысла формулами, с которыми манипулируют в соответствии с данными формальными правилами», которые вполне произвольны (33, 208)? Согласно известному изречению Б. Рассела, мы не знаем ни того, о чем мы в математике говорим, ни того, что мы там, собственно, утверждаем, и поэтому дедуктивно построенная система математических истин «нигде не покоится на почве действительности а свободно парит, подобно Солнечной системе, неся в самой себе гарантию своей устойчивости» (59, 36).
Суть позиции Кондильяка по этому вопросу сводится к следующему. В математике мы выявляем определенные свойства отношений, присущих множествам всевозможных реальных вещей, отношений, обладающих помимо этих свойств множеством других характеристик. Выделенные нами свойства мы мысленно рассматриваем сами по себе, отвлекаясь от всех прочих свойств, от которых они в реальных вещах неотделимы. Применение математических символов, которые, кроме выделенных нами свойств, ничего больше не обозначают, помогает нам рассматривать эти свойства сами по себе. Но это не значит, что математические символы вовсе лишены смысла или что мы придаем им смысл, определенный лишь нашим произволом. Обозначаемые этими символами математические идеи мы не выдумали, а, как выражается Кондильяк, усмотрели в самих реально существующих вещах, и именно поэтому мы можем успешно применять результаты вычислений к этим вещам.
О правилах, по которым мы оперируем символами, Кондильяк пишет следующее: когда мы вычисляем (или вообще рассуждаем), нам кажется, будто «наш ум ведет себя так, как ему угодно; мы не ощущаем, что им руководят. Между тем он ведет себя правильно лишь постольку, поскольку подчиняется законам, которые предписывает ему природа. Действительно, пусть память воспроизводит длинный ряд идей или алгебра сразу ставит их перед глазами; рассуждать, как и исчислять, всегда означает руководить своим умом согласно данным методам, методам, которым нельзя произвольно следовать или не следовать, стало быть, согласно механическим методам» (16, 3, 371). Полагать, что мы вольны избрать любой способ рассуждения, какой пожелаем, прибавляет философ, — значит глубоко заблуждаться насчет возможности нашей свободы воли.