Словарь логики

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