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