логика изменения

логика изменения
раздел современной логики, занимающийся исследованием логических связей высказываний об изменении и становлении материальных или идеальных объектов. Л.и. относится к логике неклассической; ее задача - построение искусственных (формализованных) языков, способных сделать более ясными и точными рассуждения об изменении объекта - переходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. и. ничего не говорится о конкретных характеристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, позволяющий дать строгие утверждения об изменении объекта, вскрыть основания и следствия этих утверждений, выявить их возможные и невозможные комбинации. Использование искусственного языка при обсуждении проблем изменения объекта не есть подмена этих онтологических проблем логическими, сведение эмпирических свойств и зависимостей к логическим.
Разработка Л. и. идет по двум направлениям: построение специальных Л. и. и истолкование определенных систем логики времени как логических описаний изменений. При первом подходе обычно дается "одномоментная" характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между двумя последовательными состояниями объекта.
К первому направлению относится, в частности, логика направленности. Язык логики направленности богаче, чем языклогики классической; он включает не только термины "существует" и "не существует", но также термины "возникает", "исчезает", "уже есть", "еще есть", "уже нет", "еще нет" и т. п. С помощью этих терминов формулируются законы логики направленности:
> существовать - это то же, что начинать исчезать, и то же, что переставать возникать;
> не существовать - то же, что начинать возникать, и то же, что прекращать исчезать;
> становление - прекращение несуществования, а исчезновение - возникновение несуществования;
> уже существует - значит существует или возникает и т. п.
Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и исчезновение. Относительно всякого объекта верно, что он или существует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существовать, существовать и возникать, не существовать и исчезать, возникать и исчезать и т. п. Иными словами, четыре типа существования исчерпывают все возможные способы существования и являются взаимно несовместимыми. Логика направленности позволяет выразить в логически непротиворечивой форме гегелевское утверждение о противоречивости всякого движения и изменения. Утверждение "Предмет движется в данный момент в данном месте" эквивалентно утверждению "В рассматриваемый момент предмет находится и не находится в данном месте".
Примером второго подхода может служить логика времени финского философа и логика Г. X. фон Вригта (р. 1916). Ее исходное выражение "A и в следующей ситуации В" может интерпретироваться как "Состояние А изменяется в состояние В" ("А-мир переходит в B-мир"), что дает Л. и. В логике времени доказуемы такие теоремы:
> всякое состояние либо сохраняется, либо возникает, либо исчезает;
> при изменении состояние не может одновременно сохраняться и исчезать, сохраняться и возникать, возникать и исчезать;
> изменение не может начинаться с логически противоречивых состояний и не может вести к таким состояниям и т. п.
Примеры утверждений, доказуемых в различных системах Л. и., показывают, что она не является самостоятельной теорией изменения и не может претендовать на то, чтобы быть таковой. Формально-логический анализ изменения объекта преследует узкую цель - отыскание средств, позволяющих отчетливо зафиксиро-
вать логические связи утверждений об изменении того или иного объекта.
Вместе с тем Л. и. имеет важное философское значение, поскольку тема изменения (становления) еще с античности стоит в центре острых философских дискуссий. Л. и. позволяет, кроме прочего, прояснить отношение формальной логики к концепции внутренне противоречивой сущности становления.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.