Логика: Учебник для студентов юридических вузов и факультетов

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

Сравнимые теории, в свою очередь, могут быть по объему совместимыми и несовместимыми.

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

Далее, совместимыми являются теории, различающиеся степенью общности и находящиеся в отношении логического подчинения. В них отражаются такие системные объекты, из которых один входит в другой, но не исчерпывает его объема полностью, а составляет лишь часть. Таковы общебиологическая и зоологическая теории, общая социологическая теория и частные социологические теории (социальных групп, общностей, организаций); общая теория права и отдельные отраслевые правовые теории.

Наконец, совместимы и такие теории, у которых объекты совпадают лишь частично. Их можно назвать «пересекающимися» или «перекрещивающимися». Таковы теории, возникающие на стыке двух (и более) наук: астрофизика, биохимия, кибернетика.

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

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

И, наконец, к числу несовместимых принадлежат противоположные теории. Пример — корпускулярная теория света Ньютона и волновая теория Гюйгенса (из которых, однако, позднее выросла единая, корпускулярно-волновая теория).

Очевидно, что выделение подобных отношений между теориями до известной степени приблизительно, условно. Здесь все обстоит гораздо сложнее. Так, противоречащие в одном отношении теории могут сходиться в другом; или по существу равнозначные теории могут иметь более или менее важные отличия, дающие им право на самостоятельное существование.

Этими отношениями отнюдь не исчерпывается все богатство действительных отношений между теориями. Наряду с логическими, здесь складываются определенные фактические отношения, играющие большую роль в развитии наук: между старой и новой теориями, между ложной и истинной, между менее точной и более точной... Но такие отношения выходят далеко за пределы логического анализа.

Вычленение же логических отношений позволяет более глубоко разбираться в сущности и развитии теоретического знания, помогает понять структуру науки в целом.

4. Логические операции с теориями

По аналогии с понятиями и суждениями, — только, разумеется, тоже в более высоком смысле, — можно говорить о логических операциях с теориями. И здесь налицо определенное сходство.

Прежде всего следует выделить логические операции обобщения и ограничения теорий.

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

Так, в процессе углубления человеческого познания наряду с евклидовой геометрией возникли неевклидовы, которые вовлекли в орбиту своего внимания новые пространственные формы и отношения в окружающем мире. Предмет геометрии в целом стал более общим, нежели прежде.

Аналогично обстояло дело с механикой. Разрабатывая свою теорию, И. Ньютон исследовал движение тел макромира — земных и небесных масс. Почти одновременное создание в XX веке квантовой механики — механики микромира и теории относительности А. Эйнштейна — механики мегамира привело к обобщению теории механического движения, отразившей неизмеримо более широкий класс движущихся объектов.