<<< ОГЛАВЛЕHИЕ >>>


МОДАЛЬНАЯ ЛОГИКА

1. ЛОГИЧЕСКИЕ МОДАЛЬНОСТИ

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

Модальная логика - раздел логики, в котором исследуются логические связи модальных высказываний.

Модальная логика слагается из ряда разделов, или направлений, каждое из которых занимается модальными высказываниями определенного типа. Фундаментом модальной логики является логика высказываний: первая есть расширение второй.

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

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

Истинность логически необходимого высказывания устанавливается независимо от опыта, на чисто логических основаниях. Логическая необходимость является, таким образом, более сильным видом истины, чем фактическая истинность. Например, высказывание "Снег бел" фактически истинно, для подтверждения его истинности требуется эмпирическое наблюдение. Высказывания же "Снег есть снег", "Белое - это белое" и т.п. необходимо истинны: для установления их истинности не нужно обращаться к опыту, достаточно знать значения входящих в них слов. Поскольку данные высказывания логически необходимы, каждое из них можно предварить оборотом "логически необходимо, что..." ("Логически необходимо, что снег есть снег" и т.п.).

Логическая возможность - это внутренняя непротиворечивость высказывания.

Высказывание "Коэффициент полезного действия паровой машины равен 100% является, очевидно, ложным, но оно внутренне непротиворечиво и, значит, логически возможно. Но высказывание "К.п.д. такой машины выше 100%" противоречиво и потому логически невозможно.

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

Скажем, высказывание "Микробы - живые организмы" совместимо с законами логики и, следовательно, логически возможно. Высказывание же "Неверно, что если человек - писатель, то он писатель" противоречит логическому закону тождества и потому является логически невозможным.

Случайно то, что может быть, но может и не быть. Случайность не равнозначна возможности, которая не может не быть. Случайность иногда называют "двусторонней возможностью", т.е. равной возможностью и высказывания, и его отрицания.

Высказывание логически случайно, когда и оно само, и его отрицание являются логически возможными.

Логически возможно высказывание, не являющееся внутренне противоречивым. Если не только само высказывание, но и его отрицание не содержат противоречия, высказывание является логически случайным. Случайно, например, высказывание "Все многоклеточные существа смертны": ни утверждение этого факта, ни его отрицание не содержат внутреннего (логического) противоречия.

Логически невозможное высказывание - это внутренне противоречивое высказывание.

Логически невозможны, например, высказывания: "Растения дышат и растения не дышат" и "Неверно, что, если Вселенная бесконечна, то она бесконечна". Оба они являются отрицаниями логических законов: первое - закона противоречия, второе - закона тождества.

Понятия логической необходимости и возможности можно определить одно через другое:

"А логически необходимо" означает "отрицание А не является логически возможным" (например: "Необходимо, что холод есть холод" означает "Невозможно, чтобы холод не был холодом");

"А логически возможно" означает "отрицание А не является логически необходимым" ("Возможно, что кадмий - металл" означает "Неверно, что необходимо, что кадмий - не металл").

Логическую случайность можно определить через логическую возможность: "логически случайно А" означает "логически возможно как А, так и не-A"("Логически случайно, что на Земле есть жизнь" означает "Логически возможно, что на Земле есть жизнь, и логически возможно, что на Земле нет жизни").

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

Из истинности высказывания вытекает его логическая возможность, но не наоборот: логическая возможность слабее истинности.

2. ФИЗИЧЕСКИЕ МОДАЛЬНОСТИ

Физические модальные высказывания формируются с помощью физических модальных понятий (физически необходимо, физически возможно и т.п.), называемых также онтологическими или каузальными. Например: "Физически необходимо, что действие равно противодействию", "Физически случайно, что стекло хрупко", "Физически невозможно, чтобы дождь лил семь дней и семь ночей подряд" и т.п.

