Contrary to time conditionals in Talmudic logic
- First Online:
- Cite this article as:
- Abraham, M., Gabbay, D.M. & Schild, U. Artif Intell Law (2012) 20: 145. doi:10.1007/s10506-012-9123-x
We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.
Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).
Comparison with similar features in modern law.
New types of temporal logics arising from modelling the Talmudic examples.