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