СУЖДЕНИЕ как логическая форма мышления Учебная презентация по логике для гуманитарных факультетов выполнена Скидан О.П., доцентом кафедры философии С(А)ФУ им.Ломоносова

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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