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

§16. (1) Модальные суждения

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

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

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

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

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

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

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

Аксиологические модальности (от греч. axios - ценный). Она объединяет суждения, в которых дается оценка тех или иных явлений: "хорошо", "безразлично", "плохо". Эту модальность иногда называют также ценностной. Высказывания вроде: "Хорошо, что университет находится в центре города", "Плохо, что цены возрастают" - относятся к этой разновидности. Само собой понятно, что в языковых выражениях в качестве операторов выступают и другие слова тоже: "полезно", "вредно", "радует", "огорчает", "мило", "отвратительно" и др. Может быть эта модальность выражена и в сравнительной форме. Тогда ее модальные операторы выглядят иначе: "лучше", "равноценно", "хуже". Учение о ценностях в философии называют аксиологией. Ее задача - вскрыть основные человеческие ценности, показать историю их возникновения, определить их возможности, перспективы и место в жизни общества.

Деонтическая модальность (от греч. deontos - нужное, должное). В ней охватываются высказывания, описывающие различного рода предписания (запреты) и, прежде всего, морально-правовые нормы, могут быть сюда отнесены медицинские, технические и прочие рекомендации, ограничения, запреты. Модальными операторами для это служат: "обязательно" ("подлежит исполнению"), "безразлично", "запрещено"; к этим трем обычно добавляют еще один дополнительный оператор - "разрешено". Существует раздел этики, называемый деонтологией, в котором рассматриваются проблемы долга и должного. Деонтологией называют также врачебную этику, предписывающую нормы поведения медицинского персонала и его взаимоотношения с пациентами.

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

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

Глава 4. Умозаключение

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