Как Аристотель описал основные отношения между суждениями в логическом квадрате?
В трактате «Об истолковании» Аристотель описал основные отношения между суждениями в логическом квадрате, утверждая, что каждой пропозиции соответствует в точности одно отрицание, при этом пропозиция и её отрицание «противоположны»: всегда одна из них должна быть истинной, а другая ложной. ru.ruwiki.ru spravochnick.ru
Пару утвердительных и отрицательных пропозиций Аристотель назвал «противоречием». ru.ruwiki.ru Примеры: «каждый человек белый» и «не каждый человек белый» (также читается как «некоторые люди не белые»), «ни один человек белый» и «какой-то человек белый». ru.ruwiki.ru
Кроме того, Аристотель выделил две пары противоречащих друг другу высказываний: oaji.net
- Общеутвердительное высказывание находится в отношении противоречия к частноотрицательному. oaji.net
- Общеотрицательное — к частноутвердительному. oaji.net
Этим двум парам высказываний в логическом квадрате соответствуют две диагонали. oaji.net
Согласно Аристотелю, отношение противоречия характеризуется тем, что если какое-то высказывание истинно, то противоречащее ему высказывание с необходимостью ложно, а если оно ложно, то противоречащее ему высказывание с необходимостью истинно. oaji.net
