Неклассическая логика

Логика причинности строится так, чтобы в ее рамках могло быть получено описание и полных, и неполных причин. Эта логика находит приложения при обсуждении понятий закона природы, онтологической необходимости, детерминизма и др.

Логика изменения -- раздел современной логики, занимающийся исследованием логических связей высказываний об изменении или становлении материальных и иных объектов. Задача логики изменения -- построение искусственных (формализованных) языков, способных сделать более ясными и точными рассуждения об изменении объектов -- переходе от одного состояния объекта к другому его состоянию, о становлении объекта, его формировании. В логике изменения ничего не говорится о конкретных характеристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, позволяющий дать строгие формулировки утверждений об изменении объектов, вскрыть основания и следствия этих утверждений, выявить их возможные и невозможные комбинации. Использование искусственного языка при обсуждении проблем изменения объектов не означает подмены этих онтологических проблем логическими, сведения эмпирических свойств и зависимостей к логическим.

Разработка логики изменения идет по двум направлениям: построение специальных логик изменения и истолкование определенных систем логики времени как логических описаний изменения. При первом подходе обычно дается «одномоментная» характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между последовательными состояниями объекта.

К первому направлению относится, в частности, логика направленности. Ее язык богаче, чем язык классической логики, и включает не только термины «существует» и «не существует», но также термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет», «еще нет» и т.п. С помощью этих терминов формулируются такие законы логики направленности, как, например:

-- существовать -- это то же, что начинать исчезать, и то же, что переставать возникать;

-- не существовать -- то же, что начинать возникать, и то же, что прекращать исчезать;

-- становление -- это прекращение несуществования, а исчезновение -- это возникновение несуществования;

-- уже существует -- значит, существует или возникает;

-- еще существует -- значит, существует или исчезает и т.п.

Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и исчезновение. Относительно всякого объекта верно, что он или существует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существовать, существовать и исчезать, существовать и возникать, не существовать и исчезать, возникать и исчезать и т.п. Иными словами, четыре возможные типа существования исчерпывают все способы существования и являются взаимно несовместимыми. Логика направленности позволяет выразить в логически непротиворечивой форме идею о противоречивости всякого движения и изменения. Утверждение «Предмет движется в данный момент в данном месте» эквивалентно утверждению «В рассматриваемый момент предмет находится и не находится в данном месте».

Примером второго подхода к логике изменения является логика времени финского философа и логика Г.Х. фон Вригта. Ее исходное выражение «А и в следующей ситуации В» может интерпретироваться как «Состояние А изменяется в состояние В» («А-мир переходит в В-мир»), что дает логику изменения. В логике времени доказуемы такие, в частности, утверждения:

-- всякое состояние либо сохраняется, либо возникает, либо исчезает;

-- при изменении состояние не может одновременно сохраняться и исчезать, сохраняться и возникать, возникать и исчезать;

-- изменение не может начаться с логически противоречивых состояний и не может вести к таким состоянием и т.п.

Примеры утверждений, доказуемых в различных системах логики изменения, показывают, что она не является самостоятельной теорией изменения и не может претендовать на то, чтобы быть таковой. Формально-логический анализ изменения объекта преследует узкую цель -- отыскание средств, позволяющих отчетливо зафиксировать логические связи утверждений об изменении того или иного объекта.

Вместе с тем логика изменения имеет важное философское значение, поскольку тема изменения (становления) еще с античными стоит в центре острых философских дискуссий.

Рассмотренные разделы неклассической логики не исчерпывают, конечно, всего многообразия существующих логических систем. Логика как наука едина. Однако она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом. В этом аспекте современная логика отличается от традиционной логики. Последняя не знала никаких многих «логик». Проблема сведения в единство тех фрагментарных описаний мышления, которые даются отдельными логическими системами, перед нею вообще не стояла.

Интенсивное развитие логики сопровождается расширением и обогащением ее аппарата, возникновением новых разделов и систем. Эта дифференциация не должна вместе с тем заслонять те идеи и связи, которые превращают непрерывно расширяющееся множество логических систем в единую науку.

Единство логики проявляется прежде всего в том, что входящие в ее состав отдельные «логики» пользуются при описании содержательных логических процессов одними и теми же методами исследования. Все эти «логики» отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только с их формальным, структурным содержанием. Каждая из них является системой, применяющей язык символов и формул и строящейся в соответствии с некоторыми общими для всех систем принципами. И наконец, сконструированная «логика» вызывает ряд вопросов, встающих в случае каждой системы: нет ли в ней противоречия, охватывает ли она все истины рассматриваемого рода? И т.д.

Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или являться их обобщением и т.д.

Единство логики проявляется также в том, что разные «логики» не противоречат друг другу: законами одной из них не могут быть отрицания законов, принятых в другой. Это верно даже для систем, которые можно назвать конкурирующими, поскольку они по-разному описывают одни и те же процессы рассуждения. Есть, как мы видели, «логики», включающие закон исключенного третьего. Есть также системы -- и их немало, -- рассчитанные на описание почти тех же типов рассуждений, но не включающие данного закона. В бесконечном многообразии логических систем нет, однако, таких «логик», которые провозглашали бы в качестве своего закона отрицание закона исключенного третьего.

Мысль, что единая современная логика слагается из большого числа отдельных «логик», если и необычна, то только по форме своего выражения. Сходное утверждение является верным в случае всякой развитой науки, скажем, физики или математики. Они также слагаются из множества отдельных теорий, только в совокупности и в сложных динамических взаимосвязях составляющих своеобразное единство, называемое физикой или математикой.

Литература

1. Айер А. Д. Язык, истина и логика // Аналитическая философия. Избранные тексты. -- М.: 2003.

2. Гейтинг А. Интуиционизм. -- М.: 2005.

3. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. -- М., 2001.

4. Ивин А. А. Строгий мир логики. -- М., 2008.

5. Карри Х.Б. Основания математической логики. -- М., 2009.