Эпистемическая модальность. Эпистемическая модальность Культурная обусловленность средств эпистемической модальности

Эпистемическая модальность - это выраженная в суждении информация об основаниях его принятия и обоснованности. Важнейшими факторами являются логические и внелогические факторы, различаю­щиеся основаниями их принятия. Первый тип - это основанные на мнениях суждения, выражающие знание. По степени обоснованности среди знаний различают два непересекающихся суждения: достоверные и про­блематичные.

    Достоверные суждения - это достаточно обоснованные истинные или логичные суждения.

    Проблематичные суждения. В проблематичным относятся суждения, которые нельзя считать достоверными в силу их недостаточной обосно­ванности.

В естественном языке показателями проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др.

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

Если вероятностная оценка суждения прямо влияет на степень уверенно­сти, то обратное имеет место не всегда. Высокая степень уверенности не оз­начает, что она возникла как результат обоснованности суждения, здесь мо­гут влиять различного рода интересы, склонности, пристрастия.

Деонтическая модальность суждений

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

«Подрядчик обязан выполнить работу, обусловленную договором, из сво­ его материала и своими средствами, поскольку иное не установлено зако­ ном или договором».

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

Необходимыми элементами правовой формы являются следующие явно или неявно выраженные в ней компоненты:

    адресат - лица, которым надлежит исполнять предписание;

    диспозиция - подлежащие исполнению действия;

    деонтическая характеристика нормы - определяет тип предписания;

    санкция - юридические последствия неисполнения предписания.

В правоотношении праву всегда соответствует обязанность и наоборот, всякой обязанности соответствует определенное право.

Право и обязанность выражают с помощью деонтических операторов: О - обязывания; F - запрещение; Р - разрешение.

Символом d обозначают регулируемое действие, символами x , y , z - субъектов правоотношений.

В соответствии с деонтическими операторами среди норм права разли­чают: (1) правообязывающие; (2) правозапрещающие; (3) правопредоставляющие.

Правообязывающие нормы формулируют с помощью слов: «обязан», «должен», «надлежит», «признается».

Например: «Ничтожна сделка, совершенная гражданином, признанным недееспособным вследствие психического расстройства. Каждая из сторон такой сделки обязана возвратить другой все полученное в натуре, а при не­ возможности возвратить полученное в натуре - возместить его стои­ мость в деньгах».

Символически правообязывание можно выразить в следующем виде O (d ), что означает «действие d подлежит обязательному исполнению».

Правозапрещающие нормы формулируют с помощью слов: «запрещает­ ся», «не вправе», «не допускается» и других.

Символические правозапрещения можно выразить в следующем виде: F { d ), что означает: «действие d запрещено».

Например: «Ломбард не вправе пользоваться или распоряжаться зало женными вещами».

«Банковская гарантия не может быть отозвана гарантом, если в ней не предусмотрено иное».

Правопредоставляюшие нормы формируют с помощью слов: «имеет право», «может иметь», «может принять».

Например: «Начальство может предъявить в суде, арбитражном суде или третейском суде требование о досрочном расторжении договора найма»,

«Наниматель вправе отказаться от бытового проекта в любое время».

Правопредоставление символами можно выразить следующим образом: P (d ), т.е. предоставляется право выполнять d .

Операторы обязывания и запрещения относятся к сильным деонтическим характеристикам, а разрешение является слабой характеристикой.

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

Разрешение определяется через обязывание и запрещение:

P(d) = O(d) F(d).

Разрешение выполнить действие d означает, что выполнение d не обязательно и не запрещено.

Логика: учебник для юридических вузов Кириллов Вячеслав Иванович

§ 2. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ

§ 2. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ

Эпистемическая модальность - это выраженная в суждении информация об основаниях принятия и степени его обоснованности.

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

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

Если модальным оператором В обозначить верование, т. е. принятие высказывания р без обоснования, то выражение В(р) будет означать: «р принимается на основе веры».

