In three-valued logic, the third truth-value is often interpreted as undefined. However, the value of a logical term may be well defined if its ‘history’ is taken into account. Following this approach, the analogy to the Sorites paradox meets the eye, which in turn has recently been addressed by means of a ‘Talmudic Norms’ approach. This paper thus lays bare a religious contribution to the field of many-valued logic and implements a simplified dynamic model for the theory of Talmudic mixtures—and, thus, for the outlined Sorites logic—using standard AI search and planning techniques.
- 611 Filosofi