Contrary to time conditionals in Talmudic logic
- First Online:
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.
- Abraham M, Gabbay D, Schild U (2010) Obligations and prohibitions in Talmudic deontic logic. In: Governatori G, Sartor G (eds) DEON 2010, LNAI 6181, pp 166–178Google Scholar
- Abraham M, Gabbay D, Schild U (2011a) Talmudic temporal logic. College Publications, London, p 600Google Scholar
- Abraham M, Gabbay DM, Schild U (2012) The handling of loops in Talmudic logic with application to odd and even loops in argumentation. In: Rydeheard D, Vronkov A, Korovina M, (eds) Proceedings of Howard 60, Manchester, pp 1–25Google Scholar
- Abraham M, Gabbay D, Schild U Future oriented determination of entitites in Talmudic logic. J AI Law (Submitted)Google Scholar
- Gabbay D (1987) The declarative past and imperative future: executable temporal logic for the interactive systems. In: Proceedings of temporal logic in specification, LNCS 398. Springer, Berlin, pp 409–448Google Scholar
- Gabbay DM (2001) Dynamics of practical reasoning: a position paper. In: Segerberg K, Zakhryaschev M, Rijke M, Wansing H (eds) Advances of modal logic, vol 2. CSLI Publications, CUP, Cambridge, pp 197–242Google Scholar