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