Логика и лингвистика 7 страница

5.2. ОГРАНИЧЕНИЕ ПОНЯТИЙ. Ограничение понятий представляет собой операцию, противоположную операции обобщения. Ограничить понятие - значит перейти от понятия с большим объемом, но меньшим содержанием к понятию с меньшим объемом, но большим содержанием, иначе говоря, чтобы ограничить понятие, нужно перейти от рода к виду: увеличить его содержание путем прибавления видовых признаков. Ограничивая понятие "студент", мы можем перейти к понятию "студент гумфака НГУ". Пределом ограничения являются единичные понятия. Например, "студент гумфака НГУ Муравьев".

5.3. ОПРЕДЕЛЕНИЕ ПОНЯТИЙ. Древнегреческому философу Платону приписывают высказывание о том, что "должен быть почитаем, как бог, тот, кто хорошо может определять и делить". Определение позволяет раскрыть содержание понятий, которые употребляются в рассуждениях. Содержание понятия представляет собой, как известно, совокупность существенных признаков предмета, поэтому раскрыть содержание какого-либо понятия - значит указать его существенные признаки. Поэтому логическая операция, раскрывающая содержание понятия, называется определением, или дефиницией. Понятие, содержание которого требуется раскрыть, называется определяемым (дефиниендум - лат. definiendum - 'определяемое', Dfd); понятие, раскрывающее содержание определяемого понятия, - определяющим (дефиниенс - лат. definience -'определяющее', Dfn).

5.3.1. ВИДЫ ОПРЕДЕЛЕНИЙ (ОБЩАЯ КЛАССИФИКАЦИЯ). Различают номинальные и реальные определения.

5.3.1.1. НОМИНАЛЬНЫЕ ОПРЕДЕЛЕНИЯ. Номинальным называется определение, посредством которого взамен описания какого-либо предмета вводится новый термин, или имя (лат. nomen), объясняется значение термина, его происхождение. Например, "положительная элементарная частица, имеющая массу электрона, называется позитрон". Многие номинальные определения строятся без указания на существенные признаки предмета и, следовательно, не раскрывают содержания понятия, поэтому, строго говоря, номинальные определения определениями не являются.

5.3.1.2. РЕАЛЬНЫЕ ОПРЕДЕЛЕНИЯ. Реальным называется определение, раскрывающее существенные признаки самого предмета. Это определение через род и видовое отличие: "стул - это предмет мебели для сидения на четырех ножках, со спинкой, без подлокотников". Как видно, номинальные и реальные определения различаются по своим задачам: объяснить значение термина и раскрыть существенные признаки предмета.

5.3.2. ЯВНЫЕ ОПРЕДЕЛЕНИЯ содержат прямое указание на присущие предмету существенные признаки. Они состоят из двух четко выраженных понятий - определяемого и определяющего. Основным видом явного определения является определение через род и видовое отличие: "лексикология - раздел языкознания, изучающий словарный состав языка". Генетическим называется определение, указывающее на происхождение предмета, на способ его образования: "галлицизмы - слова и выражения французского происхождения".

5.3.2.1. ПРАВИЛА ЯВНОГО ОПРЕДЕЛЕНИЯ И ВОЗМОЖНЫЕ ОШИБКИ, ВОЗНИКАЮЩИЕ В РЕЗУЛЬТАТЕ НАРУШЕНИЙ ЭТИХ ПРАВИЛ.

Определение должно быть соразмерным: Dfd = Dfn. Ошибочны слишком широкое определение: "студент есть учащийся"; слишком узкое определение: "студент - учащийся НГУ"; в одном отношении слишком широкое, в другом отношении слишком узкое определение: "студент есть учащийся 491 группы НГУ".

Ошибочным является и перекрещивающееся определение, при котором объемы определяемого и определяющего частично пересекаются: "Философия - это все, о чем писал Б. Спиноза". Примером "определения как попало" может служить анекдотичная история с естествоиспытателем Ж. Кювье (1769 - 1832 гг.). Составители энциклопедического словаря показали Кювье определение понятия "рак" и попросили его оценить: "Рак - небольшая красная рыба, которая ходит задом наперед". "Великолепно, - сказал Кювье. - Однако разрешите мне сделать небольшое замечание. Дело в том, что рак не рыба, он не красный и не ходит задом наперед. За исключением всего этого, ваше определение превосходно".

Определение не должно содержать в себе круга, т. е. нельзя определять понятие через само себя или другое понятие, которое непосредственно или опосредованно определяется через первое: "Идеалист - человек идеалистических убеждений"; "Явное - окно в неявное" (Анаксагор); "Я - это я и моя судьба" (Х. Ортега-и-Гассет). В определении не должно быть тавтологии.

