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

31124_____.ppt

  • Количество слайдов: 25

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

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

Соотношение понятия и суждения • Связь понятия и суждения отражает объективную связь общего и Соотношение понятия и суждения • Связь понятия и суждения отражает объективную связь общего и единичного; • Понятие возникает на базе логических операций по выявлению существенных признаков предметов, а суждение образуется на основе установления связи между понятиями; • Понятием выражается предметный характер нашего мышления, в суждении раскрывается активное отношение мысли к окружающему миру; • Понятие выражается в слове, суждение в предложении.

СООТНОШЕНИЕ СУЖДЕНИЯ И ПРЕДЛОЖЕНИЯ • Всякое суждение выражается в предложении, но не всякое предложение СООТНОШЕНИЕ СУЖДЕНИЯ И ПРЕДЛОЖЕНИЯ • Всякое суждение выражается в предложении, но не всякое предложение является суждением (ВОПРОСИТЕЛЬНЫЕ И ПОБУДИТЕЛЬНЫЕ ПРЕДЛОЖЕНИЯ НЕ ЯВЛЯЮТСЯ СУЖДЕНИЯМИ) • Грамматический строй предложения и логическая структура суждения отличаются по своему составу; • Грамматический строй предложения уникален для каждого языка, логическая структура суждения универсальна;

ВИДЫ СУЖДЕНИЙ ПРОСТЫЕ И СЛОЖНЫЕ СОЛНЦЕ – ЗВЕЗДА / СКАЗАЛ А, ГОВОРИ Б По ВИДЫ СУЖДЕНИЙ ПРОСТЫЕ И СЛОЖНЫЕ СОЛНЦЕ – ЗВЕЗДА / СКАЗАЛ А, ГОВОРИ Б По содержанию предиката КАТЕГОРИЧЕСКИЕ (АТРИБУТИВНЫЕ), С ОТНОШЕНИЯМИ (РЕЛЯТИВНЫЕ), СУЖДЕНИЯ СУЩЕСТВОВАНИЯ СОКРАТ – ЧЕЛОВЕК / ПРАКТИЧЕСКИЙ РАЗУМ ИМЕЕТ ПРИОРИТЕТ НАД ТЕОРЕТИЧЕСКИМ / БЫТИЕ ЕСТЬ

Логическая структура суждения ПРОСТЫЕ СУЖДЕНИЯ ИМЕЮТ ТРЕХЧАСТНУЮ ЛОГИЧЕСКУЮ СТРУКТУРУ: ОНИ СОСТОЯТ ИЗ СУБЪЕКТА СУЖДЕНИЯ Логическая структура суждения ПРОСТЫЕ СУЖДЕНИЯ ИМЕЮТ ТРЕХЧАСТНУЮ ЛОГИЧЕСКУЮ СТРУКТУРУ: ОНИ СОСТОЯТ ИЗ СУБЪЕКТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО ПРЕДМЕТ (КЛАСС ПРЕДМЕТОВ), О КОТОРОМ ВЫСКАЗЫВАЕМ МЫСЛЬ ЛОГИЧЕСКОЙ СВЯЗКИ “ЕСТЬ” ИЛИ “НЕ ЕСТЬ” ПРЕДИКАТА СУЖДЕНИЯ – ПОНЯТИЯ, ФИКСИРУЮЩЕГО СВОЙСТВА ИЛИ ОТНОШЕНИЯ

СОСТАВ СУЖДЕНИЯ ВЫРАЖАЕТСЯ ФОРМУЛОЙ S есть P или S не есть P Где S СОСТАВ СУЖДЕНИЯ ВЫРАЖАЕТСЯ ФОРМУЛОЙ S есть P или S не есть P Где S – cубъект P – предикат Есть (не есть) - связка

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

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

ОБЩИЕ И ЧАСНЫЕ СУЖДЕНИЯ ВЫРАЖАЮТСЯ ПРИ ПОМОЩИ КВАНТОРНОГО СЛОВА КВАНТОРНЫЕ СЛОВА: «ВСЕ, НЕКОТОРЫЕ, МНОГИЕ, ОБЩИЕ И ЧАСНЫЕ СУЖДЕНИЯ ВЫРАЖАЮТСЯ ПРИ ПОМОЩИ КВАНТОРНОГО СЛОВА КВАНТОРНЫЕ СЛОВА: «ВСЕ, НЕКОТОРЫЕ, МНОГИЕ, НИ ОДИН И Т. Д. » А – ВСЕ S ЕСТЬ P I – НЕКОТОРЫЕ S ЕСТЬ P E – НИ ОДИН S НЕ ЕСТЬ P O – НЕКОТОРЫЕ S НЕ ЕСТЬ P AFFIRMO NEGO

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

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

ПРАВИЛА РАСПРЕДЕЛЁННОСТИ ТЕРМИНОВ 1. СУБЪЕКТ РАСПРЕДЕЛЁН В ОБЩИХ И НЕРАСПРЕДЕЛЁН В ЧАСТНЫХ СУЖДЕНИЯХ 2. ПРАВИЛА РАСПРЕДЕЛЁННОСТИ ТЕРМИНОВ 1. СУБЪЕКТ РАСПРЕДЕЛЁН В ОБЩИХ И НЕРАСПРЕДЕЛЁН В ЧАСТНЫХ СУЖДЕНИЯХ 2. ПРЕДИКАТ РАСПРЕДЕЛЁН В ОТРИЦАТЕЛЬНЫХ И НЕ РАСПРЕДЕЛЁН В УТВЕРДИТЕЛЬНЫХ СУЖДЕНИЯХ

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

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

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

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

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

НЕСТРОГАЯ ДИЗЪЮНКЦИЯ (ИЛИ) А И И Л Л В И Л А˅ В И НЕСТРОГАЯ ДИЗЪЮНКЦИЯ (ИЛИ) А И И Л Л В И Л А˅ В И И И Л

СТРОГАЯ ДИЗЪЮНКЦИЯ ( ЛИБО… ЛИБО) А И И Л Л В И Л А˅В СТРОГАЯ ДИЗЪЮНКЦИЯ ( ЛИБО… ЛИБО) А И И Л Л В И Л А˅В Л И И Л

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

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

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

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

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