"Бинарная" логика(вообще термин нефилософский) это допотопная, аристотелевская логика, не умеющая взять действительность в развитии, не дающая нового знания, а лишь систематизируящая наличные. Об этом ее ограниченном статусе писали все философы начиная с Нового времени, особенно Бэкон. А Кант настолько заострил ее убожество, что его последователи разбили эту логику рассудка в пух и прах. Машина не "мыслит" в категориях становления, она лишь берет на себя те функции человеческого мышления, которые для человека становятся в тягость в силу количественного объема количественных же операций.
Для машины все сложно, когда дело касается неформальной логики. Когда идет речь не о символах, а о самом содержании действительности, которая фиксирована в символах, но не исчерпывается ими, машина "отходит" в сторону. Символ фиксирует статику предмета изучения, наличное его состояние, а содержательное мышление двигается по логике самого предмета, по логике его развития, а процесс развития это динамика, которая без противоречия мыслится не может, ибо оно всегда единство противоположностей. Для формально-рассудочного мышление это парадокс, для машины это гибель, а для содержательно-разумного мышления это критерий истины, ибо вне противоречия истины нет.
Это давно всё уже известно, читайте психологию. Особенно Жана Пиаже и Выготского. Детское мышление "формально", поскольку оно идет на поводу простых восприятий, а не движется в русле выского понятийного мышления.
Вот только проблема в том, что мозг "маугли" запускается без программы.