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

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

Второй вопрос. Здесь следует рассмотреть деление простых атрибутивных суж­дений по качеству, которое определяется характером логической связки, а затем по количеству, которое определяется типом кванторного оператора. Соединяя первое деление со вторым, получаем в итоге четыре основных типа простых атрибутивных суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Охарактеризуйте логические свойства и структуру каждого из этих видов простых атрибутивных суждений. Продемонстрируйте различные спо­собы символического обозначения четырех основных видов простых атрибутивных суждений. Используйте Опорную схему № 2.

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

Четвертый вопрос. Логические отношения между совместимыми простыми ат­рибутивными суждениями Аристотель выразил в символической форме логическо­го квадрата. См. Опорную схему № 6. Логический квадрат позволяет по значению истинности одной из его сторон сделать вывод об истинности других его сторон. Рассмотрите специфику умозаключений по логическому квадрату, придавая раз­личные значения истинности каждой из его вершин, и определяя соответственно значения истинности остальных вершин логического квадрата.

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

План

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

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

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

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

Литература:

З.с.34-78

4. с.145 -181

б.с.101-119

8. с.42-59 9.С.74-96

10. с.40-57

16. с.28-34,56-76

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

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

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

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