Логика - Александр Ивин

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

Ещё одну группу высказываний составляют высказывания, относимые обычно к бессмысленным. Например: «Простые числа зеленые», «Дом есть цвет» и т.п. Это – правильно построенные предложения, такими же являются, очевидно, предложения «Истинно, что простые числа зеленые» и «Должно быть так, что простые числа зеленые» («Простые числа должны быть зелёными»). Первое предложение претендует на выражение описательного утверждения, но выражаемое утверждение не является ни истинным, ни ложным, поскольку цвета не имеют отношения к числам. Второе предложение выражает, как может казаться, оценочное утверждение, но о нем нельзя сказать по аналогии с обычными оценочными высказываниями, что даваемая им оценка эффективна или целесообразна. Сходным образом обстоит дело с высказываниями «Нынешний король Франции является лысым», «Пегас имеет крылья» и т.п., говорящими о свойствах несуществующих объектов. К бессмысленным иногда относятся также высказывания с туманным смыслом, подобные «Существовать – значит быть воспринимаемым». Нельзя сказать, что бессмысленные высказывания не являются высказываниями, хотя они определённо не относятся ни к описательным, ни к оценочным высказываниям и стоят не только «вне истины и лжи», но также «вне целесообразного и нецелесообразного».

Перечень разных видов высказываний показывает, что область высказываний является разнородной и не имеет чётких границ Описательные высказывания – только один из многих видов высказываний.

4. Модальные высказывания

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

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

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

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

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

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

Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных точек зрения: «Хорошо, что доказано, что цирконий – металл» и т.п.

Всякое модальное высказывание содержит по меньшей мере одно модальное понятие.

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

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

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

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

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

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

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

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

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

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