3. Модальность суждений: понятие и виды

Модальность (от лат. modus – мера, способ) – это характеристика, оценка суждения, данная с той или иной точки зрения.

Каждое суждение имеет основную информацию о том, какова связь предмета с его признаками.

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

В суждении можно выразить мысль о предмете и его признаке, т.е. показать связь между S и Р. Но в суждении, сверх того, можно показать – является ли эта связь необходимой или случайной, всегда ли S будет Р или иногда, доказано ли, что S есть Р или только предполагается и т.д. В отличие от логики высказываний и логики предикатов, где два значения «и» и «л» в модальной логике может быть множество значений.

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

В общей форме модальность суждения можно выразить с помощью модального оператора «М» и выразить модальность суждения символически: М (S есть/не есть Р). Вместо М можно подставлять различные оценочные понятия, которые будут выражать тип связи S и Р. Например, из немодального высказывания «Человек смертен», можно образовать модальные суждения:

- «Плохо, что человек смертен»,

- «Возможно, человек смертен»,

- «Необходимо, что человек смертен»,

- «Доказано, что человек смертен» и т.д.

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

Термин «модальность» в логике употребляется в двух смыслах: в узком и широком.

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

В последнее время для их обозначения используют термин («алейтея») – алейтические модальности (от греч. слова «алейтея» - истина, необходимо). Это позволяет отличить модальности в собственном смысле слова от модальностей в широком смысле слова (Курбатов В.И. Логика. – Ростов н/Д – 2001 – гл.5.1. Алейтич. мод. логика).

Модальности в широком смысле слова в современной логике разделены на классы. Например:

- физическая модальность,

- эпистемическая (от греч. слова «эпистеме» - знание или теоретико-познавательная),

- деонтическая (от греч. слова «deon» - должное; раздел этики, рассматривающий проблемы долга), т.е. нормативная модальность,

- аксиологическая (от греч. слова «axia» - ценность) – оценочная модальность,

- временная и т.п.

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

Рассмотрим их.

Суждения необходимости (их называют аподиктическими, от лат. слова «apodiktikos» - достоверность).

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

Примеры: «Луна – спутник Земли», «Прямая линия – есть кратчайшее расстояние между двумя точками», «Человек относится к роду Гомо сапиенс» и т.п. Формула: «S необходимо есть (не есть) Р».

Суждения действительности (или ассерторические от лат. «assero» - утверждаю). Это суждения, в которых (говорится), констатируется, утверждается о наличии или отсутствии у предмета того или иного признака. Например, «Шевченко получил сегодня отличную оценку»; «Байкал – самое глубокое озеро в мире»; «Лев Толстой родился в 1828 году».

По качеству суждения действительности могут быть положительными и отрицательными. «Софийский собор в Киеве – выдающийся памятник архитектуры»; «Луна не имеет воздушной атмосферы».

По количеству ассерторические суждения бывают единичными – «Киев столица Украины», частными – «Некоторые писатели лауреаты Нобелевской премии», общими - «Все студенты сдают экзамены».

Хотя в суждениях действительности отражается принадлежность или непринадлежность признака предмету, но нам неизвестно, необходимо ли, т.е. всегда и при всех ли условиях, принадлежит данный признак предмету. Это значит, что суждения действительности мы используем в тех случаях, когда имеем сведения о принадлежности или непринадлежности данного признака предмету сейчас и в прошлом. Формула: S есть/не есть Р.

Суждение возможности (проблематическое суждение) – такое, в котором отображается возможность наличия или отсутствия признака у данного предмета. Например, «Возможно в 2010г. будет хороший урожай зерновых», «Возможно футбольная команда «Шахтер» станет чемпионом и в будущем году».

В этих суждениях утверждается лишь возможность чего-то. Но вполне возможно, что оно невозможно, т.е. «хорошего урожая не будет», а «футбольная команда «Шахтер» не станет чемпионом».

По качеству суждения возможности являются утвердительными, а по количеству – могут быть единичными («Я не могу перепрыгнуть эту высоту»), частными («Некоторые студенты могут стать хорошими предпринимателями») и общими («Каждый студент может стать отличником»). Формула: «S возможно есть Р».

Суждение возможности (по мнению Таванца П.В.) может употребляться в следующих двух случаях:

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

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

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

Об иных видах модальности можно прочитать в рекомендованном списке литературы.