Практическая неадекватность формальной логики обусловлена искусственностью ее основополагающего принципа – закона исключенного третьего, в силу которого важнейшее из отношений несовместимости – контрарность – не является базисным. Поскольку "третьего не дано", то логика двухзначна, и операцией отрицания в ней естественно оказывается дополнение, а отношением несовместимости – комплементарность (контрадикторность).