Приглашаем посетить сайт
СРАВНЕНИЕ
СРАВНЕНИЕ - познавательная операция (логич. рефлексия - И. Кант), посредством к-рой на основе нек-рого фиксир. признака - основания С. (см. Отношение) - устанавливается то ж д е с т в о (равенство) или р а з л и ч и е объектов (вещей, состояний, свойств и пр.) путем их попарного сопоставления. Операция С. имеет смысл лишь для тех объектов, "...между которыми есть хоть какое-нибудь сходство" (Юм Д., Соч., т. 1, М., 1965, с. 103), т.е. определяется в совокупности однородных в к.-л. смысле объектов - таких, к-рые образуют множество. Признаки (предикаты), определяемые на этом множестве, служат "естественными" основаниями С.
Как познавательный акт С. следует отличать от его логич. формы, к-рая является общей как для элементарных (одноактных), так и для сложных (многоактных) процедур С.: в любом случае имеют место только две возможности - сравниваемые объекты а и b тождественны (по данному основанию) или же они различны (по тому же основанию). Если основания различия таковы, что отношение различия может рассматриваться как порядковое, то операция С. сводится к рассмотрению отношений а=b, а В любой матем. теории непременным условием рассмотрения матем. объектов является предположение об их сравнимости. Это приводит к тому, что естественно назвать а б с т р а к ц и е й сравнимости. На этой абстракции основывается, напр., утверждение, к-рое является фундаментальным в канторовской концепции множества, что любые два элемента произвольного множества различимы между собой. На этой же абстракции основано С. самих множеств. Мы говорим "абстракция сравнимости" потому, что задача С. в общем случае является отнюдь не тривиальной, иногда даже просто неразрешимой: "Пусть А - множество всех четных чисел, больших 4, а В - множество всех чисел, являющихся суммами двух простых нечетных чисел. Мы до сих пор не знаем, какое из соотношений справедливо: А = В или А ≠ В, и не знаем даже, как подойти к решению этого вопроса" (Серпинский В., О теории множеств, пер. с польского, М., 1966, с. 6; о принципиально неразрешимых задачах С. см., напр., в ст. Тождества проблемы). По замечанию Юма, "мы можем производить... сравнение или когда оба объекта воспринимаются чувствами, или когда ни один из них не воспринимается или когда налицо только один из них" (Соч., т. 1, М., 1965, с. 169). Несовпадение этих видов С. проявляется уже в том факте, что в обоих последних случаях р а з л и ч и е приходится рассматривать как отрицание т о ж д е с т в а, тогда как в первом случае акт различения имеет и самостоятельное значение и рассматривается как самостоятельная операция (на нем, собственно, основывается идея математики без отрицания - см. Положительная логика). Очевидно, что С. на уровне чувств. восприятия не требует никаких абстракций. Наглядность придает понятию С. "физич. смысл", но условие наглядности С. стеснительно для теории. Именно в теории, особенно в математике, типичны случаи (как в приведенном выше примере с множествами А и В), когда наглядное сопоставление объектов невозможно (это зависит, вообще говоря, от условий задания объектов) и, значит, приходится прибегать к рассуждению и, соответственно, к тем или иным абстракциям, на к-рых мы свои рассуждения основываем. Напр., рассуждение о сравнимости множества А1 всех нечетных чисел, больших 7, и множества В1 всех чисел, являющихся суммами трех нечетных простых чисел, мы основываем на абстракции потенциальной осуществимости, поскольку "...мы знаем метод, дающий возможность путем выполнения определенных, указанных этих методом вычислений, решить, какое из соотношений Α1 ≠ Β1 или Α1 = Β1 верно...", хотя число этих вычислений "...так велико, что ни одна существующая электронная вычислительная машина не была бы в состоянии их выполнить" (Серпинский В., О теории множеств, с. 7). Основываясь на принципе исключенного третьего, мы можем считать сравнимыми и множества А и В из первого примера, но в этом случае абстракция сравнимости будет зависеть уже от абстракции актуальной бесконечности. Иначе говоря, абстракция сравнимости является нетривиальным допущением в рамках др. матем. абстракций.
"Практически осуществимая" операция С. не должна зависеть от к.-л. абстракций бесконечности и осуществимости. Так, принимая в рамках абстракции актуальной бесконечности, что два положительных иррациональных числа равны, если все соответственные десятичные знаки их десятичных приближений одинаковы, мы вполне отдаем себе отчет в том, что на практике никогда не удается решить вопрос о равенстве чисел в указанном смысле в виду принципиальной невозможности довести бесконечный процесс С. до конца. Основание С. при таком "платонистском" определении равенства "замешано" в бесконечном процессе. На практике, ограничиваясь приближенными вычислениями, приходится исключать такие "бесконечные основания" С. путем перехода к равенству в нек-ром интервале абстракции - прагматическому (или условному) равенству (о понятии "интервал абстракции" и связанному с ним понятию условного равенства см. в ст. Принцип абстракции, Тождество). Приходится, напр., отождествлять иррациональное число с его десятичным приближением, полагая в общем случае зависимость равенства веществ. чисел от условий взаимозаменимости их десятичных приближений, когда использование (подстановка) одного из них вместо другого не нарушает заданный интервал абстракции (к примеру, обеспечивает требуемую практич. задачей степень точности). Бесконечный процесс С. заменяется здесь конечным приемом подстановки и экспериментальной проверкой ее результатов.
Лит.: Шатуновский С.О., Введение в анализ, Одесса, 1923, § 6 и 7; Арнольд И. В., Теоретическая арифметика, М., 1938, гл. 3.
М. Новосёлов. Москва. Ф. Лазарев. Калуга.