- •Панькова н.М.
- •08505 «Управление персоналом»
- •Предисловие
- •Тема 1 предмет науки логики
- •1.1 История возникновения логики
- •1.2 Логика как наука о рассуждении
- •1.3 Феномен человеческого познания
- •Контрольные вопросы
- •Тема 2 классическая логика высказываний
- •2.1 Язык классической логики высказываний (яклв)
- •2.2 Табличные определения логических констант
- •2.3. Метод сокращенных таблиц
- •Контрольные вопросы
- •Практические задания
- •Тема 3 основные понятия логики
- •Образование понятия, его объем и содержание
- •Отношения между понятиями
- •3.3 Операции с понятиями
- •3.4 Деление понятия
- •3.5 Суждение. Отношения между суждениями
- •Логический квадрат.
- •3.6 Отношения между суждениями
- •Контрольные вопросы
- •Практические задания
- •Тема 4 законы классической логики
- •Основные законы классической логики
- •Закон тождества
- •Закон непротиворечия
- •Закон исключенного третьего
- •Закон достаточного основания
- •Софизм и паралогизм
- •Контрольные вопросы
- •Практические задания
- •Тема 5 умозаключения
- •Общая характеристика умозаключений
- •Структура и классификация умозаключений
- •Умозаключения
- •Контрольные вопросы
- •Практические задания
- •Тема 6 непосредственные умозаключения
- •Умозаключение по логическому квадрату
- •Другие виды умозаключений
- •Контрольные вопросы
- •Практические задания
- •Тема 7 опосредованные умозаключения
- •Общая характеристика силлогизма
- •Простой категорический силлогизм
- •Фигуры силлогизма
- •Правильные модусы
- •Контрольные вопросы
- •Практические задания
- •Сложные сокращенные и сложносокращенные силлогизмы
- •Контрольные вопросы
- •Практические задания
- •Тема 9 индуктивные умозаключения
- •Общее определение индукции
- •История возникновения индукции
- •Виды индукции
- •Умозаключения по аналогии
- •Контрольные вопросы
- •Практические задания
- •Тема 10 доказательство
- •Общая характеристика доказательств
- •Структура доказательства
- •Способы доказательства
- •Понятие опровержения и его виды
- •Контрольные вопросы
- •Практические задания
- •Тема 11 классическая логика предикатов
- •Алфавит языка логики предикатов
- •Правила построения выражений в логике предикатов
- •Контрольные вопросы
- •Практические задания
- •Список рекомендуемой литературы Общая литература
- •Дополнительная литература
- •Контрольные вопросы
- •Содержание
3.5 Суждение. Отношения между суждениями
В традиционной логике суждение определяется таким образом: Суждение - это мысль, с помощью которой выражается присущность или неприсущность признака предмету (или классу предметов) и которая может быть охарактеризована как истинная или ложная.
Суждение и понятие сходны в том, что и то и другое есть мысль. Отличаются они тем, что понятие выделяет и обобщает объекты при помощи признаков. Суждение не выделяет и не обобщает. Суждение говорит, что состояние мира таково, что данный признак присущ данному объекту или, наоборот, не присущ данному объекту. Однако мир не всегда отвечает нашим ожиданиям. Он может соответствовать или не соответствовать ситуации, описываемой в суждении, а это означает, что суждение может быть истинным или ложным.
Логическая структура суждения включает в себя три элемента: субъект, предикат и связку. Субъект - это та часть суждения, в которой отражается предмет мысли, иначе говоря, то, о чем идет речь в данном суждении. Предикат - та часть, которая отражает свойство предмета. Связка устанавливает отношения между субъектом и предикатом суждения. Обычно связка устанавливается словами «есть» или «не есть». Субъект и предикат суждения называются терминами суждения.
Суждения подразделяются по своим качественным и количественным характеристикам.
В зависимости от того, утверждается ли присущность предиката субъекту суждения, или отрицается, выделяют утвердительные и отрицательные суждения.
Между утверждением и отрицанием существует определенная взаимосвязь. Утверждение в одном отношении есть отрицание в другом. Утверждение «эта картина превосходна» означает одновременно отрицание «эта картина не является не-превосходной»; отрицание «Ростов не является центром России» есть утверждение «Ростов является не-центром России».
В суждении нечто утверждается или отрицается об одном предмете, о части предметов класса, обо всех предметах класса. В зависимости от этого суждения подразделяются на единичные, частные и общие.
Единичными называются суждения, в которых нечто утверждается или отрицается об одном предмете.
Например: Аристотель был учителем Александра Македонского
Гегель написал книгу “Феноменология духа.
Суждения, в которых говорится о принадлежности или непринадлежности признака некоторым предметам определенного множества предметов, называются частными.
Они имеют форму «Некоторые S есть P» или «Некоторые S не есть P». Например:
Некоторые русские философы являются учеными мирового значения,
Многие из логиков получили философское образование.
Общие суждения - это такие суждения, в которых выражается принадлежность или непринадлежность признака всему классу рассматриваемых предметов.
Они имеют форму “Все S есть P” или “Все S не есть P”.
Например: Все люди пользуются равными правами
Никто из неандертальцев не знал периодической
системы элементов”.
Обобщенной характеристикой суждений по качеству и количеству является выделение следующих четырех видов суждений:
А. общеутвердительные высказывания,
начинающиеся с «все» (всякий)
Е. Общеотрицательные
высказывания, начинающиеся с «ни один» (никакой)
I. частноутвердительные
высказывания, начинающиеся с «некоторые»
O. частноотрицательные
высказывания, начинающиеся с «некоторые - не суть»
Краткая система записи, используемая для обозначения четырех видов высказываний, представляет собой буквы алфавита - гласные из латинских слов affirmo - утверждаю, соответственно А, I - для утвердительных и nego - отрицаю, соответственно Е и О - для отрицающих.
Для запоминания некоторых логических отношений между суждениями вида A,E,I, и O используется схема, которая называется логическим квадратом. Она построена таким образом, что, зная истинность одного из суждений, можно сделать вывод об истинности трех остальных.