* См. приложение о логике. Огастес де Морган — математик и логик XIX века, показавший, что закон исключенного третьего («Всё является либо А, либо не-А») и закон непротиворечия («Не может быть одновременно и А, и не-А») представляют собой варианты друг друга.