SashaMaks>> Других вариантов нет и быть не может.Balancer> Кроме булевой логики есть много других.Balancer> Даже только в постоянной практике у компьютерщиков есть ещё трёхзначная логика с «не определено» (NULL).
"Двоичная логика" или "Булева логика" - это "Алгебра логики":
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.
Высказывания строятся над множеством {B, , , , 0, 1}, где B — непустое множество, над элементами которого определены три операции:
а логический ноль 0 и логическая единица 1 — константы.
// Дальше — ru.wikipedia.org
которая является разделом "математической логики":
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Вопрос о создании символической логики как универсального научного языка рассматривал Лейбниц в 1666 году в работе «Искусство комбинаторики» (De arte combinatoria).
// Дальше — ru.wikipedia.org
а она является "в более широком смысле рассматривается как математизированная ветвь формальной логики":
Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления.
// Дальше — ru.wikipedia.org
Поэтому: Двоичная логика, троичная логика, …, N-логика – это всё виды логики, да ещё математической, которая сама является подразделом формальной логики. Нельзя заменить формальную логику двоичной логикой или троичной логикой.
Balancer> — Нечёткая логика
Является разделом "математической логики"
См. учебник логики, глава 3. Содержание и объём понятий.
Balancer> — Квантовая логикаBalancer> — Тернарная логикаBalancer> А уж переходя в область семантики и высказываний... Там этих логик уже десятки, наверное, будут
Тогда так и пишите, что формальной или классической логикой не пользуетесь.
Однако я делаю строгий логический вывод из того, что было написано тут:
… Название темы логически ошибочно. Вроде "Этот цвет чёрный или белый?" На него невозможно ответить не нарушив логику. ( А кто ответил — тому привет! ) Можно верить в существование тнб (так называемого бога); Можно НЕ верить в существование тнб. Но нельзя верить в НЕсушествование. Атеист заявляет "Я НЕ верю в существование тнб". Поп тут же перевирает эту фразу "Атеист Верит в несуществование тнб". Дураки, развесившие уши, воспринимают эти две фразы как эквивалентные. Ведь пользоваться логикой…
// Национальный и религиозный вопросы
что применялась и рассматривалась вами именно формальная логика с двоичным представлением:
1. Ранг матрицы = 2.
2. Даётся ссылка на учебник классической или формальной логики.
Или это у вас "двойной стандарт"? Когда всё вроде бы доказывалось, учебник подходил, а когда почитали его и поняли, что не то совсем написано, то уже не подходит? Так?
В рамках формальной или классической логики вами нарушено сразу два аксиоматических закона логики:
1.
Закон противоречия. Закон противоречия формулируется так: «A не может в одно и то же время быть B и не-B», или: «из двух суждений, из которых одно утверждает то, что другое отрицает, одно должно быть ложным». Смысл этого за-кона заключается в том, что ничто не может в одно и тоже время, в одном и том же отношении иметь противоречащие качества. Мы, например, никак не можем себе представить, чтобы бумага была в одно и то же время и белая и не-белая, например красная. Мы никак не можем себе представить, чтобы дом в одно и то же время был и большим и небольшим. Ни одно качество не может в одно и то же время и присутствовать и отсутствовать.
Таким образом, закон противоречия требует, чтобы мы одной и той же вещи, в одно и то же время, в одном и том же отношении не приписывали противоречащих предикатов B и не-B.
2.
Закон исключённого третьего. Закон исключённого третьего формулируется следующим образом: «при двух суждениях, из которых одно утверждает то, что другое отрицает („A есть B“ и „A есть не-B“), не может быть третьего, среднего суждения».
Закон исключённого третьего лучше всего можно объяснить, если сказать, что, согласно этому закону, о всяком качестве вещи мы можем только утверждать, что оно или принадлежит вещи, или не принадлежит; в этом случае не может быть ничего третьего, среднего, что-либо третье в этом случае исключается. Когда мы приписываем какой-либо вещи какой-либо предикат, то мы можем приписывать только или B, или не-B. Вещь должна быть или чёрной, или не-чёрной. Растения могут быть или хвойные, или не-хвойные; животные могут быть или позвоночные, или не-позвоночные; третьего ничего быть не может (tertium non datur).
См. учебник логики, глава 11. О законах логики.