Логические модальные понятия связаны с "механикой" человеческого мышления и используются для характеристики существенных ее моментов. Физические модальные понятия касаются устройства самого реального мира.

Нечто необходимо, если оно не может быть иным, чем оно есть. В зависимости от того, на какое основание опирается утверждение о необходимости, выделяются два ее вида: логическая необходимость и физическая необходимость. Логическая необходимость связана с логическим законом: логически необходимы законы логики и все, что вытекает из них. Физическая необходимость связана с законами природы: физически необходимо то, отрицание чего нарушает законы природы. Физически необходимы, например, высказывания: "Все планеты вращаются вокруг своей оси" и "Электрон, движущийся по стационарной орбите, не излучает энергию". Отрицания этих высказываний противоречили бы законам физики: отрицание первого высказывания несовместимо с законами небесной механики, отрицание второго - с законами квантовой механики.

Физически возможным является высказывание, не противоречащее законам природы.

Например, высказывание "К.п.д. двигателя внутреннего сгорания равен 100%" противоречит законам термодинамики и, значит, физически невозможно. Высказывание же "К.п.д такого двигателя превышает 30%" не противоречит никаким ограничениям, устанавливаемым законами природы, и является физически возможным.

Высказывание физически случайно, когда и оно само, и его отрицание являются физически возможными.

Случайно, например, что этот дом выкрашен в коричневый цвет: нет законов природы, которые предписывали бы ему быть коричневым или, наоборот, иметь другой цвет.

Физически невозможно высказывание, противоречащее законам природы.

Физически невозможны, например, высказывания: "Действие не равно противодействию" и "Сила не равняется произведению массы на ускорение", являющиеся отрицаниями законов механики.

Физическая необходимость может быть определена через физическую возможность: "высказывание физически необходимо" означает "отрицание этого высказывания не является физически возможным" (например: "физически необходимо, что тела, имеющие массу, притягиваются друг к другу" означает "физически невозможно, чтобы такие тела не притягивались друг к другу").

Физическая возможность может быть определена через физическую необходимость: "высказывание физически возможно" означает "отрицание этого высказывания не является физически необходимым" (например: "Двигатель внешнего сгорания физически возможен" означает "Отсутствие такого двигателя не является физически необходимым").

Физическую случайность можно определить через физическую возможность: "высказывание физически случайно" означает "физически возможно как данное высказывание, так и его отрицание" ("Физически случайно, что шарик рулетки остановится на красном поле" означает "Физически возможно, что он остановится на красном, точно так же, как физически возможно, что он не остановится на красном").

Физически необходимое высказывание является истинным, но не наоборот: не каждая истина является законом природы и тем самым физически необходимой.

Физически необходимое высказывание является также физически возможным, но не наоборот: не все физически возможное физически необходимо, т.е. представляет собой закон природы.

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

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

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

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

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

Вместе с тем можно представить себе, что наш мир несколько изменился и притом так, что нагреваемые металлические стержни не только не удлиняются, но даже сокращаются. Нельзя, однако, вообразить себе такой мир, в котором стержни и удлинялись бы и вместе с тем не удлинялись, т.е. мир, в котором нарушался бы логический закон противоречия.

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

Логическая возможность шире физической: возможное физически является возможным и логически, но не наоборот. К примеру, двигатель с к.п.д. 100% возможен логически, но физически невозможен. Круговые орбиты планет возможны логически, но невозможны физически.

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

3. ЛОГИЧЕСКОЕ ИССЛЕДОВАНИЕ ЦЕННОСТЕЙ

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

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

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

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

Вот некоторые примеры законов логики оценок: "Ничто не может быть хорошим и плохим одновременно", "Ничто не может быть сразу и хорошим, и безразличным", "Невозможно быть плохим и безразличным". "Безразличное" здесь понимается как то, что не является ни хорошим, ни плохим.

