К вопросу о модальности в логике и лингвистике

Основные виды модальности

Поможем написать любую работу на аналогичную
тему

• Реферат

  От 250 руб

• Контрольная
  работа

  От 250 руб

• Курсовая работа

  От 700 руб

Получить выполненную работу или консультацию специалиста по вашему
учебному проекту

Узнать стоимость

Наиболее распространенными являются модальности:

алетическая (истина); аксиологическая (ценный); деонтическая (как должно быть); эпистемическая (достоверное знание)

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

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

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

Деонтические опрераторы: О – обязывание; F – запрещение; Р — разрешение

4. Эпистемическая модальность отражает степень обоснованности содержания суждения в знании (от «доказано» или «опровергнуто» до «вероятно», «проблематично», «маловероятно» т. п.), а также способ принятия информации, содержащейся в суждении («знаю», «верю», «убежден», «сомневаюсь» и т.п.).

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

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

Их модальность можно выразить с помощью двух операторов: V — оператор доказанности (верифицированности), F — оператор опровергнутости (фальсифицированности).

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к
профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас

Бесплатные
корректировки и доработки. Узнайте стоимость своей работы.

Расчет
стоимостиГарантииОтзывы

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

МОДАЛЬНОСТЬ СУЖДЕНИЙ. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ

Поможем написать любую работу на аналогичную
тему

• Реферат

  От 250 руб

• Контрольная
  работа

  От 250 руб

• Курсовая работа

  От 700 руб

Получить выполненную работу или консультацию специалиста по вашему
учебному проекту

Узнать стоимость

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

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

Эпистемическая (от греч. эпистема – высший тип достоверного знания) модальность – это выраженная в суждении информация об основаниях его принятия и степени обоснованности.  К таким основаниям относится вера и знание.

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

Знание как логическое обоснование – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие.

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

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

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

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

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

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

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

Обоснованность проблематичных суждений может быть представлена в терминах теории вероятности.

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к
профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас

Бесплатные
корректировки и доработки. Узнайте стоимость своей работы.

Расчет
стоимостиГарантииОтзывы

Логическая вероятность суждения в этом случае означает степень его обоснованности.

Виды модальности в логике

Логика |

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

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

авторитет — орган установив норму;

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

диспозиция — действие, которое нужно выполнить;

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

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

Среди этих пяти компонентов модальные анализ интересует именно п.4. Праву всегда соответствует зобовьязанисть и наоборот (Право купить и зобовьязанисть выдать купленное). Право и зобовьязанисть выражают посредством деонтичних операторов.

О — зобовьязування; F — запрет; Р — разрешение. Символом d обозначают регулюему действие; символами x, y, z — субъектов правоотношений. В соответствии с деонтичнимы операторами среди норм права различают: (1) правозобовьязуючи; (2) правозаборонюючи; (3) правопредоставляючи.

Правозобовьязуючи нормы формулируют с помощью слов: «обязан», «должен», «принадлежит», «признается» и др. — Символично О (d) действие d принадлежит обязательному исполнению. Если фиксируются и участники правоотношений то О (x, y, z) — «х обязан выполнить действие d в пользу y).

Правозабороняючи нормы формулируются слова «запрещается», «не вправе», «не может», «не допускается» и др. (Запрещается арестовывать). Символично — F (d) действие d запрещается «, а Если d à S, то» Если совершено действие d, то применяется санкция S «.

Правопредоставляючи нормы формулируются словами: «имеет право», «может иметь», «может принять» и др. Символично Р (d) «предоставляется право выполнить d».

Операторы (О, F) — обязательства и запрет — относятся к сильным деонтичних характеристик, (Р) разрешение является слабой характеристикой. О и F выражены друг через друга: зобовьязанисть выполнить определенное действие эквивалентна запрету не выполнить его: О (d) º F (d).

«Разрешение» как слабая характеристика выражается через сильную — через О и F по схеме: Р (d) º ~ О (d) Ù ~ F (d). Читается: разрешение выполнить действие d означает, что выполнение d не обязательно и не запрещено. Рационально построенная нормативно-правовая система должна удовлетворять минимальным модальные деонтичним требованиям: 1) несперечливости 2) сбалансированности; 3) полноты.

деонтична несперечливисть в том, что система права исключает деонтично несовместимые нормы. Несовместимы — это те, в которых одновременно участником правоотношений приписывается:

О (d) Ù О (~ d) зобовьязанисть выполнить d и не-d.

F (d) Ù F (~ d) запрет выполнить d и не-d.

О (d) Ù F (~ d) зобовьязанисть выполнить d и запрет выполнить не-d.

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

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

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

Основаниями истинности или ошибочности суждения выступают структурно-логические характеристики самих суждений, или их соотношение с фактическим положением дел в реальной действительности. Отсюда соответствующие типы модальности: (1) логическая и (2) фактическая модальнисть.

Логическая модальнисть связана с логической детерминованистю суждений, истинность или ложность определяется структурой, или формой суждения. Логически истинные суждения (L-и) выражают законы логики. Логично ошибочно — это противоречивые суждения (Lx). Р ~ Ú Р — ист. — Закон исключено третьего; ~ (РàР) — ошибочные. противоречит закону тождества. (L-и L-х) суждения образуют класс логически детерминированных суждений (обусловленных). Все остальные являются классом фактических детерминированных суждений:

F-и Ú F-x.

Страницы: 1