Abstract
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.
Original language | English |
---|---|
Journal | Journal of Logic and Computation |
Volume | 31 |
Issue number | 5 |
Pages (from-to) | 1195-1205 |
Number of pages | 11 |
ISSN | 0955-792X |
DOIs | |
Publication status | Published - Jul 2021 |
MoE publication type | A1 Journal article-refereed |
Fields of Science
- 611 Philosophy
- many-valued logic
- Talmudic norms
- Sorites paradox
- planning
- Prolog