- •Рабочая тетрадь по курсу «Логика»
- •Предмет и значение логики
- •Понятие как форма мышления
- •Отношения между понятиями
- •Обобщение и ограничение понятия
- •Определение понятий
- •Деление понятий
- •Суждение
- •Умозаключение
- •Доказательство, структура и форма доказательства.
- •Вопросы к зачету по логике.
- •Варианты заданий к зачету.
Суждение
! |
Суждение - форма речемыслительной деятельности, в которой содержится утверждение или отрицание. |
Суждение представляет собой связь понятий и обладает характеристикой соответствия или несоответствия действительности, т.е. может быть, с точки зрения классической логики, либо истинным, либо ложным. Языковой формой суждения является повествовательное предложение или риторический вопрос, а вопросительное и побудительное предложение суждения не выражают, поскольку не содержат утверждения или отрицания. Суждение включает в себя:
субъект суждения – то, относительно чего что-либо утверждается или отрицается, обозначается буквой Ѕ;
предикат суждения – то, что утверждается или отрицается относительно субъекта суждения, обозначается буквой Р;
логическую связку субъекта и предиката суждения: «Ѕ есть (не есть) Р»;
квантор (кванторное слово), с помощью которого фиксируется, в каком объеме взят в данном суждении субъект: «все Ѕ…», «некоторые Ѕ…», «ни одно Ѕ…».
Все суждения можно разделить на простые суждения и сложные. Простым называется суждение, выражающее связь двух понятий. Сложным суждением называется суждение, составленное из простых суждений с помощью логических союзов:
конъюнкции (соединительные суждения р /\ q );
дизъюнкции (разделительные суждения р \/ q );
импликации (условные суждения р → q ).
Из всего множества видов простого суждения рассмотрим суждения атрибутивные; они делятся, во-первых, по качеству, образуя два подмножества суждений: суждения утвердительные и суждения отрицательные, во-вторых, по количеству, образуя суждения частные и общие.
Пример: суждение «Ночью все кошки серы» по качеству является утвердительным, по количеству - общим. Суждение «Некоторые кошки не любят джаз» по данной классификации является отрицательным и частным.
Объединяя классификацию простых суждений по количеству с классификацией их по качеству, получаем следующие четыре вида простых суждений:
Общеутвердительные суждения: «Все Ѕ есть Р», обозначается (А);
Частноутвердительные суждения: «Некоторые Ѕ есть Р», обозначается (I);
Общеотрицательные суждения: «Ни одно Ѕ не есть Р», обозначается (Е);
Частноотрицательные суждения: «Некоторые Ѕ не есть Р», обозначается (О).
Распределенность субъекта и предиката в суждениях А, I, Е, О можно зафиксировать в следующей таблице:
|
A |
E |
I |
O |
S |
+ |
+ |
- |
- |
P |
- |
+ |
- |
+ |
Отношения между суждениями типа А, I, Е, О составляют логический квадрат:
А |
противоположность |
Е |
подчинение |
противоречие |
подчинение |
I |
частичная совместимость |
O |
Отношение А – Е, отношение противоположности (контрарности). Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Если А истинное суждение, то Е – ложное, если Е истинное, то А – ложное. Из ложности А или Е нельзя сделать вывод о ложности или истинности, соответственно, Е или А. Схема: А(и)→Е(л), Е(и)→А(л); А(л)→Е?; Е(л)→А?.
Отношение I – О, отношение частичной совместимости (субконтрарности). Схема: I(и)→О?; О(и)→I?; I(л)→О(и); О(л)→I(и).
Отношение А - О, Е - I, отношение противоречия (контрадикторности). Схема: А(и)→О(л); А(л)→ О(и); Е(и)→ I(л); Е(л)→ I(и).
Отношение А - I, Е – О, отношение подчинения. Схема: А(и) →I(и); Е(и) →О(и);I(и) →А?;О(и) →Е?; А(л) →I?; Е(л) →О?; I(л) →А(л); О(л) →Е(л).
Дано суждение: «Все студенты деффака изучают логику». Определить субъект, предикат данного суждения и найти его место в логическом квадрате; построить соответствующие суждения типа Е и I, установить, если это возможно, их истинность (ложность) при условии, что исходное суждение истинное.
S
P
E
I
Дано суждение «Есть студенты, которым курс традиционной логики дается легко». Определить субъект, предикат данного суждения, с помощью кругов Эйлера изобразить отношения между ними. Аналогичное задание выполнить по отношению к следующему суждению: «Нет ни одного декана факультета, кто сдавал бы зачет по логике вместо студента».
S |
|
P |
|