- •1. История развития логики
- •2. Теоретическое и практическое значение логики
- •5. Основные логические законы: закон тождества
- •6. Основные логические законы: закон противоречия
- •7. Основные логические законы: закон исключенного третьего.
- •8. Основные логические законы: закон достаточного основания.
- •11. Общая характеристика понятий
- •12 Содержание и объем понятия. Виды понятий по объему
- •13 Содержание и объем понятия. Виды понятий по содержанию
- •14 Отношения между совместимыми понятиями
- •15 Отношения между несовместимыми понятиями
- •16 Логическая операция «Определение понятий». Правила определения
- •17 Логическая операция «Деление понятий». Правила деления
- •18 Логическая операция «Ограничение и обобщение понятий».
- •19 Общая характеристика суждений
- •20 Простые суждения: виды по назначению, классификация по количеству и качеству.
- •21 Распределенность логических терминов в простых категорических суждениях.
- •22. Отношения между совместимыми простыми суждениями
- •23. Отношения между несовместимыми простыми суждениями
- •24. Конъюнктивные и дизъюнктивные сложные суждения, условия их истинности
- •25. Импликативные и эквивалентные сложные суждения, условия их истинности
- •26. Модальные суждения
- •27. Общая характеристика умозаключений
- •35. Методы построения индуктивных умозаключений
- •36. Умозаключение по аналогии: структура и виды
21 Распределенность логических терминов в простых категорических суждениях.
Формы категорических суждений выражают четыре типа отношений между классами, которые представляют общие имена S и Р:
- в общеутвердительных суждениях утверждается, что каждый предмет класса S тождественен каким-то предметам Р;
- в частноутвердительных суждениях утверждается то же самое о некоторых предметах S (причем, говоря о некоторых, не исключают, что и все);
- в общеотрицательных суждениях, наоборот, утверждается, что ни один предмет класса S не совпадает ни с одним предметом Р, т.е. не тождественен никакому из этих предметов;
- в частноотрицательных суждениях то же самое утверждается о части (возможно, совпадающей со всем классом) предметов S.
Информация о тождестве или различии терминов категорического суждения – субъекта и предиката – выражается в понятии их распределенности. Термин категорического суждения называется распределенным, если он рассматривается в данном суждении во всем объеме, т.е. он полностью включается в объем другого термина или полностью исключается из него. Другими словами, распределенность или нераспределенность термина категорического суждения – его субъекта или предиката – указывает на то, имеем ли мы в данном суждении информацию обо всех или не обо всех предметах класса, представителем которого является данный термин (как общий знак предметов этого класса).
Распределенность терминов обозначается знаками «+» и «-»: S+, P+ – распределенные термины; S-, P- – нераспределенные термины.
Существует правило распределенности терминов в категорических суждениях: субъекты распределены в общих и не распределены в частных суждениях; предикаты распределены в отрицательных и не распределены в утвердительных суждениях. Содержание этого правила можно представить в виде таблицы (табл. 1).
22. Отношения между совместимыми простыми суждениями
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) отношение тождества (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.
1. Отношение тождества. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику.
Различия между высказываниями, содержащими простые эквивалентные суждения, проявляются главным образом словесно. Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».
2. Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
При ложности одного из них другое будет истинным: 1 I->O;
1 O->I. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным: I—>(0 v 1 О);
O->(I v1 I).
3. Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным: А—>1, Е—>0. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».
При ложности частного суждения общее суждение также будет ложным: 1I->1A; 1O->1E . Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».