Знание . Фактор логического воздействия - это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие . Особенность рационально ориентированного познания - принятие лишь таких суждений, которые опираются на достоверно установленный эмпирический или теоретический фундамент из проверенных суждений. Такого рода обоснованные суждения приобретают эпистемический статус знаний: К(р) , где К - модальный оператор, обозначающий «знание».

По степени обоснованности среди знаний различают два непересекающихся класса суждений: 1) достоверные и 2) проблематичные.

1) Достоверные суждения - это достаточно обоснованные истинные или ложные суждения . Их истинность или ложность устанавливается либо путем непосредственной проверки, либо опосредованно, когда суждение подтверждается эмпирическими или теоретическими положениями.

Модальность таких суждений можно выразить с помощью операторов: доказанности (верифицированности ) - V и опровергнутости (фальсифицированности ) - F . Суждение р доказано, если оно достаточно обосновано: Vp . Если достаточно обосновано отрицание суждения, т. е. не-p , то такое суждение также считается доказанным: V?р . Например, доказано суждение «Неверно, что Н. принимал непосредственное участие в совершении преступления», если установлено алиби, т. е. факт пребывания Н. во время совершения преступления в другом месте.

Таким образом, о любом достоверно установленном суждении можно говорить как о доказанном, или верифицированном, т. е. Vр? V?р .

Достоверные суждения могут быть выражены с помощью оператора опровергнутости: Fр? F?р .

Операторы доказанности и опровергнутости могут быть выражены один через другой. Так, доказанность р эквивалентна опровержению не-p , а доказанность не-p эквивалентна опровержению р . Эту эквивалентность можно представить в следующем виде:

Vp ? F?р;

V?р? Fр.

Достоверность относится к такой модальной характеристике суждения, которая, подобно понятиям истины и ложности, не изменяется по степеням. О двух высказываниях нельзя сказать, что одно из них «более достоверно», чем другое. В случае достаточной обоснованности суждения его считают доказанным, тем самым достоверным, т. е. истинным или ложным без изменения по степеням.

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

2) Проблематичные суждения - это суждения, недостаточно обоснованные . Истинность или ложность таких суждений точно не установлена, поэтому их называют проблематичными, правдоподобными, или вероятными.

В естественном языке показателями проблематичности суждения обычно служат вводные слова: «по-видимому», «вероятно», «представляется», «возможно», «можно предположить» и др. Для проблематичных суждений принято выражение: «S, вероятно, есть Р ». Проблематичность какого-либо суждения (р ) можно выразить оператором Р ; выражение Рр читается: «Вероятно, р ».

Проблематичность суждения р может быть выражена в терминах доказанности и опровергнутости:

Рр = ?Vр? ?Fp .

В судебном исследовании в форме проблематичных суждений строятся версии (гипотезы) об обстоятельствах расследуемых дел. Они направляют расследование по правильному руслу и помогают установлению достоверных результатов.

Требование доказанности предъявляется ко всем суждениям в судопроизводстве. Судебный обвинительный приговор по уголовному делу и решение суда по гражданскому делу должны опираться на достоверно установленные обстоятельства каждого конкретного дела. Только в этом случае решение суда считается правосудным.

Обоснованность проблематичных суждений может быть представлена в терминах теории вероятности. Логическая вероятность суждения означает степень его обоснованности. Если обозначить вероятность символом Р , то для любого суждения р его вероятность принимает значение 0 ? Р(р) ? 1 . 0 и 1 выступают пределами обоснования, выражая достоверное значение. Так, Р(р) = 0 означает, что р фальсифицировано, или опровергнуто (р ложно). Поскольку вероятность проблематичного суждения принимает числовое значение в интервале между 0 и 1 , т. е. 0 < Р(р) < 1 , ее обычно выражают дробью, например, Р(р) = 1/3 или Р(р) = 0,2 . Если Р(р) = 1 , это означает, что р верифицировано, или доказано (р истинно).

