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