СУЖДЕНИЕ как логическая форма мышления Учебная презентация по

СУЖДЕНИЕ как логическая форма мышления Учебная презентация по логике Выполнел Голубов Р. А.

СУЖДЕНИЕ ЭТО ЛОГИЧЕСКАЯ ФОРМА, В КОТОРОЙ УСТАНАВЛИВАЕТСЯ СВЯЗЬ ПОНЯТИЙ ЭТО ЛОГИЧЕСКАЯ ФОРМА, В КОТОРОЙ ЧТОЛИБО УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ О ПРЕДМЕТЕ (КЛАССЕ ПРЕДМЕТОВ), ЕГО СВОЙСТВАХ ИЛИ ОТНОШЕНИЯХ

ВИДЫ СУЖДЕНИЙ ПРОСТЫЕ И СЛОЖНЫЕ СОЛНЦЕ – ЗВЕЗДА / СКАЗАЛ А, ГОВОРИ Б КАТЕГОРИЧЕСКИЕ (АТРИБУТИВНЫЕ), С ОТНОШЕНИЯМИ, СУЖДЕНИЯ СУЩЕСТВОВАНИЯ СОКРАТ – ЧЕЛОВЕК / ПРАКТИЧЕСКИЙ РАЗУМ ИМЕЕТ ПРИОРИТЕТ НАД ТЕОРЕТИЧЕСКИМ / БЫТИЕ ЕСТЬ

ПРОСТЫЕ КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ ЭТО ВИД СУЖДЕНИЙ, КОТОРЫЕ ИМЕЮТ ТРЕХЧАСТНУЮ ЛОГИЧЕСКУЮ СТРУКТУРУ: ОНИ СОСТОЯТ ИЗ СУБЪЕКТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО ПРЕДМЕТ (КЛАСС ПРЕДМЕТОВ), О КОТОРОМ ВЫСКАЗЫВАЕМ МЫСЛЬ ЛОГИЧЕСКОЙ СВЯЗКИ “ЕСТЬ” ИЛИ “НЕ ЕСТЬ” ПРЕДИКАТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО СВОЙСТВА ИЛИ ОТНОШЕНИЯ

ПРИМЕР: КОМПЬЮТЕРНАЯ ПРОГРАММА ОКАЗАЛАСЬ УСТАРЕВШЕЙ ЭТО ПРОСТОЕ СУЖДЕНИЕ, ИМЕЮЩЕЕ СТРУКТУРУ: СУБЪЕКТ – КОМПЬЮТЕРНАЯ ПРОГРАММА СВЯЗКА “ЕСТЬ”, ВЫРАЖЕННАЯ ГЛАГОЛОМ “ОКАЗАЛАСЬ”, КОТОРЫЙ УТВЕРЖДАЕТ СВОЙСТВО СУБЪЕКТА “БЫТЬ УСТАРЕВШИМ” ПРЕДИКАТ – УСТАРЕВШИЕ ПРЕДМЕТЫ

ПОКАЖИТЕ, ЧТО В ПРОСТЫХ КАТЕГОРИЧЕСКИХ СУЖДЕНИЯХ 1. ГРАММАТИЧЕСКАЯ И ЛОГИЧЕСКАЯ СТРУКТУРЫ ЧАСТО НЕ СОВПАДАЮТ 2. В ЗАВИСИМОСТИ ОТ КОНТЕКСТА СУБЪЕКТ И ПРЕДИКАТ МОГУТ МЕНЯТЬСЯ МЕСТАМИ (КОНТЕКСТОМ МОЖЕТ БЫТЬ ВОПРОС)

КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ ПОДРАЗДЕЛЯЮТ 1. ПО ВЗЯТОМУ ОБЪЕМУ СУБЪЕКТА (ПО КОЛИЧЕСТВУ) НА ОБЩИЕ И ЧАСТНЫЕ 2. ПО ХАРАКТЕРУ СВЯЗКИ (ПО КАЧЕСТВУ) НА УТВЕРДИТЕЛЬНЫЕ И ОТРИЦАТЕЛЬНЫЕ В РЕЗУЛЬТАТЕ ВЫДЕЛЕНЫ 4 ВИДА СУЖДЕНИЙ: ОБЩЕУТВЕРДИТЕЛЬНЫЕ (А), ОБЩЕОТРИЦАТЕЛЬНЫЕ (Е), ЧАСТНОУТВЕРДИТЕЛЬНЫЕ (I), ЧАСТНООТРИЦАТЕЛЬНЫЕ (O).

ОПРЕДЕЛИТЬ КОЛИЧЕСТВО И КАЧЕСТВО СУЖДЕНИЙ ВСЕ ВОЛКИ - ХИЩНИКИ НЕКОТОРЫЕ ГИПОТЕЗЫ НЕ ПРОВЕРЕНЫ МНОГИЕ ДЕТИ ХОТЕЛИ БЫТЬ НЕПОСРЕДСТВЕННЫМИ УЧАСТНИКАМИ ВОЙНЫ ЛЮБОЙ НА ИХ МЕСТЕ ДУМАЛ БЫ ТАКЖЕ НЕКОТОРЫЕ ЛАМПЫ ПЕРЕГОРЕЛИ АКУЛЫ – НЕ МЛЕКОПИТАЮЩИЕ

ПОНЯТИЯ (ТЕРМИНЫ) ПРОСТОГО СУЖДЕНИЯ МОГУТ БЫТЬ РАСПРЕДЕЛЕННЫМИ – ВЗЯТЫМИ В ПОЛНОМ ОБЪЕМЕ (ОБЪЕМ ТЕРМИНА ПОЛНОСТЬЮ ВХОДИТ В ОБЪЕМ ДРУГОГО ТЕРМИНА ИЛИ ПОЛНОСТЬЮ ИЗ НЕГО ИСКЛЮЧАЕТСЯ) НЕРАСПРЕДЕЛЕННЫМИ – ВЗЯТЫМИ НЕ В ПОЛНОМ ОБЪЕМЕ

ПРОСТЫЕ КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ СВЯЗЫВАЮТ СУБЪЕКТ С ОДНИМ ПРЕДИКАТОМ, КОТОРЫЙ НАЗЫВАЕТСЯ ОДНОМЕСТНЫМ В СУЖДЕНИЯХ С ОТНОШЕНИЯМИ УЧАСТВУЮТ ПРЕДИКАТЫ С БОЛЬШИМ КОЛИЧЕСТВОМ МЕСТ: Х БОЛЬШЕ У – ДВУМЕСТНЫЙ ВОЛОГДА НАХОДИТСЯ МЕЖДУ МОСКВОЙ И АРХАНГЕЛЬСКОМ - ТРЕХМЕСТНЫЙ

В РАМКАХ КЛАССИЧЕСКОЙ ЛОГИКИ КАЖДОЕ КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ ОБЛАДАЕТ ОДНИМ ИЗ ДВУХ ИСТИННОСТНЫХ ЗНАЧЕНИЙ: ИСТИННА ИЛИ ЛОЖЬ

СЛОЖНОЕ СУЖДЕНИЕ ЭТО СУЖДЕНИЕ, В СОСТАВ КОТОРОГО ВХОДИТ НЕСКОЛЬКО ПРОСТЫХ СУЖДЕНИЙ, СВЯЗАННЫХ ОДНИМ ИЗ ПЯТИ СЛЕДУЮЩИХ ЛОГИЧЕСКИХ СОЮЗОВ: КОНЪЮНКЦИЯ ДИЗЪЮНКЦИЯ ИМПЛИКАЦИЯ ЭКВИВАЛЕНЦИЯ ОТРИЦАНИЕ

КОНЪЮНКЦИЯ (СОЕДИНИТЕЛЬНЫЙ ЛОГИЧЕСКИЙ СОЮЗ) ОБОЗНАЧАЕТСЯ ЗНАЧКАМИ: ∧ В РУССКОМ ЯЗЫКЕ ВЫРАЖАЕТСЯ СОЮЗАМИ И, А, ИЛИ & НО, СОЮЗНЫМИ СЛОВАМИ ТАКЖЕ, КАК … ТАК И ОПРЕДЕЛЯЕТСЯ ПО ТАБЛИЦЕ ИСТИННОСТИ: А И Л В И И Л Л А∧В И Л Л Л

