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

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

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

Sn = u0 + u1 + u2 + … + un

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

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

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

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

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

§ 5. Деление и классификация

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

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

Для проведения успешного логического деления был выработан определенный набор правил. Эти правила также применимы и к классификации.