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