Презентация "Суждение как логическая форма мышления"

Подписи к слайдам:
СУЖДЕНИЕ как логическая форма мышления
  • Учебная презентация
  • по логике
  • для гуманитарных факультетов
  • выполнена Скидан О.П., доцентом кафедры философии С(А)ФУ им.Ломоносова
СУЖДЕНИЕ
  • ЭТО ЛОГИЧЕСКАЯ ФОРМА, В КОТОРОЙ УСТАНАВЛИВАЕТСЯ СВЯЗЬ ПОНЯТИЙ
  • ЭТО ЛОГИЧЕСКАЯ ФОРМА, В КОТОРОЙ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ О ПРЕДМЕТЕ (КЛАССЕ ПРЕДМЕТОВ), ЕГО СВОЙСТВАХ ИЛИ ОТНОШЕНИЯХ
ВИДЫ СУЖДЕНИЙ
  • ПРОСТЫЕ И СЛОЖНЫЕ
  • СОЛНЦЕ – ЗВЕЗДА / СКАЗАЛ А, ГОВОРИ Б
  • КАТЕГОРИЧЕСКИЕ (АТРИБУТИВНЫЕ), С ОТНОШЕНИЯМИ, СУЖДЕНИЯ СУЩЕСТВОВАНИЯ
  • СОКРАТ – ЧЕЛОВЕК / ПРАКТИЧЕСКИЙ РАЗУМ ИМЕЕТ ПРИОРИТЕТ НАД ТЕОРЕТИЧЕСКИМ / БЫТИЕ ЕСТЬ
ПРОСТЫЕ КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ
  • ЭТО ВИД СУЖДЕНИЙ, КОТОРЫЕ ИМЕЮТ ТРЕХЧАСТНУЮ ЛОГИЧЕСКУЮ СТРУКТУРУ:
  • ОНИ СОСТОЯТ ИЗ
  • СУБЪЕКТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО ПРЕДМЕТ (КЛАСС ПРЕДМЕТОВ), О КОТОРОМ ВЫСКАЗЫВАЕМ МЫСЛЬ
  • ЛОГИЧЕСКОЙ СВЯЗКИ “ЕСТЬ” ИЛИ “НЕ ЕСТЬ”
  • ПРЕДИКАТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО СВОЙСТВА ИЛИ ОТНОШЕНИЯ
ПРИМЕР: КОМПЬЮТЕРНАЯ ПРОГРАММА ОКАЗАЛАСЬ УСТАРЕВШЕЙ
  • ЭТО ПРОСТОЕ СУЖДЕНИЕ, ИМЕЮЩЕЕ СТРУКТУРУ:
  • СУБЪЕКТ – КОМПЬЮТЕРНАЯ ПРОГРАММА
  • СВЯЗКА “ЕСТЬ”, ВЫРАЖЕННАЯ ГЛАГОЛОМ “ОКАЗАЛАСЬ”, КОТОРЫЙ УТВЕРЖДАЕТ СВОЙСТВО СУБЪЕКТА “БЫТЬ УСТАРЕВШИМ”
  • ПРЕДИКАТ – УСТАРЕВШИЕ ПРЕДМЕТЫ
ПОКАЖИТЕ, ЧТО В ПРОСТЫХ КАТЕГОРИЧЕСКИХ СУЖДЕНИЯХ
  • 1. ГРАММАТИЧЕСКАЯ И ЛОГИЧЕСКАЯ СТРУКТУРЫ ЧАСТО НЕ СОВПАДАЮТ
  • 2. В ЗАВИСИМОСТИ ОТ КОНТЕКСТА СУБЪЕКТ И ПРЕДИКАТ МОГУТ МЕНЯТЬСЯ МЕСТАМИ (КОНТЕКСТОМ МОЖЕТ БЫТЬ ВОПРОС)
КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ ПОДРАЗДЕЛЯЮТ
  • 1. ПО ВЗЯТОМУ ОБЪЕМУ СУБЪЕКТА (ПО КОЛИЧЕСТВУ) НА ОБЩИЕ И ЧАСТНЫЕ
  • 2. ПО ХАРАКТЕРУ СВЯЗКИ (ПО КАЧЕСТВУ) НА УТВЕРДИТЕЛЬНЫЕ И ОТРИЦАТЕЛЬНЫЕ
  • В РЕЗУЛЬТАТЕ ВЫДЕЛЕНЫ 4 ВИДА СУЖДЕНИЙ:
  • ОБЩЕУТВЕРДИТЕЛЬНЫЕ (А), ОБЩЕОТРИЦАТЕЛЬНЫЕ (Е), ЧАСТНОУТВЕРДИТЕЛЬНЫЕ (I), ЧАСТНООТРИЦАТЕЛЬНЫЕ (O).