В простейших случаях, когда оперируют однотипными и равными по их логической силе основаниями, степень вероятности суждения определяется отношением числа благоприятных оснований (m ) к общему их числу (n ): Р(р) = m/n . Так, если для суждения р из 10 оснований (n ) 8 оказались благоприятными (m ), то степень его обоснованности, или логической вероятности, будет выражаться дробью 8/10 = 4/5 , т. е. Р(р) = 4/5 .

В случае благоприятности всех 10 возможных оснований вероятность будет выражаться соотношением Р(р) = 10/10 = 1 . Это значит, что высказывание р считают достоверным. Если все 10 оснований окажутся неблагоприятаыми, то вероятность р будет равна 0 : Р(р) = 0/10 = 0 . Это означает, что р оценивается как ложное.

В большинстве случаев в качестве оснований выступают разнотипные и различные по доказательной силе высказывания. Их обычно оценивают содержательно, с учетом различного «веса» каждого из них. В обычных рассуждениях нередко прибегают к следующей приблизительной градации вероятностей:

1) Р(р) = 1/3 - «р» маловероятно;

2) Р(р) = 1/2 - «р» равновероятно;

3) Р(р) > 1/2 - «р» более вероятно, чем нет;

4) Р(р) > 2/3 - «р» весьма вероятно.

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

Обоснованность как объективную логическую характеристику суждения следует отличать от понятия уверенности , выражающего субъективно-психологическое отношение человека к высказыванию, его готовность принять или отвергнуть соответствующее суждение. Когда говорят, например, «Я уверен, что X совершил преступление»; «Я убежден, что свидетель заблуждается»; «Я считаю, что обвиняемый неверно описывает обстоятельства преступления», то, как правило, выражают субъективное отношение к содержанию высказываний - склонность принять или отвергнуть выраженную в них информацию.

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

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

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

Вопросы для самопроверки

1. Что такое эпистемическая модальность? На какие виды она делится?

2. Какими операторами выражаются достоверные и проблематичные суждения?

3. Как используется теория вероятности для обоснования проблематичных суждений?

Из книги Феноменология галлюцинаций автора Руднев Вадим Петрович

3. Экстраекция и модальность В книге «Психология шизофрении» А. Кемпинский пишет по этому поводу следующее: Главной чертой шизофренической космологии является фантастика и магия <…>.

Из книги Логика: конспект лекций автора Шадрин Д А

ЛЕКЦИЯ № 13 Истинность и модальность суждений 1. Модальность суждений Модальное суждение - это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.Изучаются

Из книги Логика автора Шадрин Д А

1. Модальность суждений Модальное суждение - это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.Изучаются модальные суждения в рамках модальной логики,

Из книги Философия языка и семиотика безумия: Избранные работы автора Руднев Вадим Петрович

31. Модальность суждений Модальное суждение – это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.Изучаются модальные суждения в рамках модальной логики,

Из книги Объективное знание. Эволюционный подход автора Поппер Карл Раймунд

3. Экстраекция и модальность В книге «Психология шизофрении» А. Кемпинский пишет по этому поводу следующее: Главной чертой шизофренической космологии является фантастика и магия. <…> Шизофренический мир наполняют таинственные энергии, лучи, силы добрые и злые, волны,

Из книги Идеи к чистой феноменологии и феноменологической философии. Книга 1 автора Гуссерль Эдмунд

Из книги Учебник логики автора Челпанов Георгий Иванович

§ 105. Модальность верования как верование, модальность бытия как бытие Если в отношении описанных выше в высшей степени примечательных ситуаций мы говорим об интенциональности, с помощью которой вторичные модусы устанавливают свое обратное сопряжение с прадоксой, то

Из книги Антропология и теория политических установлений автора Вирно Паоло

Модальность суждений Модальность - это, грубо говоря, отношение суждения к действительности. По модальности суждения делятся на проблематические, ассерторические и аподиктические.Проблематические: «Артём, вероятно, хитёр». (S, вероятно, есть P).Ассерторические: «Артём

