Тема 5. Простые атрибутивные суждения

План

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

2.Основные виды простых атрибутивных суждений

3.Логические отношения между простыми атрибутивными суждениями

4.Логический квадрат и умозаключения по логическому квадрату.

Литература

С.124-145

С.101-120

С.38-42

С.58-74

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

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

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

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

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