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