Реферат: Модальная логика
СОДЕРЖАНИЕ
Введение
1. О модальностисуждений
2. Эпистемическаямодальность
3. Деонтическаямодальность
4. Алетическаямодальность
Заключение
Использованные источники
Введение
Логика относится к числудревнейших наук, первые учения которой о формах и способах рассуждений возниклиеще в цивилизациях Древнего Востока. В западную культуру принципы и методылогики вошли главным образом благодаря усилиям античных греков. Развитаяполитическая жизнь в греческих государствах-полисах, борьба разных партий завлияние на массы свободных граждан, стремление решать возникавшие имущественныеи иные конфликты через суд – все это требовало умения убеждать людей, защищатьсвою позицию на различных народных форумах, в государственных учреждениях,судебных заседаниях и т.п.
В конце прошлого — началенынешнего века в логике произошла научная революция, в результате которой вкорне изменились стиль рассуждений, методы, и наука как бы обрела второедыхание. Теперь логика — одна из наиболее динамичных наук, образец строгости иточности даже для математических теорий.
Стихийно сложившиесянавыки логически совершенного мышления и научная теория такого мышления совсемразные вещи. Логическая теория своеобразна. Она высказывает об обычном — очеловеческом мышлении — то, что кажется на первый взгляд необычным и безнеобходимости усложненным. Отсюда сложность первого знакомства с логикой: напривычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем,что представлялось само собой разумеющимся.
Логика – наука омышлении. Но в отличие от других наук, изучающих мышление человека, напримерфизиологии высшей нервной деятельности или психологии, логика изучает мышлениекак средство познания; ее предметом являются законы и формы, приемы и операциимышления, с помощью которых человек познает окружающий его мир.
Логика, изучающаяпознающее мышление и применяемая как средство познания, возникла и развиваласькак философская наука и в настоящее время представляет собой сложную системузнаний, включающую две относительно самостоятельные науки: логику формальную илогику диалектическую. Таково общее понятие о логике как науке. Но чтобыраскрыть ее предмет, необходимо рассмотреть все вопросы, один из них модальностьсуждений.
О модальности суждений
В естественном языкесуждения могут характеризоваться не только как истинные или ложные, но и сдругих точек зрения. Такие характеристики содержат дополнительную информацию,которая выражает в одних случаях отношение говорящего к высказываемой мысли, вдругих – обоснованность знания, содержащегося в суждениях, в третьих –предписание, норму или правило, которое надлежит соблюдать. Подобныедополнительные характеристики выражают различные точки зрения на суждение взависимости от целей и задач, которые ставит перед собой человек. В процессеаргументации и практических рассуждениях мы интересуемся не только истиннойоценкой суждений, но дополнительно к этому стремимся узнать, насколькоубедительны, а значит, обоснованны доводы оппонента в споре, являются ли онилогически или фактически истинными и т.д. В этике и юриспруденции интересуютсятакже нормами поведения людей в обществе, выясняют, что запрещено и разрешеноэтими нормами. Суждение как форма мышления содержит двоякого рода информацию –основную и дополнительную. Основная информация находит явное выражение всубъекте и предикате суждения, в логической связке и кванторах. Дополнительнаяинформация относится к характеристике логического или фактического статусасуждения, к оценочным и другим его характеристикам. Такая информация называетсямодальностью суждения. Она может быть выражена отдельными словами, а может и неиметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность – это явноили неявно выраженная в суждении дополнительная информация о степени егообоснованности, логическом или фактическом статусе, о регулятивных, оценочных идругих его характеристиках.
Модальные характеристикисуждений обычно выражают парными категориями:
· необходимость –случайность,
· обязанность — запрещение,
· доказано –опровергнуто и т.п.
Далее следует рассмотретьважные для правового мышления эпистемическую, деонтическую и алетическуюмодальности суждений.
Эпистемическаямодальность
Эпистемическаямодальность- термин происходит от греческого слова «эпистема», означавшего вантичной философии высший тип несомненного, достоверного знания, это выраженнаяв суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные)модальности, относятся к характеристике знания и выражаются в терминах:«доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п. Входе спора или дискуссии мы можем оценивать, доводы оппонента как убедительныеили сомнительные или даже определить степень их вероятности. Подобные модальныепонятия дают дополнительную информацию о характере знания, содержащегося всуждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективныхи субъективных, внутренних и внешних факторов. Важнейшими среди них являютсялогические и внелогические факторы, предопределяющие два эпистемических типасуждений, различающихся основаниями их понятия.
· Первый тип – этооснованные на мнениях суждения, выражающие веру.
По эпистемическомустатусу вера – это стихийное, некритическое принятие чужих мнений, истинных илиложных, прогрессивных или реакционных.
· Второй тип –логически обоснованные суждения, выражающие знание.
Знание, факторлогического воздействия – это принятие суждения как истинного или ложного всилу его обоснованности другими суждениями, из которых принимаемое суждениелогически вытекает как следствие, где К – модальный оператор, означающий«знание».
По степени обоснованностисреди знаний различают два непересекающихся класса суждений: достоверные ипроблематичные.
1. Достоверныесуждения – это достаточно обоснованные истинные или ложные суждения.Модальность можно выразить с помощью двух операторов:
· Доказанности(верифицированности) – V.
· Опровергнутости(фальсифицированности) – F.
2. Проблематичныесуждения – это суждения, которые нельзя считать достоверными в силу ихнедостаточной обоснованности. Точно не установить истинность или ложность такихсуждений, то они лишь могут быть таковыми. Их и называют: проблематичные,правдоподобные, вероятные.
Обоснованность суждения,выражаемая в соответствующей мотивировке, должна быть ведущим фактором,определяющим формирование субъективной уверенности, без которой также не бываетраскрытия истины.
Деонтическая модальность
Деонтическая модальность– термин заимствован из греческого языка и означает «обязанность», этовыраженная в суждении просьба, совет, приказ или предписание, побуждающеекого-либо к конкретным действиям.
Деонтические (нормативные)модальности указывают на тип предписываемых в суждении действий и выражаются втерминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Среди предписаний следуетвыделить нормативные предписания, включающие и нормы права.
Норма права – этоофициально принятые уполномоченным органом общеобязательные правила поведения,регулирующие правовые отношения в социальной среде, неисполнение которых влечетприменение юридических санкций.
Явно или неявновыраженные в правовой норме компоненты:
· авторитет – орган, установившийнорму;
· адресат – лица, которым надлежитисполнять предписание;
· диспозиция – подлежащее исполнениюдействие;
· деонтическая характеристика нормы –определенный тип предписания;
· санкция – юридические последствиянеисполнения предписания.
Наибольший интерес для модальногоанализа деонтическая характеристика нормы как регулятора правоотношений. Вправовом отношении праву всегда соответствует обязанность, и наоборот, всякойобязанности соответствует определенное право. Право и обязанности какфундаментальные характеристики правоотношения выражают с помощью деонтическихоператоров:
· O – обязывание;
· F – запрещение;
· P – разрешение.
В соответствии сдеонтическими операторами среди норм права различают:
1. правообязывающие– нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.
2. правозапрещающее– нормы формируются с помощью слов: запрещается, не вправе, не может, недопускается и других.
3. правопредоставляющие– нормы формируют с помощью слов: имеет право, может быть, может применять идругих.
Рационально построеннаянормативно – правовая система должна удовлетворять минимальным модальнымдеонтическим требованиям:
1. непротиворечивость– проявляется в том, что система права исключает деонтически несовместимыенормы.
2. сбалансированность– проявляется в том, что в правовой системе для всякой правопредоставляющейнормы предусмотрена соответствующая ей правообязывающая норма.
3. полнота –означает, что в системе регулируются все предусмотренные в данной предметнойобласти действия и в ней нет нерегулируемых действий.
Алетическая модальность
Алетическая модальность –термин греческого происхождения, означает «истинный», это выраженная в суждениив терминах необходимости-случайности либо возможности-невозможности информацияо логической или фактической детерминированности (обусловленности) суждения.
Существует два способаобусловленности, или детерминированности суждений предопределяющихсоответствующие типы модальностей:
1. Логическаямодальность – это логическая детерминироанность суждения, истинность илиложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающиезаконы логики.
К логически ложным (L-л) – внутренне противоречивыесуждения.
Логически истинныесуждения вместе с логически ложными (L-и L-л) образуют класс логическидетерминированных суждений. Все остальные суждения, истинность или ложностькоторых не может быть определена исходя из их структуры, составляют классфактически детерминированных суждений: F-и F-л.
2. Фактическаямодальность связана с объективной, или физической детерминированностьюсуждений, когда их истинность и ложность определяются положением дел в реальнойдействительности.
К фактически истинным (F-и) относятся суждения, в которыхсвязь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которыхсвязь между терминами не соответствует действительности.
Объективная устойчивостьи интенсивность реальных связей между предметами находит свое выражение вфактической модальности суждений с помощью алетических модальных понятийнеобходимости и случайности.
Необходимость-случайность.Фактически необходимыми являются суждения, в которых содержится информация озаконах науки.
Суждения необходимостимогут быть истинными, но они могут быть и ложными. Они составляют классфактически необходимых суждений. Все остальные фактические суждения относятся кслучайным.
Фактически случайные –это суждения, которые не содержат информации о законах науки, а их истинность иложность определяются конкретными эмпирическими условиями.
Модальные понятия«необходимость» и «случайность» могут быть эквивалентно выражены другой пароймодальных понятий – возможность и невозможность.
Возможность-невозможность.Фактически возможными являются суждения, содержащие информацию о принципиальнойсовместимости выраженных в субъекте и предикате явлений.
Дополнением к классуфактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможнымиявляются суждения, содержащие информацию о принципиальной несовместимостивыраженных в субъекте и предикате явлений.
Вывод
Все перечисленныемодальные понятия дают возможность точнее и полнее выразить различныеконтекстуальные характеристики суждений, зависящие от разного подхода к ним, ихроли в познании и практическом действии. Посредством использования символов иформальных методов современной неклассической логики расплывчатые инеопределенные модальные термины естественного языка приобретают необходимуюясность, однозначность и точность.
Использованные источники
1. ЛогикаВ.И.Кириллов, А.А. Старченко, 1998
2. Логика иАргументация, Г.И. Рузавин, 1997
3. Логика, А.А. Ивин, 2000