Вопрос 3. Модальные суждения

(продолжительность – 20 минут)

До сих пор мы с вами рассматривали только один тип суждений, которые называют ассерторическими (от. лат. аssurer – утверждать) – они констатируют, что между субъектом и предикатом некоторого суждения или между двумя суждениями имеется какая-то связь, никак не оценивая этой связи. Такие суждения называются также суждениями действительности, именно они могут быть оценены как истинные или ложные. Как вы помните, такие суждения бывают трех типов: атрибутивные, когда что-то утверждается о свойстве, признаке предмета (в таком суждении есть субъект и предикат), суждения отношения и экзистенциальные суждения.

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

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

Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями или суждениями данного высказывания. Эта связь может быть:

1) сильной положительной – "необходимо", "обязательно", "доказано", "всегда", "хорошо", "известно", "лучше";

2) слабой – "случайно", "возможно", "проблематично", "сомнительно", "иногда", "неразрешимо", "равноценно", "безразлично";

3) сильной отрицательной – "опровергнуто", "невозможно", "никогда", "плохо", "хуже", "неизвестно", "запрещено".

Слова, выражающие модальность, называются в логике или модальными понятиями, или модальными операторами, или модальными функторами.

Одним из первых обратил внимание на существование модальных суждений Аристотель. Он сформулировал ряд правил употребления модальных понятий "необходимо", "возможно", "случайно", "невозможно". В средние века У. Шервуд, У. Оккам, Ж. Буридан, занимаясь модальными выводами, говорили о функторах "действительно", "неизбежно", "истинно", "ложно", "неразрешимо", стремясь свести их к трём основным: "необходимость", "возможность", "невозможность". В восемнадцатом веке И. Кант по признаку модальности разделил все суждения на ассерторические (суждения действительности), аподиктические (суждения всеобщности и необходимости) и проблематические (суждения возможности). В современной логике общей теории модальных систем пока нет.

В общем случае, о предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, используя модальные понятия, уточнить, является ли эта связь S и Р необходимой или же она случайна, доказано ли, что S есть Р, или это только предполагается, хорошо ли, что S есть Р, или это плохо и т.д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: М (S есть Р); вместо М в эту форму могут подставляться различные модальные понятия.

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

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

Например, модальное высказывание "Физически необходимо, что планеты Солнечной системы движутся по эллипсам" оценивает движение планет с точки зрения законов физики. Модальное высказывание "Доказано, что планеты Солнечной системы движутся по эллипсам" оценивает это движение с теоретико-познавательной точки зрения. Данное высказывание истинно с того времен, как И. Кеплер доказал, что траектории движения планет Солнечной системы имеют форму эллипса, а не круга.

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

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

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

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

Можно также попытаться конкретизировать качественный характер установленной в рассматриваемом высказывании связи. Для этого используются модальные понятия. Результатами их применения будут высказывания: "Необходимо, что металлы проводят ток", "Хорошо, что они проводят ток", "Опровергнуто, что это так" и т.п. Очевидно, что первое из этих модальных высказываний является истинным, а третье – ложным.

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

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

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

Основные группы модальных понятий систематизируются следующей таблицей:

Логические модальные понятия	Логически необходимо	Логически случайно	Логически невозможно
Физические модальные понятия	Физически необходимо	Физически случайно	Физически невозможно
Эпистемические модальные понятия	Доказуемо Убежден	Неразрешимо Сомневается	Опровержимо Отвергает
Нормативные модальные понятия	Обязательно	Безразлично	Запрещено
Оценочные модальные понятия	Хорошо Лучше	Безразлично Равноценно	Плохо Хуже

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

Дата добавления: 2014-01-07