Формальная логика измерима числом, и это число показывает вероятность достоверности данной логической конструкции. 1 Например, если 1 — безусловно достоверная логическая конструкция (предложение, выражение), а 0 — безусловно ошибочная логическая конструкция. 1

Формальная логика также может рассматриваться как алгоритм. 24 Если законы и правила логики перевести в алгоритмы, то понять логику легко, так как любое знание легче понимается через алгоритмы. 24

Таким образом, формальная логика сочетает в себе элементы как измеримости числом, так и алгоритмичности. С помощью формальной логики можно составить алгоритм, но это уже ближе к программированию. 1

Таким образом, выбор между измерением числами и пониманием как алгоритма зависит от конкретного контекста и целей исследования.