- •1. Значение логики для судебного познания
- •2. Основные особенности отражения мира на ступени абстрактного мышления
- •3. Понятие как форма мышления
- •4. Языковые формы значения понятия
- •5. Логические формы образования понятия
- •6. Логическая структура понятий. Закон обратного отношения между содержанием и объемом понятия
- •7. Виды понятий
- •8. Сравнимые и несравнимые понятия
- •10. Ограничение и обобщение понятий
- •11. Определение понятий
- •12. Определение понятий через род и видовое отличие
- •13. Правила определений понятий и ошибки, возможные при их нарушении
- •14. Деление понятий. Сущность, задачи и правила деления.
- •15. Понятие признака. Их виды и классификация
- •16. Суждение как логическая форма отражения действительности
- •17. Суждение, высказывание и предложение
- •18. Логическая структура суждения
- •19. Деление суждений по качеству
- •20. Деление суждений по количеству
- •21. Объединенная классификация суждений по количеству и качеству
- •22. Отношения между суждениями различного количества и качества. Логический квадрат
- •23. Деление суждений по модальности
- •24. Категорические суждения
- •25. Условные суждения
- •26. Соединительные суждения
- •27. Разделительные суждения
- •28. Сложные суждения
- •29. Общая характеристика умозаключения
- •30. Непосредственное умозаключение
- •31. Понятие о дедуктивных умозаключениях, их роль в познании
22. Отношения между суждениями различного количества и качества. Логический квадрат
Установление отношений между суждениями предполагает выяснение таких вопросов: могут ли быть эти суждения вместе истинными, могут ли они быть вместе ложными, обусловливает ли истинность одного истинность другого и т. п. , иначе говоря, отношения между суждениями устанавливают по их истинностным значениям. Все указанные отношения делятся на две группы: совместимости и несовместимости. Суждения называются совместимыми, если они могут одновременно быть истинными, и несовместимыми, если они не могут быть одновременно истинными. Между простыми категорическими суждениями можно устанавливать отношения только в случае, если они имеют одинаковые субъект и предикат, а различаются по количеству и (или) качеству. Отношения между ними определяют по “логическому квадрату”. “Логический квадрат” предложен в XI веке византийским логиком Михаилом Пселлом. “Логический квадрат” – наглядная схема, облегчающая запоминание характера отношений между общеутвердительными (А), частноутвердительными (I), общеотрицательными (E) и частноотрицательными (O) суждениями. 1. В отношениях контрадикторности находятся суждения A и O, E и I, они различаются по качеству и количеству. Из двух противоречащих суждений одно непременно истинно, другое – ложно. Оба противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными. 2. В отношениях контрарности находятся суждения A и E, они различаются по качеству, но не по количеству. Два противных суждения не могут быть одновременно истинными, но могут быть одновременно ложными. 3. В отношениях подчинения находятся суждения A и I, O и E, они различаются по количеству, но не по качеству. Из истинности подчиняющего суждения следует истинность подчиненного. Но из истинности подчиненного необходимо не следует истинность подчиняющего. Тем самым это отношение не определено. Из ложности подчиняющего суждения необходимо не следует ложность подчиненного суждения. Тем самым это отношение не определено. Из ложности подчиненного суждения необходимо следует ложность подчиняющего.4. В отношениях субконтрарности находятся суждения I и O различные по качеству, но не по количеству. Их отношения истинности и ложности непосредственно не определены. Если I истинно, то E ложно и так как E ложно, то O может быть как истинным, так и ложным. Если I ложно, то E истинно и, значит, O истинно. Итак, если одно из двух подпротивных суждений ложно, то другое истинно. Оба субконтрарные суждения не могут быть одновременно ложными, но могут быть одновременно истинными.
23. Деление суждений по модальности
Существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер связи между отдельными простыми суждениями в сложном суждении. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школьники - учащиеся”; “Доказано, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы”; “Хорошо, что яблоко сладкое и красное”; “Возможно, что я эту работу не выполню в срок”; “Вероятно, что если будет плохая погода, то мы не поедем на теплоходе”. Мы видим, что модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения. О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случайной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результате таких уточнений мы получаем модальное суждение различных типов. Приведем еще примеры модальных суждений: “Возможно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модальном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно, доказано, необходимо, запрещено, обязательно, плохо и др. Структура простых модальных суждений такая: М (S есть Р) или М (S не есть Р), где М обозначает модальный оператор (модальное понятие). Но как было уже сказано, модальными могут быть и сложные суждения. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно получить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в почву внести удобрения, тогда урожай повысится” и др. Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий). Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).