Определение должно быть ясным. Несоблюдение этого правила ведет к логической ошибке - определение неизвестного через неизвестное ("компендиум - это эпитома, или синопсис", речь идет о конспекте, кратком изложении). К неясным определениям (если их понимать именно как определения!) относятся и многочисленные определения с парафразами, метафорами и прочими семантическими фигурами: "Архитектура - это застывшая музыка" (И.В. Гете); "Человек - всего лишь тростник, слабейший из творений природы, но он тростник мыслящий" (Б. Паскаль); "Мальчик - это много шума и крика в оболочке грязи" (А. Кларк); "Язык - ахиллесова пята женщины" (Л. Леонидов); "Язык - зеркало мыслей народов" (Х. Сехадор); "Начальник - тот, кто следит за часами во время перерыва на кофе" (Х. Тревис). Кроме сравнения, с определениями не следует смешивать приемы описания и характеристики. Задача описания заключается в том, чтобы более точно и полно указать признаки предмета, явления, события, лица, причем перечисляются не только существенные, но и несущественные признаки ("Как упоителен, как роскошен летний день в Малороссии!.." (Н. Гоголь)). При характеристике перечисляются отличительные характерные признаки предмета, явления, лица ("Аристотель - величайший мыслитель древности").

Определение положительных понятий не должно быть отрицательным: "высокий" не означает "ненизкий".

5.3.3. НЕЯВНЫЕ ОПРЕДЕЛЕНИЯ. Не все понятия можно определить явно. Не могут быть определены через ближайший род, видовое отличие, происхождение предельно широкие понятия - категории. В этих случаях прибегают к неявным определениям, а также к приемам, заменяющим определение - описаниям (наиболее точным и полным указаниям признаков предмета), характеристикам (указаниям отличительных признаков единичного предмета), сравнениям, различениям, остенсивным определениям (демонстрациям). К неявным определениям относится определение через указание на отношение предмета к своей противоположности - этот прием широко используется при определении философских категорий: "свобода есть осознанная необходимость", "возможность - потенциальная действительность", "действительность - реализованная возможность" и т. п.

5.4. ДЕЛЕНИЕ ПОНЯТИЙ. Деление понятий - это операция разбиения объема понятия на взаимно не пересекающиеся и непустые подклассы, объединение которых составляет исходное множество. В операции деления следует различать делимое понятие, т. е. понятие, объем которого требуется раскрыть, члены деления - соподчиненные виды, на которые делится понятие, и основание деления - признак, по которому производится деление. Различают правильное и неправильное деление.

Деление является правильным, если оно удовлетворяет следующим пяти условиям, называемым в теории понятия правилами деления.

5.4.1. ПРАВИЛА ДЕЛЕНИЯ И ОШИБКИ, ВОЗНИКАЮЩИЕ ПРИ НАРУШЕНИИ ЭТИХ ПРАВИЛ.

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

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

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

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

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

5.4.2. ДЕЛЕНИЕ И РАСЧЛЕНЕНИЕ. Деление понятий не нужно смешивать с мысленным расчленением целого на части. Если члены деления представляют собой самостоятельные виды, то при расчленении выделяются отдельные части предмета, из которых он состоит. Например, автомобиль состоит из колес, руля, кузова и т. д.

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

5.4.3. КЛАССИФИЦИРОВАНИЕ И ТАКСОНОМИЯ. Классифицирование есть не что иное, как отдельное деление, либо совокупность делений (деление объема некоторого исходного понятия, затем полученных при этом членов и т. д.). Не существует, однако, общепринятой характеристики классифицирования как особого вида деления. Различие между тем, что мы называем просто делением, и теми делениями, которые называют классификационными, состоит, по мнению ряда ученых, в том, что в первом случае операция деления применяется в связи с решением той или иной частной задачи исследования, поэтому результаты такого деления не фиксируются и не сохраняются специально в фонде человеческих знаний. Результаты подобного рода делений называют рабочими делениями, а под классификациями понимают обычно результаты делений, постоянно используемые в науке и имеющие непреходящий характер.

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

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

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

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

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

6. СУЖДЕНИЕ

Речь, пекущаяся об истине, должна быть
простой и безыскусственной.
Сенека

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

6.1. СУЖДЕНИЕ КАК ЛОГИЧЕСКАЯ ФОРМА ОТРАЖЕНИЯ ДЕЙСТВИТЕЛЬНОСТИ. Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает свойством выражать либо истину, либо ложь.

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

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

