Модальные суждения.
Изучение модальных суждений имеет длительную и многогранную историю. Мы отметим лишь некоторые из ее аспектов. Модальности в логику были введены Аристотелем. Термин “возможность”, по Аристотелю, имеет различный смысл. Возможным он называет и то, что необходимо, и то, что не необходимо, и то, что возможно. Исходя из понимания модальности “возможность”, Аристотель писал о неприменимости закона исключенного третьего к будущим единичным событиям.
Значительное внимание разработке модальных категорий уделяли философы в Древней Греции и особенно Диодор Крон, рассматривавший модальности в связи с введенной им временной переменной. Возникновение модальной логики как системы датируется 1918г., когда американский логик и философ Кларенс Ирвинг Льюис (1883-1964) в работе “A Survey of Symbolic Logic” сформулировал модальное исчисление, названное им впоследствии S3.
В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит двоякого рода информацию - основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность - это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
В модальных суждениях раскрывается характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном модальном суждении. Например: “Необходимо, что металлы - проводники электрического тока” или “Если будет дуть попутный ветер, то, возможно, мы приплывем в гавань до наступления темноты”.
Модальными являются суждения, которые включают модальные операторы (модальные понятия), т. е. слова “необходимо”, “возможно”, “невозможно”, “случайно”, “запрещено”, “хорошо” и многие другие.
Перечень зависимостей между модальными суждениями:
— истинность суждения необходимости гарантирует истинность суждений действительности и возможности;
— ложность суждения необходимости влечет неопределенность суждений действительности и возможности;
— истинность суждения действительности гарантирует истинность суждения возможности, но влечет неопределенность суждения необходимости;
— ложность суждения действительности гарантирует ложность суждения необходимости и неопределенность суждения возможности:
— истинность суждения возможности влечет неопределенность суждений действительности и необходимости;
— ложность суждения возможности гарантирует ложность суждений действительности и необходимости.
Виды модальных суждений:
1. Эпистемическая модальность - термин происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемическая - несомненная модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Знания такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.
Эпистемические модальности относятся к характеристике знания и выражаются в терминах: «доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п.
2. Деонтическая модальность - термин заимствован из греческого языка и означает «обязанность», это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтическая - обязательная модальность суждений. Этот вид модальности является выражением в суждении побуждения людей конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие - "имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов: O - обязывание; F - запрещение; P - разрешение.
3. Алетическая модальность - термин греческого происхождения, означает «истинный», это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической обусловленности суждения.
Алетическая - истинная модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять логическую обусловленность или детерминированность.
Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:
1. Логическая модальность - это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики.
К логически ложным (L-л) - внутренне противоречивые суждения.
2. Фактическая модальность связана с объективной , или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Заключение.
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
В настоящей работе достигнуты цели и поставленные задачи, раскрыто понятие суждения, дано понятие модальности суждений и рассмотрены его виды.
Использованная литература.
1. Бочаров В.А., Маркин В.И. Основы логики; Учеб. - М.:ИНФРА-М, 2002. - 296 с.
2. Ивлев Ю.В. Логика: Учеб. - М.: Логос, 2001.
3. Ивлев Ю.В. Логика для юристов: Учеб. - М.: Дело, 2001.
4. Кириллов В.И., Старченко А.А. Логика. - М.: Юристъ, 2007.