Словарь логики - совместимость

— вид отношения между понятиями и суж­дениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т. е. имеют хотя бы один общий элемент. Напр., понятия «политик» и «спортсмен» частично совпа­дают по своему объему: имеются люди, которые одновременно яв­ляются и политиками, и спортсменами, т. е.

включаются в объем и первого, и второго понятия, следовательно, эти понятия совмести  мы. Понятия «первоклассник» и «политик» не имеют общих элемен­тов в своем объеме, т. е. нет ни одного человека, который одновре­менно является первоклассником и политиком, следовательно, они несовместимы. Совместимые понятия могут быть: равнообъемными, подчиненными и подчиняющими, перекре­щивающимися.

Совместимыми называют такие суждения, которые могут быть вместе истинными, т. е. истинность одного не исключает истиннос­ти другого. Напр., суждения «Некоторые люди — блондины» и «Некоторые люди — не блондины» оба истинны, следовательно, они совместимы. В традиционной логике совместимыми считаются общеутвердительное и частноутвердительное, об­щеутвердительное и частноотрицательное, частно-утвердительное и частноотрицательное суждения.