В нашей жизни мы пользуемся определенной логикой. В компьютерной технике применяется булева (бинарная) логика, подразумевающая лишь два возможных состояния - "0" или "1" (истина - ложно, да - нет). Однако, в быту нам этой логики уже не достаточно, - нам нужны дополнительные варианты, кроме белого и черного, да или нет. Как правило, - это дополнительное состояние неопределенности. Голосуя, мы говорим о тех, кто "За", тех кто "Против" и кто "Воздержался". Это более функциональная, близкая к мыслительному процессу логика. Но, проблема с навязыванием двоичной логики - это не порождение нашего компьютерного мира, история с запретом на применение троичной логики насчитывает не одну сотню лет и появилось за долго до того, как возникла задача разработки компьютерной техники. Этот запрет, означенный как "Закон исключения третьего" появился как упрощение интуитивной логики, и являющегося базисом классической бинарной логики. |