Из книги Философия языка и семиотика безумия. Избранные работы автора Руднев Вадим Петрович

1.1 Избыток влечений и модальность возможного В чём состоит «зло», которое, по Шмитту, принимает в расчёт любая теория политических установлений, демонстрирующая хотя бы капельку реализма в отношении человеческой природы? Он ссылается, пусть и мимоходом, на тезисы самого

Из книги Философский словарь автора Конт-Спонвиль Андре

3. ЭКСТРАЕКЦИЯ И МОДАЛЬНОСТЬ В книге «Психология шизофрении» А. Кемпинский пишет по этому поводу следующее: Главной чертой шизофренической космологии является фантастика и магия. <…> Шизофренический мир наполняют таинственные энергии, лучи, силы добрые и злые, волны,

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

Модальность (Modalit?) Это случилось в тот день, когда я пригласил в ресторан пять или шесть своих друзей, чтобы отметить выход номера журнала, над которым мы когда-то вместе работали. В их числе оказались А. и Ф. – оба заметно выделявшиеся на общем фоне еще в годы учебы на

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

Модальность суждений Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.Традиционно в логике выделяется три вида

Из книги Архитектура и иконография. «Тело символа» в зеркале классической методологии автора Ванеян Степан С.

Глава VI МОДАЛЬНОСТЬ СУЖДЕНИЙ § 1. ПОНЯТИЕ И ВИДЫ МОДАЛЬНОСТИ Суждение как форма мышления содержит основную и дополнительную информацию. Основная информация содержится в субъекте и предикате суждения, в логической связке и кванторе. Дополнительная информация относится

Из книги автора

§ 3. ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ Деонтическая модальность - это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.Среди предписаний следует выделить нормативные предписания, включающие и нормы права.Норма права -

Из книги автора

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

Из книги автора

Модальность языка и иконографическая модальность Язык – это тоже модальность, но «более специфическая». Лингвистические модели вполне распространены в искусствознании, в чем мы уже имели возможность убедиться. Но тем не менее, остаются открытыми две проблемы.

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

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

· Первый тип - это основанные на мнениях суждения, выражающие веру.

По эпистемическому статусу вера - это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных.

· Второй тип - логически обоснованные суждения, выражающие знание.

Знание, фактор логического воздействия - это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие, где К - модальный оператор, означающий «знание».

По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.

1. Достоверные суждения - это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:

· Доказанности (верифицированности) - V.

· Опровергнутости (фальсифицированности) - F.

2. Проблематичные суждения - это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.

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

Деонтическая модальность

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

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

Среди предписаний следует выделить нормативные предписания, включающие и нормы права.

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

Явно или неявно выраженные в правовой норме компоненты:

· адресат - лица, которым надлежит исполнять предписание;

· диспозиция - подлежащее исполнению действие;

· деонтическая характеристика нормы - определенный тип предписания;

· санкция - юридические последствия неисполнения предписания.

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

· O - обязывание;

· F - запрещение;

· P - разрешение.

В соответствии с деонтическими операторами среди норм права различают:

1. правообязывающие - нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.

2. правозапрещающее - нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.

3. правопредоставляющие - нормы формируют с помощью слов: имеет право, может быть, может применять и других.

Рационально построенная нормативно - правовая система должна удовлетворять минимальным модальным деонтическим требованиям:

1. непротиворечивость - проявляется в том, что система права исключает деонтически несовместимые нормы.

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

3. полнота - означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.

Модальность (от слова «modus» — способ) – это надстройка семантического компонента над логическим . Общее высказывание (суждение) помещается в модальные рамки восприятия информации, которые устанавливает сам говорящий, расширяет или сужает границы своего мышления, в которых рассматривается единый смысл выражения. Если истина – это независимое отношение высказывания к действительности, то модальность – это отношение говорящего к данному высказыванию .

