Прежде чем устанавливать типы отношений, следует определить: являются ли анализируемые высказывания сравнимыми.
Сравнимыми называются высказывания, имеющие общий субъект и предикат.
Между сравнимыми высказываниями имеются два типа отношений: отношения совместимости и отношения несовместимости.
Совместимыми называются высказывания, которые выражают одну и ту же мысль полностью или в некоторой части. Виды совместимости: эквивалентность, подчинение, частичное совпадение.
Несовместимыми являются два высказывания, если из истинности одного из них следует ложность другого. Виды несовместимости: противоположность, противоречие.
Два высказывания находятся в отношении подчинения, если и только если всякий раз, когда подчиняющему соответствует истинное высказывание, подчиненному также соответствует истинное высказывание, но не обязательно наоборот. (SaP – SiP; SeP – SoP).
Два высказывания находятся в отношении противоречия, если и только если они не могут быть ни одновременно истинными, ни одновременно ложными. (SaP – SoP; SeP – SiP).
Два высказывания находятся в отношении противоположности, если и только если они не могут быть одновременно истинными, но могут быть одновременно должными. (SaP – SeP).
Два высказывания находятся в отношении частичной совместимости, если и только если они могут быть одновременно истинными, но не могут быть одновременно ложными. (SiP– SoP).
2014-02-24
676
