Тема 6. Сложные суждения План

1.Структура и свойства сложных суждений

2.Основные виды сложных суждений

3.Отношения между сложными суждениями

4.Символическая логика высказываний

Литература

3. с.34 -78

4. с.145 -181

6. с.101-119

8. с.42-59

9. с.74-96

10. с.40-57

16. с.28-34,56-76

Методические рекомендации:

Первый вопрос. Здесь необходимо рассмотреть два основных структурных признака сложных суждений. Первый – логическая связка между простыми элементами сложного суждения. Разберите основные виды логических связок. Второй признак – состав сложного суждения. Сложное атрибутивное суждение может состоять из одного субъекта и нескольких предикатов, или из нескольких субъектов и одного предиката, и, наконец, из нескольких субъектов и нескольких предикатов. Свойства сложных суждений определяются их структурой и значением истинности. Значение истинности сложных суждений определяется в зависимости от значения истинности его простых составных частей и характера логической связки между ними с помощью таблиц истинности.

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

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

Четвертый вопрос. Классификация сложных суждений в логике высказываний формализована с помощью специального символического языка. При анализе типов сложных суждений опирайтесь на опорную схему №3. Очень важно при этом освоить процедуру превращения сложных суждений из одного вида в другой и проверки их на истинность. Рассмотрите формулы обращения одного вида сложных суждений в другой вид. Главное внимание в этом вопросе следует уделить процедуре разрешения на истинность формализованных сложных многосоставных суждений. Следует усвоить порядок выполнения процедуры разрешения на истинность. Обратите внимание на то, что не все сложные многосоставные суждения разрешаются на истинность. Сложное суждение считается абсолютно истинным, если все суждение является истинным при любых значениях истинности его составных частей. Сложное суждение считается разрешимым, если при некоторых наборах значений истинности простых составных частей, все выражение является истинным. Сложное суждение считается неразрешимым, абсолютно ложными, если при любых наборах значений истинности простых составных частей, все выражение оказывается ложным.