Любое выражение строится из трех составляющих – объекта (субъекта), предиката и связки. Объект — это то, над чем человек думает, чему приписывает различные свойства, действия. Например, «все металлы – проводят электрический ток». Металлу (объекту) приписывают свойство проводимости. Объектами ещё называют отдельные понятия, формирующие или сообразующие мысль.

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

Например, выражение «за окном идет снег» — здесь «условным субъектом» является самостоятельный объект — «снег», предикатом – «идет за окном». Если на момент высказывания снег действительно идет за окном, то выражение становится истинным. В другом случае – ложным. Слово «снег», если рассматривать с точки зрения языкового мышления, приобретает роль грамматического субъекта — подлежащего.

Субъект же в традиционном смысле определяется, как человеческое сознание и его содержимое (ощущения). Субъект – это тот, кто переживает ситуацию во времени . Снег, как природное явление, переживать её не может. Но вся ситуация подается именно с этой точки отчета. Действительность упрощается до оперирования только отношениями между внешними предметами.

Как только в событие включается активность субъекта личности, информация помещается в модальную рамку. Суждение приобретает дополнительный онтологический (греч. on, ontos - сущее, logos - учение) смысл. Онтология берет за основу мира – изменяющуюся сущность, духовность. В философии также отмечают метафизическое сознание или метафизический субъект.

Использование модальностей в науках

В психологии (в нлп) модальные значения фраз и их замена влияет на переосмысление информации человеком (пациентом). Их используют как ключевые моменты, чтобы расширить информацию человека о самом себе. Например, фраза «нельзя загорать под луной» — событие рассматривается как невозможное, интерес к нему пропадает. Если заменить «загорать под луной возможно, но не эффективно» — то, оно продолжает мысль и высказанную теорию.

Разновидности логических суждений

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

Ассерторические – это все суждения в утвердительной форме . Они описывают реальные явления и ситуации, как есть. Например, «спелые яблоки – красные», «после лета наступает осень» — это утвердительные высказывания. Все предложения делятся по принципу исключения третьего, на подтверждающие и опровергающие информацию, имеют форму обычного «безликого» повествования.

Отрицание сопровождается оператором отрицания («не», «нет, не верно»). Например, «не верно, что после лета наступает зима». Этот вид суждения входит в сферу видимой действительности и не включает в себя субъективный компонент такой, как в приведенных примерах: «хорошо, что после лета наступает осень» или «необходимо, что испечённый пирог — вкусный».

Другим видом утвердительных суждений являются аподиктические (доказательные) , выражающие «необходимость» того или иного явления. Например, «Основание пирамиды есть треугольник» — высказывание имеет доказательство в рамках математических наук. Другой пример, из астрофизики — «Земля вращается вокруг солнца», по-другому нельзя объяснить строение вселенной, смену дня и ночи на Земле. Факт не только научно доказан, но и является основой продолжения жизни на планете. Высказывание будет иметь истинное значение при любых условиях. Такие сведения о мире называются универсальными.

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

Например, «возможно, что на Марсе есть жизнь» — мы не можем полностью принять данное высказывание, как истинное – человек имеет знания о планете Марс лишь косвенно (никто туда не летал и не наблюдал признаков жизни своими глазами), но и принять за ложное без наличия доказательства обратного, невозможно. Такие суждения имеющие проблематический характер и называются алетическими . Сюда входят как логические высказывания, так и онтологические.

С Викиум вы сможете заниматься развитием мозга по индивидуальной программе

Алетические виды суждения

