- •Оглавление
- •Предисловие
- •Тематический план
- •Тематический план
- •Учебная программа
- •Тема 1. Предмет и значение логики. Логика и язык.
- •Тема 2. Общие принципы правильного мышления. Основные законы логики.
- •Тема 3. Понятие как форма мышления. Категории имени в современной логике.
- •Тема 4. Суждение как форма мышления. Категория высказывания в современной логике.
- •Тема 5 Умозаключение как форма мышления. Категория рассуждения в современной логике.
- •Тема 6. Логика вопросов и ответов.
- •Тема 7. Логические основы аргументации.
- •Тема 8. Проблема, гипотеза, теория как формы развития знания.
- •Основная литература
- •Дополнительная литература
- •Справочная литература
- •Тема 5. Умозаключение как форма мышления. Категория рассуждения в современной логике.
- •Тема 6. Логика вопросов и ответов.
- •П о н я т и е
- •Правила деления
- •С у ж д е н и е
- •Распределенность терминов в суждении
- •Отношения между простыми суждениями. Логический квадрат
- •I о
- •Умозаключение
- •Умозаключения из сложных суждений
- •Общие правила силлогизмов относительно терминов
- •Общие правила силлогизма относительно посылок
- •Специальные правила фигур силлогизма являются производными от перечисленных общих правил
- •Доказательство и опровержение
- •Варианты контрольных работ
- •Используемая терминология
Распределенность терминов в суждении
Одним из важнейших вопросов в теории суждения является вопрос о распределенности терминов.
Термин называется распределенным, если в суждении он мыслится во всем своем объеме.
Термин называется нераспределенным, если в суждении он мыслится в части своего объема. Иначе говоря, термин суждения называется распределенным, если он полностью включается своим объемом в объем другого термина или полностью исключается из объема другого термина.
Проверим распределенность терминов в следующих суждениях.
1. «Все адвокаты - это юристы».
Здесь S - адвокаты
Р - юристы
По качеству - утвердительное (логическая связка - «есть»)
По количеству - общее, (квантор общности, выраженный
кванторным словом «все»).
Таким образом, получаем «Все S есть P».
Перед нами общеутвердительное суждение (А), отношение между терминами выглядит так:
P‾
S+
В рассматриваемом суждении устанавливается тождество между всем объемом субъекта и частью объема предиката, т.е. S мыслится в полном своем объеме (распределен), а Р - лишь в части своего объема (не распределен).
2. «Некоторые судьи не имеют высшего образования».
Здесь S - судья
Р - те кто имеет высшее образование
По качеству - отрицательное (логическая связка - «не есть»)
По количеству - частное (квантор существования, выраженный
кванторным словом «некоторые»).
Таким образом, получаем «Некоторые S есть P»
Это частноотрицательное суждение (О), отношение между терминами можно выразить при помощи схемы:
S‾ P+
Субъект не распределен, т.е. мыслится не в полном своем объеме, а предикат распределен, т.к. полностью исключается из объема субъекта.
3. «Некоторые студенты - спортсмены».
Здесь S - студенты
Р - спортсмены
По качеству - утвердительное (логическая связка - «есть»)
По количеству - частное (квантор существования, выраженный
кванторным словом «некоторые»).
Таким образом, получаем «Некоторые S есть P».
Это частноутвердительное суждение (I), отношение между терминами выглядит следующим образом:
S‾ P‾
И субъект, и предикат в этом суждении не распределены, т.к. только часть студентов является спортсменами, и только часть спортсменов является студентами.
4. «Ни одна из захватнических войн не является справедливой войной».
Здесь S - захватническая война
Р - справедливая война
По качеству - отрицательное (логическая связка - «не есть»)
По количеству - общее (квантор общности, выраженный кванторным
словом «ни одна из»).
Таким образом, получаем «Ни одно из S не есть P».
Данное суждение - общеотрицательное (Е). Отношения между терминами этого суждения можно выразить следующей схемой:
S+ P+
Субъект и предикат в этом суждении распределены, т.к. их объемы полностью исключают один из другого.
Если распределенные термины обозначить знаком «плюс», а нераспределенные - знаком «минус», то распределенность терминов в четырех известных нам типах суждений А, Е, I, О можно выразить схемой:
|
S |
P |
А |
+ |
- |
Е |
+ |
+ |
I |
- |
- |
О |
- |
+ |
См. задание 7 контрольной работы.