Логические значения — не сущности. Оккам предлагал избавляться от ненужных понятий. Количество логических значений (коих в конструктивной логике, например, вообще бесконечность) здесь ни при чем.
Истина, ложь, неопределеность. Как раз три состояния, качества.
В логике сущность (как существенный признак — лат. essentialia constitutiva) — это неотъемлемое качество, без которого предмет невозможно мыслить. Сущность предмета выражается в его определении.
Цитата:
Оккам предлагал избавляться от ненужных понятий.
Оккама предлагал не это, а: "Не следует
привлекать новые сущности без крайней на то необходимости".
Цитата:
Количество логических значений (коих в конструктивной логике, например, вообще бесконечность) здесь ни при чем.
Конструктивная логика и многозначная логика это совершенно разные вещи.
Про «сложность» Вы можете судить лишь субъективно. С позиций своих привычек использовать классическую логику.
Чего же субъективно. Я изучал в свое время архитектуру Сетунь. Не пошла в серию, т.к. в электронике гораздо проще и выгодней реализовать два состояния, а не три.
«Се́тунь» — малая ЭВМ на основе троичной логики, разработанная в вычислительном центре Московского государственного университета в 1959 г. Единственная в своём роде ЭВМ, не имеющая аналогов в истории вычислительной техники.
Инженерные достижения никакого отношения к. эффективности логики не имеют. Они свидетельствуют о надёжности и богатстве теорий. Но сами эти теории можно формализовать практически в любой логике.
Все достижения человечества в инженерной деле или науках реализованы на обычной бинарной логике. Было бы выгодней и практичней на другой, делали бы на другой. Многие вещи можно реализовать через
[censored] и даже так иногда по глупости и делают, но результатом обычно недовольны. Бинарная логика самая простая, чем в частности и отвечает Бритве Оккама, а прочие логики ничего принципиально нового и полезного не дают, поэтому и используются обычно только в рамках самого предмета логика. При изучении того матана вы пользуете обычную логику хотя бы потому, что при применении например конструктивной логики многие доказательства значительно усложняются и по бритве Оккама она там идет в корзину.