Операторами алетической модальности являются слова – «возможно», «невозможно», «случайно», «необходимо». Рассмотрим виды операторов на примере:

  1. Случайные – это единичные высказывания , которые рассматриваются в рамках какого-то уникального, конкретного события. Хорошим примером служит историческое событие – «12 апреля 1961 года был совершен первый полет человеком в космос». Событие случайно совпало с календарной датой. Число и свершившийся факт имеют между собой отношения случайности (полет мог быть совершен с одинаковой вероятностью и 16 апреля, и 20 апреля).
  2. Возможные (невозможные) – это суждения , описывающие вероятность свершения какого-либо факта в действительности. При этом происходит предварительное накопление информации, прослеживание признаков закономерности. С этой стороны, все потенциальные события, имеющие связь в одной системе явлений, могут в равной степени реализоваться в мире. Например, «возможно, что в Москве пойдет дождь». Ожидание осадков в Москве может со временем подтвердиться, а может и нет («нет» — в случаи прояснения погоды – наступление другого альтернативного события, в порядке временной последовательности).
  3. Необходимость – этот модальный оператор указывает на необходимость связи двух явлений . В большинстве случаев, оно описывает свойство реального предмета (объекта), основываясь на его природной сущности и физической взаимосвязи с другими, составляющими условия проявления этого свойства. Например, «необходимо, что ультрафиолетовые лучи уничтожают бактерий и вирусов».

Эпистемологическая (от греч. episteme – знание) – выражает степень принятия определенного знания субъектом . Операторы эпистемологической модальности – «знать», «верить», «убежден», «доказано». Высказывание содержит информацию, полученную косвенным путем, либо существует проблема доказуемости знания. Например, «я верю, что бог существует», «я знаю, что осенью бывает холодно».

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

Деонтическая модальность

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

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

Аксиологическая модальность

Информация, выраженная в форме этой модальности, относится к морали и этике, правилам поведения человека в обществе. Операторами аксиологических высказываний являются – «хорошо», «плохо». С их помощью человек оценивается свои и чужие поступки, определяет стороны добра и зла. Например, «плохо перебивать старших в разговоре», «картина написана совсем неплохо».

Обозначения модальности в языке

Модальная логика относится к способам продуцирования языков выражений . В языке синонимы операторов рассеяны по семантическим полям в зависимости от текста, или целого произведения. Ещё сложнее выявить логическое значения фразы на иностранном языке.

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

Физическая модальность

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

Физически необходимо то, отрицание чего нарушает законы природы, т.е. невозможно физически.

Пример : Физически необходимо, что всё живое рождается и умирает.

Физически возможно высказывание, не противоречащее законам природы. При этом, если физически возможно как данное высказывание, так и его отрицание, то оно является физически случайным.

Примеры: Физически возможно, что Кутузов одержал победу при Малоярославце. Физически случайно, что наш дом построен на горе.

Физически невозможно высказывание, противоречащее природным законам.

Пример : Физически невозможно, что крокодил беззубый, а ёжик без иголок.

Правила взаимоотношений физических модальностей абсолютно аналогичны закономерностям логических модальностей. При этом, если сравнить логическую и физическую модальности между собой, то станет ясно, что самым широким модальным понятием является оператор "логически возможно" - за его пределами истин не существует. Значительно уже понятие "физически возможно" - оно ограничено законами нашего мира, т.е. всеми законами естественных наук. Объём физически необходимого ещё уже, это круг явлений и объектов, существующих реально. Самым узким модальным понятием является понятие "логически необходимо" - это только логические законы и всё, что из них необходимо следует. Очевидно, большая часть действительного мира живёт в рамках логически возможного, но за пределами логически необходимого.

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

Эпистемическая модальность (от греч. "эпистема" - познание) выражает степень достоверности знания:

доказано то, что получило научное обоснование и практическое подтверждение.

Пример: Доказано, что сбалансированное питание благоприятно влияет на экстерьер собак;

проблематично то, что на данный момент может оказаться как истинным, так и ложным.

Пример: Вероятно, Россия - родина слонов;

опровергнуто означает, что доказано обратное (противоречащее данному).

Пример: Опровергнуто, что Сальери отравил Моцарта.

Отношения эпистемических модальностей аналогичны алетическим. Основные их законы:

Ничто не может быть доказанным и опровергнутым одновременно;

Что доказано, то не может быть проблематично, и наоборот;

Что проблематично, то не может быть опровергнуто, и наоборот;

- "знание проблематично" означает, что это знание не доказано и не опровергнуто, и наоборот.