- •Санкт-петербургский государственный торгово-экономический университет
- •Введение Предмет и значение логики
- •Понятие логической формы и логического закона. Истинность и логическая правильность
- •Часть I. Формы мышления
- •Глава 1. Понятие как форма мышления
- •Виды понятий по объему и содержанию
- •Виды отношений между понятиями
- •Логические операции над понятиями
- •Определение
- •Деление и его правила.
- •Задачи и упражнения к теме «Понятие как форма мышления»
- •Глава 2. Суждение как форма мысли
- •Структура простого суждения
- •Деление простых суждений по характеру предиката
- •Деление простых суждений по качеству и количеству
- •Распределенность терминов в суждении
- •Отношения между суждениями. Логический квадрат
- •Сложные суждения и их виды. Таблицы истинности сложных суждений
- •Модальность суждений
- •Вопрос и его структура
- •Задачи и упражнения к теме «Суждение как форма мысли»
- •Глава 3. Умозаключение
- •3.1. Виды дедуктивных (опосредованных) умозаключений и их правила
- •Виды непосредственных умозаключений
- •Простой категорический силлогизм и его правила
- •Умозаключения логики высказываний
- •3.2. Индуктивные умозаключения
- •3.3. Умозаключение по аналогии: его структура и виды
- •Упражнения к теме «Умозаключение»
- •Глава 4. Основные законы формальной логики
- •Часть II. Теория аргументации Логические основы теории аргументации
- •Доказательство и его правила
- •Недоказательная аргументация и ее правила.
- •Спор как вид аргументации. Виды спора. Правила спора
- •Часть III. Формы развития научного знания Проблема, гипотеза, теория
- •Литература
Глава 2. Суждение как форма мысли
Суждение – это форма мышления, выраженная в языке повествовательным предложением, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета; суждение может быть истинным или ложным. Если определять более просто, то суждение – это форма мышления, в которой что-либо утверждается или отрицается относительно чего-либо.
В классической (двузначной) логике исходят из того, что всякое суждение либо истинно, либо ложно. Истинным называется то суждение, которое соответствует действительности, в противном случае – ложным. Именно суждение обладает этой способностью выражать истину или ложь (другим формам мышления это не свойственно).
Суждения делятся на простые и сложные, последние состоят из нескольких простых. В языке простые суждения выражаются с помощью повествовательных предложений или вопросительных, содержащих в себе риторический вопрос.
Структура простого суждения
Каждое простое суждение включает в себя субъект (S) – то, о чем высказывается что-либо (логическое подлежащее), и предикат (Р) – то, что высказывается о субъекте, а также логическая связка, выражающая связь между субъектом и предикатом суждения.
По качеству предиката, т. е. в зависимости от того, какие реальные признаки предмета выражены в предикате, простые суждения делятся на 1) атрибутивные суждения, 2) суждения отношения и 3) суждения существования.
Если понятие предиката отражает признак предмета или класс предметов, то такие суждения называются атрибутивными (суждениями свойства). Например: «Все огурцы зеленые», «Все караси – рыбы». Атрибутивные суждения имеют форму:
«S есть P».
Деление простых суждений по характеру предиката
Если понятие предиката отражает отношение между предметами, то такие суждения называются релятивными (суждениями отношения). Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и др. отношения. Например: «Псков старше, нежели Санкт-Петербург», «А равно В», «Ольга учится лучше Сергея». Релятивные суждения имеют форму «S1 P S, т. е. в нем два субъекта, связь между которыми выражает предикат.
Экзистенциальными (суждениями существования) называются суждения, в которых предикат является понятием существования. Например: «Существуют динамические законы», «Не существует беспричинных явлений». Форма экзистенциального суждения: «S есть», «S не есть», здесь понятие «есть» (или его синонимы) выполняет не роль логической связки, как это имеет место в атрибутивном суждении, а является самостоятельным предикатом.
Атрибутивные суждения, в которых точно определены качество и количество, называются категорическими суждениями. Качество и количество являются основными логическими характеристиками суждения.
Деление простых суждений по качеству и количеству
Качество суждения зависит от определенности логической связки. Если перед связкой стоит отрицание, то суждение является отрицательным и имеет форму «S не есть P»; если отрицания нет, то суждения является утвердительным («S есть P»).
Количество суждения зависит от логического объема субъекта суждения. По количеству суждения делятся на:
1. Единичные, в которых предикат высказывается о каком-то единичном субъекте. Имеют форму: «Это S есть (не есть) P». Например: «Это здание – памятник архитектуры».
2. Частные, в которых предикат высказывается о части какого-либо класса предметов. Имеют форму: «Некоторые S есть (не есть) P». («Некоторые студенты не сдали экзамен по математике»).
3. Общие: предикат высказывается о всех представителях какого-либо класса (о классе в целом), обладают формой: «Все S есть (не есть) P» («Любая сделка, не соответствующая требованиям законодательства, не признается действительной»).
Как видно из приведенных примеров, количество суждения обозначается кванторными (от латинского слова, обозначающего «количество») словами, выражающими логический объем субъекта: «все», «ни один», «некоторые», «это».
Объединив количественную и качественную характеристики суждения, получаем следующие виды атрибутивных суждений:
Таблица 1
-
Вид суждения
Формула
Обозначение
общеутвердительное
Все S суть P
S a P
А
частноутвердительное
Некоторые S есть P
S I P
I
общеотрицательное
Ни одно S не есть P
S e P
Е
частноотрицательное
Некоторые S не есть Р
S o P
О
Как видим, из объединенной классификации суждений по качеству и количеству удалены единичноутвердительные и единичноотрицательные суждения.
В логике принято сокращенное обозначение суждений. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo (утверждаю), а отрицательные – двумя гласными буквами латинского слова nego (отрицаю.)