6.2. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ. Языковой формой выражения суждения является повествовательное предложение или риторический вопрос, в которых содержится сообщение о чем-либо. Собственно вопросительное предложение не содержит суждения, так как его назначение состоит не в передаче информации, а в побуждении к ее получению. Побудительное предложение, выражающее волеизъявление, направленное на осуществление определенных действий, также не выражает суждения; как и вопросительное предложение, не утверждая и не отрицая чего-либо о чем-либо, оно не может рассматриваться как истинное или ложное. Разумеется, вопрос и побуждение опираются на определенные знания, которые могут быть выражены в суждениях. Например, вопрос Кто сегодня дежурный? опирается на суждение "Кого-то должны были назначить дежурным".

Суждение и предложение различаются по своему составу. В распространенном предложении кроме главных членов - подлежащего и сказуемого - имеются второстепенные члены (определение, дополнение, обстоятельство). Например, в суждениях "Все IBM PC базируются на шинной архитектуре фирмы Intel" и "Системная шина - набор параллельных линий (проводников), которые соединяют центральный процессор с основной памятью"* субъектами являются понятия "все IBM PC" и "системная шина"; понятия "базируются на шинной архитектуре фирмы Intel" и "набор параллельных проводников, которые соединяют центральный процессор с основной памятью" - предикаты, отражающие то, что утверждается о предметах суждений. Связки в данных примерах грамматически не выражены. Грамматический анализ данных предложений показывает, что одно из них простое распространенное двусоставное, в котором субъект и предикат выражаются "группой подлежащего" и "группой сказуемого", включающих в свой состав, кроме главных, ряд второстепенных членов; другое - сложноподчиненное с определительным придаточным. Главные члены предложения обычно совпадают с субъектом и предикатом суждения только в простом нераспространенном двусоставном предложении, например: Халатность (S) - преступление (P). В большинстве случаев такого совпадения нет.

Мы видим, что существует взаимосвязь суждений и предложений, они неразрывно связаны между собой: а) без предложения суждение так и останется неоформленным; б) без суждения повествовательное предложение или риторический вопрос будут просто бессодержательными, бессмысленными. Различие между суждением и предложением состоит в том, что 1) суждение есть идеальное - мысль, а предложение (высказывание, фраза) есть материальное - речевая единица; 2) суждение есть содержание предложения, а предложение есть форма суждения; 3) при одинаковой логической структуре суждений грамматический строй предложений в разных языках различен; 4) одно и то же суждение в одном и том же языке может быть выражено различными предложениями, а одно и то же предложение, в зависимости от логического ударения, может обозначать различные суждения; 5) суждение выражается не всяким, а только повествовательным предложением или риторическим вопросом, т. е. всякое суждение выражается предложением, но не всякое предложение обозначает суждение.

6.3. ПРОСТЫЕ СУЖДЕНИЯ И ИХ СТРУКТУРА. Суждения делятся на простые и сложные. Простым называется суждение, выражающее связь двух понятий (S - P). Суждение, состоящее из нескольких простых суждений, называется сложным.

Рассмотрим простые суждения.

В зависимости от того, что утверждается или отрицается в суждениях - принадлежность признака предмету, отношения между предметами или факт существования предмета, они делятся на (1) атрибутивные (категорические), (2) суждения с отношениями и (3) суждения существования (экзистенциальные).

6.3.1. АТРИБУТИВНЫМ (лат. attributo - 'свойство, признак') называется суждение о признаке предмета. Эти же суждения называют категорическими (греч. kategiricos - 'ясный, безусловный, не допускающий иных толкований'). Например, "Иногородний студент имеет право на проживание в общежитии в течение учебного года".

6.3.1.1. КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ И ИХ ВИДЫ (A, E, I, O). Классификации категорических суждений: по качеству связки суждения делятся на утвердительные ("S есть Р") и отрицательные ("S не есть Р"); по количеству (объему) субъекта суждения делятся на единичные ("Это S есть Р"), частные ("Некоторые S есть Р"; причем различают неопределенные "Некоторые S есть Р" и определенные "Только некоторые S есть Р") и общие "Все S есть Р".

Объединенная классификация простых категорических суждений по количеству и качеству связки (см. также 3.7.4):

- общеутвердительные (А):

Все S есть Р.

Все филологи 491 группы являются студентами НГУ;

- общеотрицательные (Е):

Ни одно S не есть Р.

Ни один студент НГУ не является шестидесятилетним мужчиной;

- частноутвердительные (I):

Некоторые S есть Р.

Некоторые студенты 491 группы являются отличниками;

- частноотрицательные (О):

Некоторые S не есть Р.

Некоторые студенты не являются отличниками.

6.3.2. СУЖДЕНИЕМ С ОТНОШЕНИЕМ называется суждение, отражающее отношение между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и др. Например, "А равно В", "С больше D", "Новосибирск восточнее Москвы", "Иван - брат Петра", "Мораль возникла раньше права", "Лень - причина моих бедствий". Данные суждения записывают xRy, где х и у - члены отношения, а R - отношение между ними (от начальной буквы в лат. relativus - 'относительный'). Иногда суждения с отношением рассматривают как вид атрибутивных суждений.

