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

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

Наконец, «привходящее – это то, что хотя и не есть что-либо из перечисленного – ни определение, ни собственное, ни род, но присуще вещи, или то, что одному и тому же может быть присуще и не присуще, например, быть сидящим может и быть, и не быть присуще одному и тому же» [74] . Для круга привходящим будет наличие вписанного в него треугольника. С чисто логической точки зрения, привходящее – это суждение, формально не выводимое из определения. По-видимому, нет нужды в очередной раз напоминать читателю, что привходящий предикат не приписывается конкретному индивиду, а только индивиду, представляющему некоторый вид. Так, курносость является привходящим не для Сократа как индивида, а для Сократа как человека. Человеку как типу не нужно быть курносым, хотя он и может таковым являться. Курносость есть привходящее, поскольку она не является необходимым следствием бытия человека.

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

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

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

2. Определение не должно содержать круга; оно не должно явно или неявно содержать определяемый предмет.

3. Там, где определение может быть дано в утвердительных терминах, оно не должно даваться в отрицательных.

4. Определение не должно выражаться в неопределенной или метафорической манере.

Прокомментируем коротко каждое из этих правил.

1. Первое правило в иных словах выражает суть того, что мы обсуждали в предыдущих параграфах. Когда традиционное учение о предикабилиях закладывается в основу обсуждения, данное правило может быть заменено на предписание о том, что определение должно осуществляться per genus et differentiam [75] . Реальные определения являются определениями слов и одновременно разложением универсалии, обозначаемой как определяющим, так и определяемым выражением.

Мы уже обращали внимание читателя на то обстоятельство, что в современной математике реальные определения являются неявными, поскольку субъект определяется в терминах аксиом, которым он должен удовлетворять. Следовательно, зачастую случается так, что несколько терминов должны быть определены не по отдельности, а как находящиеся друг с другом в определенных отношениях. Так, в работах Гильберта по основаниям геометрии точки, прямые и плоскости рассматриваются как неопределяемые элементы. Однако они неявно определяются аксиомами. Эти аксиомы устанавливают отношения, которые должны существовать между точками, прямыми и плоскостями, взятыми сами по себе, а также отношения между точками и прямыми, точками и плоскостями и т. д. Однако независимо от того, является определение явным или неявным, оно должно быть выбрано так, чтобы признаки, присущие определяемым вещам, были формально выводимыми из этого определения.

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

Иногда может казаться, что в определении имеет место нарушение указанного правила, хотя на самом деле этого не происходит. Известным примером тому является определение термина «число», предложенное Расселом. Согласно Расселу, «число – это все, что является числом некоторого класса». Здесь «число» определяется как «число некоторого класса». Определение не нарушает данного правила потому, что определяемым выражением является «число» или «число вообще», а определяющее выражение содержит термин «число некоторого класса». Определения подобного рода часто встречаются в математике. Так, последовательность

u 0 + u 1 + u 2 + … + un

определяется как сходящаяся, если последовательность

S0 = u0, S1 = u0 + u1, S2 = u0 + u1 + u2,

Sn = u0 + u1 + u2 + … + un

является сходящейся.

3. Разумеется, предпочтительнее определять вещь в терминах того, чем она является, чем в терминах того, чем она не является, поскольку, как правило, указание на то, чем вещь не является, не позволяет в достаточной мере отграничить ее от других вещей. Так, определение наручных часов (watch) как хронометра, не являющегося настенными часами (clock), не будет удовлетворительным, если существуют и другие хронометры помимо наручных и настенных часов. Однако важно не переоценить данное правило, ибо в некоторых случаях определение вещи в терминах того, чем она не является, может оказаться адекватным. Так, определить неравносторонний треугольник как треугольник, который не является ни равносторонним, ни равнобедренным, значит идеально отграничить неравносторонние треугольники от всех остальных, с условием того, что указана геометрическая система, в которую включен данный треугольник. В некоторых случаях отрицательные определения становятся неизбежными. Так, определение сироты как ребенка, у которого нет родителей, с необходимостью должно состоять из отрицательных терминов, ибо состояние сиротства является отрицанием состояния обладания родителями. Читатель без труда сможет указать и на другие примеры подобных терминов, например, на термины «независимость», «параллельный», «банкрот», «неплатежеспособный». Более того, вопрос о том, считать ли определение отрицательным или положительным, зачастую зависит от языковых конвенций. Некоторые языки могу обладать положительным термином для выражения определенной идеи, тогда как в других эта же самая идея будет выражена в отрицательном термине. Следовательно, определение может выглядеть отрицательным только потому, что один из составляющих его терминов по своей форме является отрицательным. Так, определить пьяницу как человека, который несдержан в выпивке, не означает нарушить указанное правило, ибо несдержанность (intemperance) сама по себе определяется в терминах злоупотребления спиртным.