В ассерторических суждениях идет речь только о наличии или отсутствии чего-либо, то есть описывается фактическое положение делНапример, «Все юристы имеют высшее Модальность – категория, выражающая отношение говорящего к содержанию высказывания или отношение последнего к действительности. Модальность может иметь значение утверждения, приказания, пожелания и др. Модальность выражается модальными операторами (например, «возможно», «необходимо», «должен»), с их помощью указывается способ понимания высказываний. Суждения, в которых имеются указанные и подобные им характеристики явлений, событий, процессов и т.д. называют модальными. Модальными являются все суждения, выражающие законы науки. Утверждая наличие каких-то связей в суждениях этого типа, мы утверждаем необходимый характер этих связей, хотя в некоторых случаях эта характеристика не выражается явно, но в любом таком случае, по крайней мере, подразумевается. Например: «Ни один человек не может жить без пищи», «Некоторые люди не могут лгать», «Каждый гражданин обязан соблюдать законы», «Возможно, что существуют неземные цивилизации», «Обыск производится в присутствии понятых», «Споры о подследственности между властными участниками процесса не допускаются», «Иногда неудовлетворительные оценки студенты получают на экзаменах случайно». Типы и виды модальностей. При различении модальностей мы выделяем типы, а внутри каждого типа – виды модальностей. Среди известных модальностей особо выделяются следующие типы: 1. Алетические модальности. К ним относятся такие характеристики – виды модальностей – как «необходимо», «возможно», «невозможно», «случайно». Среди них, в свою очередь, различают физические (в широком смысле слова), или, иначе, фактические, онтологические модальности и модальности логического характера. Физическая необходимость выражается в высказывании, представляющем собой закон конкретной науки (физики, химии, социологии, биологии и т.д.). Если высказывание логически следует из физического закона, то ситуация, которую оно представляет, также является всегда необходимой. Например, согласно закону Кеплера, необходимо, чтобы всякая планета Солнечной системы двигалась вокруг Солнца по эллипсу, в одном из фокусов которого находится Солнце. Но это же необходимо и для Земли, и для Марса и т.д. Физическая невозможность является отрицанием какого-либо следствия из физического закона. Отсюда ясно, что высказывание выражает физическую возможность, если оно не является эквивалентным отрицанию какого-либо закона науки. Физическая случайность имеет место, если физически возможно высказывание А и физически возможно высказывание не-А. Логическая необходимость. Логически необходимым является высказывание, истинное именно в силу своей логической формы. Это значит, что выражение является истинным не зависимо от значения входящих в него переменных. Например, высказывание «кошки едят мышей или кошки не едят мышей» является логически необходимым, так как при замене выражения «кошки едят мышей» на x получается выражение «х или не-х». При замене переменной х в этом выражении на любое предложение мы получим еще одно истинное предложение, так как это выражение является логическим законом (закон исключенного третьего). Логически невозможное высказывание представляет собой отрицание некоторого логически необходимого высказывания или эквивалентное таковому. Например, «латунь есть металл и неверно, что латунь есть металл». Такие предложения называют логически противоречивыми. Логически возможные высказывания – это такие высказывания, которые не противоречат закону логики, то есть не являются отрицанием какого-либо логически необходимого высказывания. Логически случайные высказывания – это высказывания, которые не являются логически необходимыми и не являются отрицаниями логически необходимых высказываний. Для всех видов логических модальностей также имеют место все приведенные эквивалентности и другие соотношения алетических модальностей. 2. Деонтические модальности. Это характеристики действий, поступков людей в обществе. К ним относятся виды: «обязательно», «разрешено», «запрещено», «безразлично». 3. Эпистемические модальности. Это характеристики наших знаний. Среди них выделяются виды: «доказано», «опровергнуто», «возможно», «не доказано и не опровергнуто». По другим основаниям выделяют следующие виды: «знает», «верит», «убежден», «сомневается». Характеристики некоторых приведенных видов модальностей различных типов могут быть уточнены путем указания взаимосвязи между ними.
|
