Введение в логику и научный метод
Шрифт:
Такова, вкратце, теория предикабилий Аристотеля. Согласно данному учению, условие, которое должны выполнять определения, заключается в том, что они должны формулироваться в терминах рода и видового отличия.
§ 4. Правила для определений
Правила образования определений удобно обсуждать, не ограничиваясь аристотелевским анализом. Ниже приведены основные аспекты этих правил:
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. Разумеется, предпочтительнее определять вещь в терминах того, чем она является, чем в терминах того, чем она не является, поскольку, как правило, указание на то, чем вещь не является, не позволяет в достаточной мере отграничить ее
4. Главная опасность, содержащаяся в определениях, выраженных метафорическим языком, заключается в том, что метафоры могут наводить на значения, которые вовсе и не предполагаются в определении. Так, определение слова «король» термином «кормчий государства» может вводить в заблуждение, поскольку порождает мысль о том, что король может управлять судьбами нации, согласно предначертанному курсу.
Требование, согласно которому определяющее выражение не должно быть неясным, выражает психологические мотивы для определений. Классическим примером определения, нарушающего данное психологическое требование, является предложенное Сэмюэлем Джонсоном определение слова «сеть»: «ретикулярное изделие с перекрестиями на заданных интервалах и пустотами у пересечений».
При этом присутствие в определяющем выражении терминов, неизвестных большинству читателей, не делает определение неясным. В физике «действие системы частиц» определяется как «сумма всех частиц среднего количества движения для равных расстояний, умноженная на расстояние, пройденное каждой частицей». Разумеется, компетентному специалисту в аналитической динамике, в отличие от неподготовленного новичка, данное определение неясным не кажется.
§ 5. Деление и классификация
Согласно традиционному подходу, определение состоит из разложения данного вида на род и видовое отличие. Однако сам род также может быть разделен на разные виды. Так, плоская фигура как род может быть разделена не только на виды треугольника, но и на виды четырехугольника, конического сечения и т. д. Указание различных видов одного и того же рода называется логическим делением, или просто делением. Род, с которого начинается процесс деления, называется высший род. Виды, получившиеся в результате деления рода, могут, в свою очередь, делиться и дальше. Виды, которыми заканчивается деление, называются низшими видами. Промежуточные виды между высшим родом и низшими видами называются подчиненными родами.
Процесс деления, с точки зрения объема термина, заключается в расчленении класса на составляющие его подклассы. Деление, следовательно, связано с определением, поскольку определение задает границы класса, определяемого термина. Однако если на деление термина посмотреть не с точки зрения составляющих его видов, а с точки зрения относящихся к нему индивидных членов, тогда процесс деления связывается и с классификацией. Деление разбивает род на виды, тогда как классификация группирует индивидов в классы, а получившиеся классы – в еще более общие классы.