ОПРЕДЕЛИТЬ КОЛИЧЕСТВО И КАЧЕСТВО СУЖДЕНИЙ
  • ВСЕ ВОЛКИ - ХИЩНИКИ
  • НЕКОТОРЫЕ ГИПОТЕЗЫ НЕ ПРОВЕРЕНЫ
  • МНОГИЕ ДЕТИ ХОТЕЛИ БЫТЬ НЕПОСРЕДСТВЕННЫМИ УЧАСТНИКАМИ ВОЙНЫ
  • ЛЮБОЙ НА ИХ МЕСТЕ ДУМАЛ БЫ ТАКЖЕ
  • НЕКОТОРЫЕ ЛАМПЫ ПЕРЕГОРЕЛИ
  • АКУЛЫ – НЕ МЛЕКОПИТАЮЩИЕ
ПОНЯТИЯ (ТЕРМИНЫ) ПРОСТОГО СУЖДЕНИЯ МОГУТ БЫТЬ
  • РАСПРЕДЕЛЕННЫМИ – ВЗЯТЫМИ В ПОЛНОМ ОБЪЕМЕ (ОБЪЕМ ТЕРМИНА ПОЛНОСТЬЮ ВХОДИТ В ОБЪЕМ ДРУГОГО ТЕРМИНА ИЛИ ПОЛНОСТЬЮ ИЗ НЕГО ИСКЛЮЧАЕТСЯ)
  • НЕРАСПРЕДЕЛЕННЫМИ – ВЗЯТЫМИ НЕ В ПОЛНОМ ОБЪЕМЕ
ПРОСТЫЕ КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ СВЯЗЫВАЮТ СУБЪЕКТ С ОДНИМ ПРЕДИКАТОМ, КОТОРЫЙ НАЗЫВАЕТСЯ ОДНОМЕСТНЫМ
  • В СУЖДЕНИЯХ С ОТНОШЕНИЯМИ УЧАСТВУЮТ ПРЕДИКАТЫ С БОЛЬШИМ КОЛИЧЕСТВОМ МЕСТ:
  • Х БОЛЬШЕ У – ДВУМЕСТНЫЙ
  • ВОЛОГДА НАХОДИТСЯ МЕЖДУ МОСКВОЙ И АРХАНГЕЛЬСКОМ - ТРЕХМЕСТНЫЙ
В РАМКАХ КЛАССИЧЕСКОЙ ЛОГИКИ КАЖДОЕ КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ ОБЛАДАЕТ ОДНИМ ИЗ ДВУХ ИСТИННОСТНЫХ ЗНАЧЕНИЙ: ИСТИННА ИЛИ ЛОЖЬ СЛОЖНОЕ СУЖДЕНИЕ
  • ЭТО СУЖДЕНИЕ, В СОСТАВ КОТОРОГО ВХОДИТ НЕСКОЛЬКО ПРОСТЫХ СУЖДЕНИЙ, СВЯЗАННЫХ ОДНИМ ИЗ ПЯТИ СЛЕДУЮЩИХ ЛОГИЧЕСКИХ СОЮЗОВ:
      • КОНЪЮНКЦИЯ
      • ДИЗЪЮНКЦИЯ
      • ИМПЛИКАЦИЯ
      • ЭКВИВАЛЕНЦИЯ
      • ОТРИЦАНИЕ