6.3.3. В СУЖДЕНИЯХ СУЩЕСТВОВАНИЯ (экзистенциальных суждениях, от лат. existentia - 'существование') отражается сам факт существования или несуществования предмета суждения. Например, "НГУ существует", "Студента без зачетной книжки не существует". Предикатами этих суждений являются понятия о существовании или несуществовании предмета; связка, как правило, в языке не выражается, но может быть восстановлена при преобразовании: "НГУ (S) есть [связка] то, что существует (P)"; "Студент (S) не есть [связка] то, что существует без зачетной книжки (Р)".

6.4. ВИДЫ СЛОЖНЫХ СУЖДЕНИЙ. Сложные суждения образуются из двух или нескольких простых суждений с помощью логических связок конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.

Конъюнктивные (соединительные) сложные суждения:

Петров является студентом и спортсменом.

Дизъюнкивные (разделительные) сложные суждения:

Петров является студентом или спортсменом.

Импликативные (условные) сложные суждения:

Если идет дождь, то асфальт мокрый.

Эквивалентные сложные суждения:

Если и только если участок суши окружен со всех сторон водой, то он является островом.

Отрицающие сложные суждения:

Петров не является ни студентом, ни спортсменом.

Таким образом:

1) конъюнкция истинна тогда, когда истинны оба простых суждения;

2) нестрогая дизъюнкция истинна тогда, когда хотя бы одно простое суждение истинно; строгая дизъюнкция истинна тогда, когда только одно простое суждение истинно;

3) импликация истинна во всех случаях, кроме одного: когда а истинно, а b ложно;

4) эквиваленция истинна тогда, когда оба суждения истинны или оба ложны.

6.5. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ И ЛОГИЧЕСКИЙ КВАДРАТ. Отношения между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата.

Вершины квадрата символизируют простые категорические суждения A, E, I, O; стороны и диагонали - логические отношения между суждениями. Верхняя сторона есть отношение между А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I - противоречие (контрадикторность).

Отношение логической совместимости по истинности имеет место между суждениями А и В, если и только если они могут быть одновременно ложными.

Отношение контрадикторности возникает между суждениями А - О, Е - I. Эти суждения не могут быть одновременно ни истинными, ни ложными. Из истинности одного суждения следует ложность другого суждения, из ложности одного - истинность другого.

Отношение контрарности возникает между суждениями А - Е. Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения.

Суждения I - О входят в отношения субконтрарности. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными.

Между суждениями А - I и Е - О возникают отношения подчинения. Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть и ложным. Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот.

6.6. МОДАЛЬНОСТЬ СУЖДЕНИЙ (МОДАЛЬНОСТЬ В ЛОГИКЕ). Суждение как форма мышления содержит двоякую информацию - основную и дополнительную. Основной является информация о предметах и их признаках, о наличии или отсутствии связи между ними, об их количественной характеристике. Эта информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Суждения, содержащие только основную информацию, называются ассерторическими. В них речь идет только о наличии или отсутствии чего-либо, то есть фиксируется лишь фактическое положение дел. Примером ассерторического суждения может быть определение понятия логики: "логика есть наука о формах и законах мышления".

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

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

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

6.6.1. АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ - это выражаемая в терминах необходимости или возможности информация о логической зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. Данная модальность выражается в терминах "возможно", "случайно", "необходимо", "может быть", "не исключается", "допускается" и др. и делится на логическую и фактическую. Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно. Логически возможно то, что не противоречит законам логики. Естественно утверждать, что не все, что логически возможно, возможно и фактически. Мы знаем, что жизнь на Луне невозможна (фактически), но утверждение "На Луне есть жизнь" не противоречит законам логики, следовательно, логически возможно, что на Луне есть жизнь. Фактически возможно то, что не противоречит естественным и социальным законам. Логически необходимо то, что является законом логики. Фактически необходимы законы природы и общественной жизни и логические следствия из них.

6.6.2. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ. Этот тип модальности - выраженная в суждении информация о характере принятия и степени обоснованности знания. Это характеристики наших знаний. Данная модальность выражается в терминах "доказано", "опровергнуто", "не доказано и не опровергнуто", "знает", "верит", "убежден", "сомневается". Название эпистемической модальности происходит от греческого "эпистема", означавшего в античной философии высший тип несомненного, достоверного знания. Мы можем принимать знания некритически, на основе веры ("Верю, что бывают синие коты" или "Отвергаю то, что марсиане прилетали на Землю"), или принимать их только на основе знания ("Доказано, что все люди смертны" и "Доказано, что все люди не являются смертными").