Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика.Понятие и Суждения.docx
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
426.73 Кб
Скачать

3.5. Модальные суждения

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

Модальные суждения бывают простые и сложные. Символически могут быть представлены следующим образом: Mp – простое суждение «Возможно, этой зимой вырастут цены на продовольствие»; M (pq) – сложное суждение “ Доказано, что Рябов или Зайцев причастны к преступлению”.

Основные виды модальных суждений

Алетические модальные суждения (указывается характер связи, выраженной в суждении: возможно, что; необходимо, что; случайно, что). Алетические модальные суждения делят на два вида:

а) логические модальности характеризуют связи с точки зрения их

соответствия законам логики. Те суждения, которые соответствуют законам логики, называют логически возможными. Логически необходимыми являются сами законы логики.

б) фактические модальности - суждения, не противоречащие законам

объективного мира.

Логические модальные суждения обозначаются символически:

Np - необходимо, что р. Например, “Необходимо, что человек знает все языки или не знает какого-либо языка” – логическая модальность (Np).

Mp - возможно, что р.

Ср - случайно, что р.

Фактические модальные суждения:

р - необходимо, что р. Например, “Необходимо, что железо тонет в воде” – фактическая модальность (р).

р - возможно, что р.

р - случайно, что р.

эпистемические модальные суждения (указывается характер знания о предмете)

Модальные операторы:

Vp- доказано, что р. Например, “Вина подозреваемого доказана”

Fp- опровергнуто, что р. – доказано, что р (Vp).

Pp- вероятно, что р.

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

Ор - обязательно, что р. Например, “Органы расследования обязаны совершать необходимые по ходу дела процессуальные действия в установленный законом срок” – Обязательно, что р (Ор).

Зр - запрещено, что р.

Рр - разрешено, что р.

аксиологические модальные суждения (хорошо, что р).

временные модальные суждения (иногда, что р).

Контрольные вопросы

  1. Что такое суждение и как оно выражается в языке?

  2. Структура атрибутивных суждений.

  3. Дайте классификацию категорических суждений.

  4. Что такое распределённость терминов в суждении?

  5. Каковы виды сложных суждений и условия их истинности?

  6. Метод истинностных таблиц и его место в логике высказываний.

  7. Назовите виды совместимых суждений и условия их истинности.

  8. Чем отличаются отношения противоположности от отношений противоречия?

  9. Что такое модальные суждения? Назовите основные виды модальных суждений.

Упражнения

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

  1. Большинство стран Европы являются экономически развитыми государствами.

  2. Ни одно преступление не должно остаться безнаказанным.

  3. Не все врачи – хирурги.

  4. Свидетели должны давать истинные показания.

  5. Все ромбы являются равносторонними параллелограммами.

  6. Некоторые участники собрания не соглашались с предложенной резолюцией.

  7. Только разумные существа отвечают за свои поступки.

  8. Встречаются растения, не имеющие цветов.

II. Запишите в символической форме следующие суждения.

  1. Студент успешно сдаёт сессию, если он достаточно работает на протяжении семестра или интенсивно занимается во время сессии.

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

  3. “Человек должен быть либо душой, либо телом, либо телом и душой одновременно”(А. Полициано).

III. Определите, являются ли следующие формулы законами логики.

  1. (ав)↔ (ав)

  2. ((а→в)→в)→в)

  3. (ав) (ва)

  4. (а→в)↔ ( ав)

  5. а→(вс)↔(а(вс))

IV. Используя логический квадрат, подберите суждения противоречащие, противоположные, подчинённые данным. Определите их истинность.

  1. Все страны Азии – густонаселённые.

  2. Ни один студент нашей группы не является спортсменом.

  3. Обвиняемый имеет право на защиту.

V. Подберите суждения противоречащие, частично совместимые и подчиняющие данные. Определите их истинность.

  1. Некоторые государства Европы не являются республиками.

  2. Многие люди не слишком доверчивы.

  3. Не все студенты третьего курса выполнили курсовые работы.

VI. Определите отношения между суждениями.

  1. Все люди справедливы. – Ни один человек не является справедливым.

  2. Большинство металлов – твёрдые тела. – Некоторые металлы не являются твёрдыми телами.

  3. Некоторые люди изучают логику. – Неверно, что все люди изучают логику.

  4. Многие дети любят мороженое. – Неверно, что ни один ребёнок не любит мороженое.

  5. Если студент сдал зачёты, то он допускается к экзаменам. – Неверно, что студент или не сдал зачёты, или был допущен к экзаменам.

  6. Если на улице дождь, то крыши мокрые. – Если крыши не мокрые, то на улице нет дождя.

  7. Обе задачи были трудными. – Неверно, что только одна из задач была трудная.

VII. Решите задачу с помощью таблиц истинности.

  1. Если А или В виновны, то виновен С.

  2. По крайней мере, один из них виновен.

  3. Если виновны двое подозреваемых, то А – один из них.

  4. Если В невиновен, то С тоже невиновен.