Особый интерес среди законов логики оценок представляют конкретизации закона непротиворечия на случай оценок. "Два состояния, логически не совместимые друг с другом, не могут быть оба хорошими" и "Эти состояния не могут быть вместе плохими" - так можно передать смысл этих конкретизации. Несовместимыми являются, например, честность и нечестность, здоровье и болезнь, дождливая погода и погода без дождя и т.д. В случае каждой из этих пар исключающих друг друга состояний справедливо, что если быть здоровым хорошо, то неверно, что не быть здоровым тоже хорошо, если быть нечестным плохо, то неправда, что быть честным также плохо, и т.д.

Речь идет, очевидно, об оценке двух противоречащих друг другу состояний с одной и той же точки зрения. У всего есть свои достоинства и свои недостатки. Если, допустим, здоровье и нездоровье рассматривать с разных сторон, то каждое из этих состояний окажется в чем-то хорошим, а в чем-то плохим. И когда говорится, что они не могут быть вместе хорошими или вместе плохими, имеется в виду: в одном и том же отношении. Логика оценок никоим образом не утверждает, что если, к примеру, искренность является хорошей в каком-то отношении, то неискренность не может быть хорошей ни в каком другом отношении. Проявить неискренность у постели смертельно больного - это одно, а быть искренним с его лечащим врачом - это совсем другое. Логика настаивает только на том, что два противоположных состояния не могут быть хорошими в одном и том же отношении, для одного и того же человека.

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

Из законов, касающихся сравнительных оценок, можно упомянуть такие принципы: "Ничто не может быть лучше или хуже самого себя", "Одно лучше второго только в том случае, когда второе хуже первого", "Равноценны каждые два объекта, которые не лучше и не хуже друг друга". Эти законы являются, конечно, самоочевидными. Они ничего не говорят об оцениваемых объектах или их свойствах, в них не содержится никакого "предметного" содержания. Задача таких законов - раскрыть смысл слов "лучше", "хуже" и "равноценно", указать правила, которым подчиняется их употребление.

Хорошим примером положения логики оценок, вызывающего постоянные споры, является так называемый принцип переходности: "Если первое лучше второго, а второе лучше третьего, то первое лучше третьего", и аналогично для "хуже". Допустим, что человеку был предложен выбор между сокращением рабочего дня и повышением зарплаты и он предпочел первое. Затем ему предложили выбирать между повышением зарплаты и увеличением отпуска, и он избрал повышение зарплаты. Означает ли это, что, сталкиваясь затем с необходимостью выбора между сокращением рабочего дня и увеличением отпуска, этот человек выберет в силу законов логики, так сказать автоматически, сокращение рабочего дня? Будет ли он противоречить себе, если выберет в последнем случае увеличение отпуска?

Ответ здесь не очевиден. На этом основании принцип переходности нередко не относят к законам логики оценок. Однако отказ от него имеет и не совсем приемлемые следствия. Человек, который не соблюдает в своих рассуждениях данный принцип, лишается возможности выбрать наиболее ценную из тех вещей, которые не считаются им равноценными. Допустим, что он предпочитает банан апельсину, апельсин яблоку и вместе с тем предпочитает яблоко банану. В этом случае, какую бы из трех данных вещей он ни избрал, всегда останется вещь, которую предпочитает он сам. Если предположить, что разумный выбор - этот выбор, дающий наиболее ценную вещь, то соблюдение принципа переходности окажется необходимым условием разумности выбора.

В числе законов логики норм - положения, что никакое действие не может быть одновременно и обязательным, и запрещенным, что безразличное не является ни обязательным, ни запрещенным и т.п. Одна из групп законов касается связей между основными нормативными понятиями. Эти законы, в частности, говорят: "Действие обязательно только в том случае, если запрещено воздерживаться от него", "Действие разрешено, когда оно не запрещено", "От запрещенного обязательно воздерживаться" и т.д.

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