КОНЪЮНКЦИЯ
    • (СОЕДИНИТЕЛЬНЫЙ ЛОГИЧЕСКИЙ СОЮЗ)
  • ОБОЗНАЧАЕТСЯ ЗНАЧКАМИ: ∧ ИЛИ &
  • В РУССКОМ ЯЗЫКЕ ВЫРАЖАЕТСЯ СОЮЗАМИ И, А, НО, СОЮЗНЫМИ СЛОВАМИ ТАКЖЕ, КАК … ТАК И
  • ОПРЕДЕЛЯЕТСЯ ПО ТАБЛИЦЕ ИСТИННОСТИ:
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
ДИЗЪЮНКЦИЯ
    • (РАЗДЕЛИТЕЛЬНЫЙ ЛОГИЧЕСКИЙ СОЮЗ)
  • РАЗЛИЧАЮТ ДВА ВИДА ДИЗЪЮНКЦИИ: СТРОГУЮ И НЕСТРОГУЮ
  • В РУСКОМ ЯЗЫКЕ РАЗДЕЛЕНИЕ ВЫРАЖАЕТСЯ СОЮЗАМИ ИЛИ, ЛИБО-ЛИБО
  • НЕСТРОГАЯ ДИЗЪЮНКЦИЯ ЛОЖНА ТОЛЬКО В ТОМ СЛУЧАЕ, КОГДА ЛОЖНЫ ВСЕ ВХОДЯЩИЕ В ЕЕ СОСТАВ ПРОСТЫЕ СУЖДЕНИЯ
  • СТРОГАЯ ЛОЖНА И В СЛУЧАЕ ИСТИННОСТИ ПРОСТЫХ СУЖДЕНИЙ, В НЕЕ ВХОДЯЩИХ
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ)
  • В РУСКОМ ЯЗЫКЕ ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ ВЫРАЖАЕТСЯ СЛОВАМИ И СОЧЕТАНИЯМИ ЗНАЧИТ; КОГДА …, ТОГДА ...; ОТСЮДА СЛЕДУЕТ; ЕСЛИ …, ТО ...
  • ИМПЛИКАЦИЯ ЛОЖНА В ТОМ И ТОЛЬКО В ТОМ СЛУЧАЕ, КОГДА ИЗ ИСТИНЫ СЛЕДУЕТ ЛОЖЬ
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
  • А
  • В
  • А→В
  • И
  • И
  • И
  • Л
  • И
  • И
  • И
  • Л
  • Л
  • Л
  • Л
  • И
ЭКВИВАЛЕНЦИЯ
  • В РУСКОМ ЯЗЫКЕ ЭКВИВАЛЕНЦИЯ ВЫРАЖАЕТСЯ СОЧЕТАНИЯМИ ТОГДА И КОГДА …, ТОГДА ...; ОТСЮДА СЛЕДУЕТ; ЕСЛИ …, ТО ...
  • ЭКВИВАЛЕНЦИЯ ОПРЕДЕЛЯЕТСЯ СЛЕДУЮЩЕЙ ТАБЛИЦЕЙ:
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
  • А
  • В
  • А↔В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • И
ОТРИЦАНИЕ
  • В РУСКОМ ЯЗЫКЕ ОТРИЦАНИЕ ВЫРАЖАЕТСЯ СЛОВОМ НЕВЕРНО ИЛИ ЧАСТИЦЕЙ НЕ.
  • ОТРИЦАНИЕ ОБОЗНАЧАЕТСЯ СИМВОЛОМ ⇁
  • ИЛИ ПИШЕТСЯ С ОТРИЦАТЕЛЬНОЙ ЧАСТИЦЕЙ: НЕ-А
  • ОТРИЦАТЕЛЬНОЕ СУЖДЕНИЕ ЛОЖНО, КОГДА ИСХОДНОЕ ИСТИННО И НАОБОРОТ
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
  • СЛОЖНОЕ СУЖДЕНИЕ, КОТОРОЕ ВСЕГДА ПРИНИМАЕТ ЗНАЧЕНИЕ ИСТИНЫ (ПРИ ЛЮБЫХ ИСТИННОСТНЫХ ЗНАЧЕНИЯХ ПРОСТЫХ СУЖДЕНИЙ, ВХОДЯЩИХ В ЕГО СОСТАВ) НАЗЫВАЕТСЯ ТОЖДЕСТВЕННО ИСТИННЫМ, ИЛИ ЗАКОНОМ ЛОГИКИ
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л
  • Литература
  • Гетманова А.Д. Логика. М., 2009
  • Ивин А.А. Основы теории аргументации. М., 1997
  • А
  • В
  • А∧В
  • И
  • И
  • И
  • Л
  • И
  • Л
  • И
  • Л
  • Л
  • Л
  • Л
  • Л