Введение
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Развитая политическая жизнь в греческих государствах-полисах, борьба разных партий за влияние на массы свободных граждан, стремление решать возникавшие имущественные и иные конфликты через суд все это требовало умения убеждать людей, защищать свою позицию на различных народных форумах, в государственных учреждениях, судебных заседаниях и т.п.
В конце прошлого - начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы, и наука как бы обрела второе дыхание. Теперь логика - одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Стихийно сложившиеся навыки логически совершенного мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном - о человеческом мышлении - то, что кажется на первый взгляд необычным и без необходимости усложненным. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся.
Логика наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую. Таково общее понятие о логике как науке. Но чтобы раскрыть ее предмет, необходимо рассмотреть все вопросы, один из них модальность суждений.
О модальности суждений.
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других обоснованность знания, содержащегося в суждениях, в третьих предписание, норму или правило, которое надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит двоякого рода информацию основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
Модальные характеристики суждений обычно выражают парными категориями:
Далее следует рассмотреть важные для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Эпистемическая модальность
Эпистемическая модальность- термин происходит от греческого слова эпистема, означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: доказуемо, опровержимо, неразрешимо, вероятно, сомнительно и т.п. В ходе спора или дискуссии мы можем оценивать, доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их понятия.
По эпистемическому статусу вера это стихийное, некритическое принятие чужих мнений, истинных или ложны
www.studsell.com
СОДЕРЖАНИЕ
Введение
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
www.ronl.ru
1. Сущность модальной логики
Традиционная или классическая логика, которую мы до сих пор рассматривали, является самой простой и наиболее употребительной логической системой. Она исходит из того, что атомарные (простые) суждения и понятия, из которых строятся рассуждения и которые уже не анализируются, либо истины, либо ложны, но ни то ни другое вместе. Однако многие понятия и суждения повседневных и научных рассуждений не так хорошо укладываются в категории истинных и ложных. Истинностное значение суждения «Вероятно, завтра будет дождь» весьма и весьма не определено. Некоторые логики, начиная с Аристотеля, стали учитывать различие между истинами, являющимися таковыми, так сказать, в силу необходимости, и истинами случайными. Так возникли модальная логика и вероятностная логика.
В отличие от классической логики, приписывающей суждениями и понятием два истинностных значения: истина и ложь, модальная логика оперирует такими истинностными значениями, как «возможно», «необходимо», «невозможно», и т.д. Первую попытку построить модальную логику предпринял Аристотель в своем сочинении «Первая и вторая аналитики» (ей посвящены главы третья и восьмая – двадцать вторая «первой аналитики»). Однако, как подметил Я. Лукосевич (1878–1956), аристотелевское изложение модальной логики не было свободно от недостатков. Ученик Аристотеля Теофраст (370–288 до н. э.) уточнил учение Аристотеля о модальности суждений. Средневековые схоласты развили аристотелевскую модальную силлогистику. Современные исследования в области модальной логики характеризуются стремление построить аксиоматические системы модальной логики. Наиболее известные из них это системы Льюиса, Аккермана и Лукасевича.
Модальная и вероятностная логики – довольно специфические ветви логики. Знакомство с их основами необходимо для понимания методологии научного исследования.
2. Модальность суждений
Под модальностью суждений понимается различия между суждением в зависимости от того, выражают ли они необходимую или вероятностную (случайную) связь между субъектом и предикатом. По модальности суждения делят на три группы: суждения возможности (проблематические), суждения действительности(ассерторические) и суждения необходимости(аподиктические). В суждении возможности отображается возможность наличия или отсутствия признаков у предмета, о котором говорится в данном суждении. Его формула «S возможно есть (не есть) Р». Таким будет, например, суждение «Возможно в Киеве в апреле этого года будет снег». В суждении действительности констатируется наличие или отсутствие у предмета того или иного признака. Его формулы «S есть (не есть) Р». Суждение «Киев стоит на Днепре» – это суждение действительности. В суждении необходимости отображается такой признак, который имеется (отсутствует) у предмета при всех условиях. Его формула «S необходимо есть (не есть) Р». примером суждения необходимости может быть следующее суждение: «Тело, лишенное опоры, падает на Землю».
Суждения возможности, действительности и необходимости делятся по качеству на утвердительные и отрицательные, а также по количеству на частные и общие.
Содержательная типология модальностей строится в зависимости от того, какими факторами обуславливается модальность (термин «модальность» означает обусловленный чем-либо).
В модальной логики различают логические и физические модальности. Логические модальности – это законы логики и математики. В число физических или каузальных (причинных) модальностей входят все законы экспериментальных наук. Так, суждение «Не верно, что Р и не‑Р», «2+2=4» и т.п. выражают логические модальности, а суждения «PV=RT», «U=IR» и т.п. – физические.
Различают также абсолютные и относительные модальности. К абсолютным модальностям относят законы логики, математики, других наук необходимые сами по себе, независимые от чего бы то ни было. Это скажем, суждения «А=А», «2+3=5», «S=Vt» и т.д. Относительные модальности являются таковыми, необходимо или не необходимо зависимы от чего-либо.
Такими модальностями будут, например, суждения: «Прямоугольник является квадратом, если его стороны равны», «Вода кипит при 1000 С при атмосферном давлении 760 мм ртутного столба» и т.п.
Логические и физические модальности, независимо от того абсолютны они или относительны, объединяются в алетевтические модальности.
Модальности, характеризующие допустимые (или недопустимые) поступки людей, называются деонтологическими. Они выражаются в суждениях, в которых употребляются такие слова (модальные операторы), как «обязательно», «разрешено», «запрещено», «имеют право» и др. Примерами таких модальностей будут суждения: «На Украине пропаганда войны запрещена», «Граждане Украины имеют право исповедовать любую религию или никакую, быть атеистами» и т.п. Деонтологические модальности являются предметом изучения таких наук как этика, юриспруденция.
Модальности, характеризующие доказательность каких-либо суждений, называются эпистемологическими. В суждениях эпистемологической модальности употребляются такие слова (модальные операторы), как «доказуемо», «опровержимо». Примерами таких модальностей могут быть суждения: «Доказуемо, что на Марсе есть жизнь», «Опровержимо, что свет имеет волновую природу» и т.д.
Эпистемологические модальности по своим свойствам близки к алетевтическим модальностям, при чем оператору «доказуемо», соответствует оператор «необходимо», оператору «опровержимо» – оператор «невозможно».
Наконец, иногда различают модальность de dicto («о речи») относящиеся к суждению в целом и de re («о вещи»), которые относятся к предикату. Так, суждение «Возможно, что на Марсе есть жизнь» будет суждением de dicto, а суждение «На Марсе возможна жизнь» – de re. Однако в большинстве современных системах модальной логики модальности интерпретируются как «абсолютные» логические модальности de dicto.
3. Модальная силогистика
Модальная силлогистика Аристотеля является крайне сложной логической системой как по своему содержанию, так и по числу модусов (их по меньшей мере 137) Аристотель последовательно рассматривает силлогизмы, в которых одна из посылок является проблематической (символически обозначается Рr) или аподиктической (АР), или ассерторической (Аs). Возможное в сочетании этих посылок: 1) Ар Ар; 2) Ар Аs; 3) Аs Ар; 4) Рr Рr; 5) Рr Аs; 6) Аs Рr; 7) Рr Ар; 8) Ар Рr. Это следует читать так: «1) большая посылка аподиктическая, меньшая – аподиктическая; 2) большая посылка аподиктическая, меньшая – ассерторическая и т.д.». В каждом из этих случаев он строит модусы, подбирая в качестве посылок общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения. Руководствуясь аналогией с расположением терминов в посылках І, ІІ, ІІІ фигур категорического силлогизма, он решает задачу, какой вывод вытекает из данного сочетания посылок.
Так, подбирая посылки по аналогии с расположением посылок в 1 модусе 1 фигуры АМРÙASM→АSP мы получаем задачу: если всякому у необходимо присуще х и всякому z необходимо присуще у, то? в этом случае мы не вправе заменить вопросительный знак общеутвердительным аподиктическим суждением. Мы должны довольствоваться ассерторическим суждением: всякому z присуще х. Еще например, подбирая в четвертой группе (Рr Рr) посылки согласно модусу АМРÙYSM→YSP ІІІ фигуры получаем: если всякому у может быть присуще х и некоторым у может присуще z, то? Ответом будет вывод некоторым z может быть присуще х.
В ряде случаев трудно бывает сразу интуитивно решить, какой должен быть вывод при данном подборе посылок, являющимися модальными высказываниями и требуется тщательное изучение этих случаев.
В формализованных аксиоматических системах модальной логики эти вопросы решаются с помощью простой процедуры следования (правда, для введения этой процедуры требуется очень сложный символический язык, который вряд ли смогут понять нематематики).
Имеют место следующие содержательные правила для умозаключений модальности. В каждом истинном модус можно заключать:
1) от необходимости к действительности;
2) от невозможного к недействительному;
3) от необходимого и действительного к возможному;
4) от невозможного и недействительного к не необходимому.
Нельзя заключать:
1) от возможного к действительному;
2) от действительного к необходимому;
3) от не необходимости к недействительности;
4) от недействительности к невозможности.
4. Вероятностная логика
В вероятностной логике исследуются рассуждения с суждениями вероятности. В этих суждениях что-то утверждается или отрицается с известной степенью правдоподобия. При определении вероятностей применяются правила математического исчисления вероятностей. Это делается тремя основными путями.
Индуктивное или классическое определение вероятностей было развито Л. Ферма, Я. Бернули (1654–1705), П. Лапласом (1749–1827) и др. Оно основано на анализе равновероятных исходов мыслимого эксперимента. Если все исходы этого мыслимого эксперимента составляют n, а, m – число тех наступления события А в этом эксперименте, вероятность которого хотят найти, то
Р (А)=
Например, исходя из симметрии игральной кости до ее подбрасывания легко подсчитать, что вероятность выпадения более четырех очков (событие А) равна 1/3. В самом деле, вероятность выпадения пяти очков равна, вероятность выпадения шести очков-то же . Следовательно,
Р (А)=
В ХХ в. сначала Р. Мизес, а затем Г. Рейхенбах обратили внимание на то, что часто интересуемые нас события опосредованы такой массой обстоятельств, что учесть их и априорно предсказать, с какой вероятностью из них будут вытекать эти события, не представляется возможным. Поэтому на практике приходится ограничиваться приближенной оценкой вероятности, получаемой из обобщения ряда наблюдений или физических экспериментов. Вероятность события А, т.е. Р (А), по Мизесу и Рейхенбаху представляет собой отношения числа m появления события А в n наблюдениях или экспериментов, т.е.
Р (А)=
Формулы вычисления вероятности события А при первом и при втором подходах совпадают. Но смысл их совершенно различен. При первом подходе вероятность вычисляется аpriori (до опыта), при втором apasteriori (после опыта), т.е. статистически. При первом подходе вероятностная логика может рассматриваться как расширение логики модальной, при втором – логики индуктивной.
В аксиоматической теории вероятностей вопрос о том, как определяются вероятности основных событий, не играет роли. В основу этой теории, развитой С.Н. Бернштейном, А.Н. Колмогоровым, А.Я. Хичиным лежит некоторая система аксиом, указывающая основные правила составления вероятностей сложных событий. Произведением событий А и В называется событие «А и В», суммой – событие «А или В» и т.д. вероятностью события называется число Р обладающее следующими свойствами: 0≤р(A)≤1; р (1)=1; р(0)=0; если АÌВ, то Р(А) ≤ Р (В); если АÇВ=0, то р (А или В)= Р(А) + Р (В) и т.д.
Аксиоматическое построение теории вероятности превращает ее в раздел чистой математики.
Литература
1. Логика. К. – Хатнюк В.С. 2005 г.
2. Логика – искусство мышления. Тимирязев А.К. – К. 2000 г.
3. Философия и жизнь – журнал – К. 2004 г.
4. История логики и мышления – Касинов В.И. 1999.
5. Логика и человек – М. 2000.
6. Философия жизни. Матюшенко В.М. – Москва – 2003 г.
7. Философия бытия. Марикова А.В. – К. 2000 г.
Теги: Модальная логика. Вероятностная логика Реферат Философияdodiplom.ru
СОДЕРЖАНИЕ
Введение
О модальности суждений
Эпистемическая модальность
Деонтическая модальность
Алетическая модальность
Заключение
Использованные источники
Введение
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Развитая политическая жизнь в греческих государствах-полисах, борьба разных партий за влияние на массы свободных граждан, стремление решать возникавшие имущественные и иные конфликты через суд – все это требовало умения убеждать людей, защищать свою позицию на различных народных форумах, в государственных учреждениях, судебных заседаниях и т.п.
В конце прошлого - начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы, и наука как бы обрела второе дыхание. Теперь логика - одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Стихийно сложившиеся навыки логически совершенного мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном - о человеческом мышлении - то, что кажется на первый взгляд необычным и без необходимости усложненным. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся.
Логика – наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую. Таково общее понятие о логике как науке. Но чтобы раскрыть ее предмет, необходимо рассмотреть все вопросы, один из них модальность суждений.
О модальности суждений
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других – обоснованность знания, содержащегося в суждениях, в третьих – предписание, норму или правило, которое надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит двоякого рода информацию – основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
Модальные характеристики суждений обычно выражают парными категориями:
необходимость – случайность,
обязанность - запрещение,
доказано – опровергнуто и т.п.
Далее следует рассмотреть важные для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Эпистемическая модальность
Эпистемическая модальность- термин происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: «доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п. В ходе спора или дискуссии мы можем оценивать, доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их понятия.
По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных.
Знание, фактор логического воздействия – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие, где К – модальный оператор, означающий «знание».
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
Достоверные суждения – это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:
Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.
Обоснованность суждения, выражаемая в соответствующей мотивировке, должна быть ведущим фактором, определяющим формирование субъективной уверенности, без которой также не бывает раскрытия истины.
Деонтическая модальность
Деонтическая модальность – термин заимствован из греческого языка и означает «обязанность», это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Норма права – это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.
Явно или неявно выраженные в правовой норме компоненты:
авторитет – орган, установивший норму;
адресат – лица, которым надлежит исполнять предписание;
диспозиция – подлежащее исполнению действие;
деонтическая характеристика нормы – определенный тип предписания;
санкция – юридические последствия неисполнения предписания.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. В правовом отношении праву всегда соответствует обязанность, и наоборот, всякой обязанности соответствует определенное право. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов:
O – обязывание;
F – запрещение;
P – разрешение.
В соответствии с деонтическими операторами среди норм права различают:
правообязывающие – нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.
правозапрещающее – нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.
правопредоставляющие – нормы формируют с помощью слов: имеет право, может быть, может применять и других.
Рационально построенная нормативно – правовая система должна удовлетворять минимальным модальным деонтическим требованиям:
непротиворечивость – проявляется в том, что система права исключает деонтически несовместимые нормы.
сбалансированность – проявляется в том, что в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма.
полнота – означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.
Алетическая модальность
Алетическая модальность – термин греческого происхождения, означает «истинный», это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:
Логическая модальность – это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики.
К логически ложным (L-л) – внутренне противоречивые суждения.
Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.
Фактическая модальность связана с объективной , или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимости и случайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки.
Суждения необходимости могут быть истинными, но они могут быть и ложными. Они составляют класс фактически необходимых суждений. Все остальные фактические суждения относятся к случайным.
Фактически случайные – это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий – возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений.
Вывод
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
Использованные источники
Логика В.И.Кириллов, А.А. Старченко, 1998
Логика и Аргументация, Г.И. Рузавин, 1997
Логика, А.А. Ивин, 2000
bukvasha.ru
СОДЕРЖАНИЕ
Введение
О модальности суждений
Эпистемическая модальность
Деонтическая модальность
Алетическая модальность
Заключение
Использованные источники
Введение
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Развитая политическая жизнь в греческих государствах-полисах, борьба разных партий за влияние на массы свободных граждан, стремление решать возникавшие имущественные и иные конфликты через суд – все это требовало умения убеждать людей, защищать свою позицию на различных народных форумах, в государственных учреждениях, судебных заседаниях и т.п.
В конце прошлого — начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы, и наука как бы обрела второе дыхание. Теперь логика — одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Стихийно сложившиеся навыки логически совершенного мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном — о человеческом мышлении — то, что кажется на первый взгляд необычным и без необходимости усложненным. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся.
Логика – наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую. Таково общее понятие о логике как науке. Но чтобы раскрыть ее предмет, необходимо рассмотреть все вопросы, один из них модальность суждений.
О модальности суждений
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других – обоснованность знания, содержащегося в суждениях, в третьих – предписание, норму или правило, которое надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит двоякого рода информацию – основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
Модальные характеристики суждений обычно выражают парными категориями:
необходимость – случайность,
обязанность — запрещение,
доказано – опровергнуто и т.п.
Далее следует рассмотреть важные для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Эпистемическая модальность
Эпистемическая модальность- термин происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: «доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п. В ходе спора или дискуссии мы можем оценивать, доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их понятия.
Первый тип – это основанные на мнениях суждения, выражающие веру.
По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных.
Второй тип – логически обоснованные суждения, выражающие знание.
Знание, фактор логического воздействия – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие, где К – модальный оператор, означающий «знание».
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
Достоверные суждения – это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:
Доказанности (верифицированности) – V.
Опровергнутости (фальсифицированности) – F.
Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.
Обоснованность суждения, выражаемая в соответствующей мотивировке, должна быть ведущим фактором, определяющим формирование субъективной уверенности, без которой также не бывает раскрытия истины.
Деонтическая модальность
Деонтическая модальность – термин заимствован из греческого языка и означает «обязанность», это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Норма права – это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.
Явно или неявно выраженные в правовой норме компоненты:
авторитет – орган, установивший норму;
адресат – лица, которым надлежит исполнять предписание;
диспозиция – подлежащее исполнению действие;
деонтическая характеристика нормы – определенный тип предписания;
санкция – юридические последствия неисполнения предписания.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. В правовом отношении праву всегда соответствует обязанность, и наоборот, всякой обязанности соответствует определенное право. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов:
O – обязывание;
F – запрещение;
P – разрешение.
В соответствии с деонтическими операторами среди норм права различают:
правообязывающие – нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.
правозапрещающее – нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.
правопредоставляющие – нормы формируют с помощью слов: имеет право, может быть, может применять и других.
Рационально построенная нормативно – правовая система должна удовлетворять минимальным модальным деонтическим требованиям:
непротиворечивость – проявляется в том, что система права исключает деонтически несовместимые нормы.
сбалансированность – проявляется в том, что в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма.
полнота – означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.
Алетическая модальность
Алетическая модальность – термин греческого происхождения, означает «истинный», это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:
Логическая модальность – это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики.
К логически ложным (L-л) – внутренне противоречивые суждения.
Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.
Фактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимости и случайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки.
Суждения необходимости могут быть истинными, но они могут быть и ложными. Они составляют класс фактически необходимых суждений. Все остальные фактические суждения относятся к случайным.
Фактически случайные – это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий – возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений.
Вывод
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
Использованные источники
Логика В.И.Кириллов, А.А.Старченко, 1998
Логика и Аргументация, Г.И.Рузавин, 1997
Логика, А.А.Ивин, 2000
www.ronl.ru
СОДЕРЖАНИЕ
Введение
О модальности суждений
Эпистемическая модальность
Деонтическая модальность
Алетическая модальность
Заключение
Использованные источники
Введение
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Развитая политическая жизнь в греческих государствах-полисах, борьба разных партий за влияние на массы свободных граждан, стремление решать возникавшие имущественные и иные конфликты через суд – все это требовало умения убеждать людей, защищать свою позицию на различных народных форумах, в государственных учреждениях, судебных заседаниях и т.п.
В конце прошлого — начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы, и наука как бы обрела второе дыхание. Теперь логика — одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Стихийно сложившиеся навыки логически совершенного мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном — о человеческом мышлении — то, что кажется на первый взгляд необычным и без необходимости усложненным. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся.
Логика – наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую. Таково общее понятие о логике как науке. Но чтобы раскрыть ее предмет, необходимо рассмотреть все вопросы, один из них модальность суждений.
О модальности суждений
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других – обоснованность знания, содержащегося в суждениях, в третьих – предписание, норму или правило, которое надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит двоякого рода информацию – основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
Модальные характеристики суждений обычно выражают парными категориями:
необходимость – случайность,
обязанность — запрещение,
доказано – опровергнуто и т.п.
Далее следует рассмотреть важные для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Эпистемическая модальность
Эпистемическая модальность- термин происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: «доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п. В ходе спора или дискуссии мы можем оценивать, доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их понятия.
Первый тип – это основанные на мнениях суждения, выражающие веру.
По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных.
Второй тип – логически обоснованные суждения, выражающие знание.
Знание, фактор логического воздействия – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие, где К – модальный оператор, означающий «знание».
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
Достоверные суждения – это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:
Доказанности (верифицированности) – V.
Опровергнутости (фальсифицированности) – F.
Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.
Обоснованность суждения, выражаемая в соответствующей мотивировке, должна быть ведущим фактором, определяющим формирование субъективной уверенности, без которой также не бывает раскрытия истины.
Деонтическая модальность
Деонтическая модальность – термин заимствован из греческого языка и означает «обязанность», это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Норма права – это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.
Явно или неявно выраженные в правовой норме компоненты:
авторитет – орган, установивший норму;
адресат – лица, которым надлежит исполнять предписание;
диспозиция – подлежащее исполнению действие;
деонтическая характеристика нормы – определенный тип предписания;
санкция – юридические последствия неисполнения предписания.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. В правовом отношении праву всегда соответствует обязанность, и наоборот, всякой обязанности соответствует определенное право. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов:
O – обязывание;
F – запрещение;
P – разрешение.
В соответствии с деонтическими операторами среди норм права различают:
правообязывающие – нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.
правозапрещающее – нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.
правопредоставляющие – нормы формируют с помощью слов: имеет право, может быть, может применять и других.
Рационально построенная нормативно – правовая система должна удовлетворять минимальным модальным деонтическим требованиям:
непротиворечивость – проявляется в том, что система права исключает деонтически несовместимые нормы.
сбалансированность – проявляется в том, что в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма.
полнота – означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.
Алетическая модальность
Алетическая модальность – термин греческого происхождения, означает «истинный», это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:
Логическая модальность – это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики.
К логически ложным (L-л) – внутренне противоречивые суждения.
Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.
Фактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимости и случайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки.
Суждения необходимости могут быть истинными, но они могут быть и ложными. Они составляют класс фактически необходимых суждений. Все остальные фактические суждения относятся к случайным.
Фактически случайные – это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий – возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений.
Вывод
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
Использованные источники
Логика В.И.Кириллов, А.А.Старченко, 1998
Логика и Аргументация, Г.И.Рузавин, 1997
Логика, А.А.Ивин, 2000
www.ronl.ru
СОДЕРЖАНИЕ
Введение
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
www.ronl.ru