Невозможно что-то сделать и вместе с тем не сделать, выполнить какое-то действие и одновременно воздержаться от него. Нельзя засмеяться и не засмеяться, закипятить воду и не закипятить ее. Понятно, что требовать от человека выполнения невозможного неразумно: он все равно нарушит это требование. На этом основании в логику норм вводят принцип, согласно которому действие и воздержание от него не могут быть вместе обязательными.

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

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

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

Французский философ Ш.Монтескье пишет о римском императоре Калигуле, который однажды произвел в сенаторы своего коня:

"Калигула показал себя настоящим софистом в своей жестокости... То он говорил, что будет наказывать консулов как в том случае, если они будут праздновать день, установленный в память победы при Акции, так и в том случае, если они не будут праздновать его. Когда умерла Друзилла, которой он велел воздавать божественные почести, то было преступлением плакать по ней, потому что она была богиней, и не плакать, потому что она была сестрой императора".

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



<<< ОГЛАВЛЕHИЕ >>>
Знаете ли Вы, что "тёмная материя" - такая же фикция, как черная кошка в темной комнате. Это не физическая реальность, но фокус, подмена.
Реально идет речь о том, что релятивистские формулы не соответствуют астрономическим наблюдениям, давая на порядок и более меньшую массу и меньшую энергию. Отсюда сделан фокуснический вывод, что есть "темная материя" и "темная энергия", но не вывод, что релятивистские формулы не соответствуют реалиям. Подробнее читайте в FAQ по эфирной физике.

НОВОСТИ ФОРУМАФорум Рыцари теории эфира
Рыцари теории эфира
 26.02.2017 - 08:28: ЭКОЛОГИЯ - Ecology -> ПРОБЛЕМА ПРЕСНОЙ ВОДЫ - Карим_Хайдаров.
25.02.2017 - 07:30: ЭКСПЕРИМЕНТАЛЬНАЯ ФИЗИКА - Experimental Physics -> Эксперименты с трансформатором Тесла - Карим_Хайдаров.
25.02.2017 - 07:22: СОВЕСТЬ - Conscience -> Просвещение от В.В. Пякина - Карим_Хайдаров.
24.02.2017 - 16:47: СОВЕСТЬ - Conscience -> РАСЧЕЛОВЕЧИВАНИЕ ЧЕЛОВЕКА. КОМУ ЭТО НАДО? - Карим_Хайдаров.
22.02.2017 - 16:11: СЕЙСМОЛОГИЯ - Seismology -> КРАТКОСРОЧНЫЙ ПРОГНОЗ ЗЕМЛЕТРЯСЕНИЙ - Карим_Хайдаров.
22.02.2017 - 02:43: СОВЕСТЬ - Conscience -> РУССКИЙ МИР - Карим_Хайдаров.
21.02.2017 - 12:35: СОВЕСТЬ - Conscience -> Просвещение от Андрея Фурсова - Карим_Хайдаров.
19.02.2017 - 19:48: СОВЕСТЬ - Conscience -> ПРАВОСУДИЯ.НЕТ - Карим_Хайдаров.
19.02.2017 - 11:33: СОВЕСТЬ - Conscience -> КОЛЛАПС МИРОВОЙ ФИНАНСОВОЙ СИСТЕМЫ - Карим_Хайдаров.
19.02.2017 - 10:05: СОВЕСТЬ - Conscience -> Проблема государственного терроризма - Карим_Хайдаров.
17.02.2017 - 20:33: СОВЕСТЬ - Conscience -> Просвещение от академика С.Ю. Глазьева - Карим_Хайдаров.
16.02.2017 - 05:00: ЦИТАТЫ ЧУЖИХ ФОРУМОВ - Outside Quotings -> ЗАЩИТА ОТ КОМЕТНОЙ БОМБАРДИРОВКИ - Карим_Хайдаров.
Bourabai Research Institution home page

Bourabai Research - Технологии XXI века Bourabai Research Institution