Введение в логику и научный метод

Сократ. Великолепно, Евтифрон! Ты дал мне именно тот ответ, которого я от тебя добивался. Правда, я не знаю, правильно ли это, но ясно, что ты докажешь в дальнейшем истинность своих слов [67] .

Номинальное определение

Приведенные примеры представляют нам несколько попыток дать определение языковым символам. Данные попытки имеют ряд важных различий, на которые нам следует обратить внимание. Для господина Журдена, который не знал латыни, объяснение латинского предложения состояло в переводе. Он узнал значения набора незнакомых ему ранее символов, когда ему сообщили, что они были эквивалентны набору уже знакомых ему символов. Мы обычно считаем, что перевод может быть истинным или ложным. Так, если слова «sine pecunia» используются для перевода слов «без знания», то те, кто знает латынь, назовут такой перевод ложным. Однако если бы не был указан тот факт, что данные новые слова относятся к языку, исторически именуемому «латынью», то вопрос об истинности или ложности перевода не встал. В таком случае просто имела бы место замена старого известного набора символов на новый неизвестный, как это имеет место при создании криптограмм, личных кодов, искусственных языков, а также при изобретении технических терминов в различных науках. Так, термин «социология» был изобретен Огюстом Контом как имя для изучения человеческих отношений в организованной групповой жизни, и другие исследователи приняли этот термин и начали его использовать. Однако данное слово могло бы быть введенным для обозначения науки о легальных или деловых товариществах, феноменах людских сборищ или же о способах, по которым любые вещи могут рассматриваться совместно друг с другом. То, что, в отличие от многих других предлагавшихся терминов, большинством был принят именно этот термин для обозначения отношений между людьми без выделения какой-либо отдельной формы таких отношений, стало результатом выбора, с которым мы можем соглашаться или не соглашаться по нашему собственному усмотрению без упоминания какой-либо истинности или ложности. То же самое имеет место и в математике, когда мы вводим такие символы, как «+», для замены ими слова «плюс», которое, в свою очередь, стало использоваться как эквивалент термина «прибавить». Со времен Аристотеля все внимательные исследователи помнили об этом и часто использовали императивную форму для определения нового слова. Иллюстрацией может послужить такая фраза, как: «Назовем процесс схватывания значений «осознанием»».

Таким образом, номинальное определение является соглашением или решением (resolution) относительно использования языковых символов. Новый символ называется определяемым выражением и вводится как взаимозаменяемый с уже известной группой слов, именуемой определяющим выражением. В работе Рассела и Уайтхеда «Principia Mathematica» определение такого рода излагается следующим образом: определяемое выражение пишется слева, а определяющее – справа; между ними ставится знак равенства и буквы «Df.» справа от определяющего выражения. Так, импликация, обозначаемая как «⊃», определяется следующим образом: « p ⊃ q = p ′ ∨ q . Df.». Или же словами: «„ р имплицирует q “ эквивалентно по определению „не р или q “». В алгебре следуют этой же процедуре. Экспонент (показатель степени) может вводиться так: a 2 = a × a . Df.

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

Однако, несмотря на то что номинальные определения не расширяют нашего реального знания, они, тем не менее, полезны в научном исследовании в силу следующих причин:

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

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

Определение по объему