Вопросы к теме «Логика вопросов и ответов»

1. Что представляет собой вопрос?

2. Какие виды вопросов Вы знаете?

3. Каковы правила постановки вопросов?

4. Что такое ответ?

5. Какие виды ответов Вам известны?

6. Каковы основные правила формулировки ответов?

Литература

Основная

1. Кириллов В.И., Старченко А.А. Логика. Учебник для юридических вузов. М.: Юристъ, 2004. Гл. 5.

Основные понятия модальной логики.

Цель занятия: Познакомить студентов с основными понятиями модальной логики.

Основные понятия: модальность, эпистемическая модальность, деонтическая модальность, алетическая модальность

План занятия:

1. Понятие модальных понятий, модальных суждений и модальной логики.

2. Эпистемологическая и алетическая модальности.

3. Оценочные модальные суждения и деонтическая модальность.

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

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

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

Модальный оператор выражается обычно в трех степенях: сильной положительной, слабой, сильно отрицательной.

Истинность модального суждения зависит от истинности того суждения, которое стоит под модальным оператором и от типа модального оператора.

2. Эпистемологическая и алетическая модальности. Посмотрите по толковому словарю, что означают понятия «эпистемологическая модальность»⁴ и «алетическая модальность»⁵.

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

Операторы	Эпистемические модальности	Алетические модальности
Сильный положительный	Доказано (верифицировано), V.	Необходимо, □.
Слабый	Проблематично, Р.	Возможно, ◊.
Сильный отрицательный	Опровергнуто, (фальсифицировано), F.	Невозможно,  □.

2.1. В эпистемологической модальности можно установить следующую связь операторов:

Vp  F p

V p  F p

Pp  Vp & Fp, где , знак эквивалентности, а р – некоторое суждение.

Изучите вопрос о выражении проблематических суждений в терминах теории вероятности ( Кириллов В.И., Старченко А.А. Логика. Учебник для юридических вузов. М.: Юристъ, 2001. С. 97 – 99).

Упражнение

1.Покажите, что Vp  Р p.

2.Покажите, что Vp  F p.

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

Обратите внимание, что между логической и фактической модальностью существуют следующие закономерности:

1. Логическая необходимость влечет фактическую необходимость, но не наоборот.

2. Фактическая возможность влечет логическую возможность, но не наоборот.

3. Логическая невозможность влечет фактическую невозможность, но не наоборот.

Или же в кругах Эйлера:

A

D

C

B

A

-Логически необходимое

B - Фактически необходимое

C - Фактически возможное

D - Логически возможное

Между высказываниями, содержащими алетические модальности, имеют место следующие соотношения:

□р  ◊ р.

□р  ◊р & ◊р.

◊р  □ р.