ДИЗЪЮНКЦИЯ (РАЗДЕЛИТЕЛЬНЫЙ ЛОГИЧЕСКИЙ СОЮЗ) РАЗЛИЧАЮТ ДВА ВИДА ДИЗЪЮНКЦИИ: СТРОГУЮ И НЕСТРОГУЮ В РУСКОМ ЯЗЫКЕ РАЗДЕЛЕНИЕ ВЫРАЖАЕТСЯ СОЮЗАМИ ИЛИ, ЛИБО-ЛИБО НЕСТРОГАЯ ДИЗЪЮНКЦИЯ ЛОЖНА ТОЛЬКО В ТОМ СЛУЧАЕ, КОГДА ЛОЖНЫ ВСЕ ВХОДЯЩИЕ В ЕЕ СОСТАВ ПРОСТЫЕ СУЖДЕНИЯ СТРОГАЯ ЛОЖНА И В СЛУЧАЕ ИСТИННОСТИ ПРОСТЫХ СУЖДЕНИЙ, В НЕЕ ВХОДЯЩИХ

ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ) В РУСКОМ ЯЗЫКЕ ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ ВЫРАЖАЕТСЯ СЛОВАМИ И СОЧЕТАНИЯМИ ЗНАЧИТ; КОГДА …, ТОГДА. . . ; ОТСЮДА СЛЕДУЕТ; ЕСЛИ …, ТО. . . ИМПЛИКАЦИЯ ЛОЖНА В ТОМ И ТОЛЬКО В ТОМ СЛУЧАЕ, КОГДА ИЗ ИСТИНЫ СЛЕДУЕТ ЛОЖЬ А И Л В И И Л Л А→В И И Л И

ЭКВИВАЛЕНЦИЯ В РУСКОМ ЯЗЫКЕ ЭКВИВАЛЕНЦИЯ ВЫРАЖАЕТСЯ СОЧЕТАНИЯМИ ТОГДА И КОГДА …, ТОГДА. . . ; ОТСЮДА СЛЕДУЕТ; ЕСЛИ …, ТО. . . ЭКВИВАЛЕНЦИЯ ОПРЕДЕЛЯЕТСЯ СЛЕДУЮЩЕЙ ТАБЛИЦЕЙ: А И Л В И И Л Л А↔В И Л Л И

ОТРИЦАНИЕ В РУСКОМ ЯЗЫКЕ ОТРИЦАНИЕ ВЫРАЖАЕТСЯ СЛОВОМ НЕВЕРНО ИЛИ ЧАСТИЦЕЙ НЕ. ОТРИЦАНИЕ ОБОЗНАЧАЕТСЯ СИМВОЛОМ ⇁ ИЛИ ПИШЕТСЯ С ОТРИЦАТЕЛЬНОЙ ЧАСТИЦЕЙ: НЕ-А ОТРИЦАТЕЛЬНОЕ СУЖДЕНИЕ ЛОЖНО, КОГДА ИСХОДНОЕ ИСТИННО И НАОБОРОТ

СЛОЖНОЕ СУЖДЕНИЕ, КОТОРОЕ ВСЕГДА ПРИНИМАЕТ ЗНАЧЕНИЕ ИСТИНЫ (ПРИ ЛЮБЫХ ИСТИННОСТНЫХ ЗНАЧЕНИЯХ ПРОСТЫХ СУЖДЕНИЙ, ВХОДЯЩИХ В ЕГО СОСТАВ) НАЗЫВАЕТСЯ ТОЖДЕСТВЕННО ИСТИННЫМ, ИЛИ ЗАКОНОМ ЛОГИКИ

Литература Гетманова А. Д. Логика. М. , 2009 Ивин А. А. Основы теории аргументации. М. , 1997