Трудно представить будущее информационных технологий с классической двоичной системой. Более того, сегодня уже существуют реализации неклассических логических технологий и моделей. Но автор этой статьи изначально сосредоточился не на технологии, а на гуманитарной логике — логике как гуманитарной науке.
И сразу можно задавать вопрос: «А есть ли не гуманитарная логика?» Конечно, есть, если понимать логику как систему операндов и операторов для выполнения «мыслительных действий» аппаратов и программ с правильными результатами. Вполне логично задавать другой вопрос:
«Стоит брать на основу компьютеров не гуманитарную логику?»...
Формальная логика есть наука об элементарных законах и формах правильного мышления. Она есть собрание элементарных правил о том, как нужно пользоваться понятиями, суждениями, умозаключениями, дабы наше мышление было определённым, связным, последовательным, доказательным, непротиворечивым. Формальная логика элементарна. Она, по ленинской характеристике, «берёт формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим» (В.И. Ленин, «Диалектика стакана»)...