- Услуги
- Цена и срок
- О компании
- Контакты
- Способы оплаты
- Гарантии
- Отзывы
- Вакансии
- Блог
- Справочник
- Заказать консультацию
Отношения между простыми суждениями принято изображать в виде логического квадрата, вершины которого образуют четыре стандартные формы категорических суждений. Стороны квадрата показывают логические отношения между стандартными суждениями, которые позволяют строить простые выводы и давать заключение об истинности полученного заключения.
Отношение частичной противности, или субконтрарности, устанавливается между частными суждениями: I – О. Субконтрарные суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Поэтому если одно из них ложно, то другое обязательно истинно. Например, из ложности суждения «Некоторые рыбы не дышат жабрами» (О) следует истинность суждения типа I: «Некоторые рыбы дышат жабрами». В то же время суждения «Некоторые люди знают китайский язык» (I) и «Некоторые люди не знают китайского языка» (О) одновременно истинны.
Логическое подчинение (субординация) характеризует отношения между общими и частными суждениями: А – I, Е – О. Для отношения подчинения характерно то, что истинность общего суждения всегда влечет истинность подчиненного ему частного суждения. Например, если истинно, что все рыбы дышат жабрами (суждение в форме А), необходимо истинным будет суждение, имеющее форму I: «Некоторые рыбы дышат жабрами».
Отношение противоречия (контрадикторность) устанавливается между парами суждений, несовместимыми ни по истинности, ни по ложности: А – О, Е – I. Эти пары суждений отличаются друг от друга количеством и качеством, они не могут быть ни одновременно истинными, ни одновременно ложными.
Противоречащие суждения всегда отрицают друг друга. Из ложности общего суждения необходимо следует истинность противоречащего ему частного суждения, например, из ложности суждения «Ни один человек не знает китайского языка» следует истинность контрадикторного суждения «Некоторые люди знают китайский язык». И, наоборот, из истинности частного суждения вытекает ложность общего: «Некоторые люди не знают китайский язык» (истинно) и «Все знают китайский язык» (ложно).
В схеме логического квадрата представлены следующие законы формальной логики:
Выводы по логическому квадрату имеют важное значение для получения нового знания в условиях дефицита информации.