Читать «Большая Советская Энциклопедия (ОБ)» онлайн - страница 78

  Исторически процесс развития понятий и теорий выражается в приращении знания посредством цепей обобщений, звеньями которых служат О. 1-го или 2-го типов. В цепях О. отражаются последовательные связи сущностей 1-го с сущностями 2-го, 3-го и так далее порядков. Эти связи различны, и в зависимости от их характера им соответствуют или цепи О. с сохраняющейся семантикой исходных концептов или, напротив, изменяющие первичную семантику. Примером может служить последовательное О. понятия числа путём построения систем натуральных, целых, рациональных, действительных и комплексных чисел. Для этой цепи, сохраняющей первичную семантику, характерны такие расширения исходной области, которые удовлетворяют принципу постоянства формальных законов, согласно которому законы операций, определяемых для элементов исходной области, при всех последующих её расширениях должны сохраняться и для новых элементов. Эта цепь, однако, не может быть сколь угодно продолжаемой. Уже арифметика трансфинитных количественных чисел не удовлетворяет вышеназванному принципу, но возникающий при этом переход к общему понятию количественного числа приводит и к новому пониманию арифметики натуральных чисел как арифметики мощностей конечных множеств. Примером цепи О. 2-го вида может служить переход от классической логики к интуиционистской (см. ), а также последовательный переход от классической механики к релятивистской механике и общей теории относительности. В подобных переходах более общая теория может иметь законченную формулировку независимо от менее общей, но она должна содержать в себе последнюю в качестве предельного случая, что составляет основное содержание принципа соответствия для цепей О. с изменяющейся первичной семантикой.