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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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