The Talmudic Logic Project, Ongoing Since 2008

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern logical tools. We investigate principles of Talmudic Logic and publish a series of books, one book or more for each principle. http://www.collegepublications.co.uk/stl/ The series begins with the systematic analysis of Talmudic inference rules. The first book shows that we can present Talmudic reasoning intuitions as a systematic logical system basic to modern non-deductive reasoning, such as Argumentum A Fortiori, Abduction and Analogy. The second book offers a systematic common sense method for intuitively defining sets and claims that this method adequately models the Talmudic use of the rules Klal uPrat. These books also criticize modern Talmudic research methodology. Later books deal with additional topics like Deontic logic, and Temporal logic, Agency and processes in the Talmud and more. The aims of the project are two fold:

[1]  Dov M. Gabbay,et al.  Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) , 2011 .

[2]  Dov M. Gabbay,et al.  Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction , 2009, Stud Logica.

[3]  Dov M. Gabbay,et al.  Future determination of entities in Talmudic public announcement logic , 2013, J. Appl. Log..

[4]  Dov M. Gabbay,et al.  Reactive automata , 2011, Inf. Comput..

[5]  Dov M. Gabbay,et al.  Contrary to time conditionals in Talmudic logic , 2012, Artificial Intelligence and Law.

[6]  C. Allen,et al.  Stanford Encyclopedia of Philosophy , 2011 .

[7]  Charles H. Hinnant,et al.  Thomas Hobbes: A Reference Guide , 1980 .

[8]  Dov M. Gabbay,et al.  Machine Argumentation. Can We Replace Taxi Drivers by Robots , 2019 .

[9]  Dov M. Gabbay,et al.  Obligations and prohibitions in Talmudic deontic logic , 2011, Artificial Intelligence and Law.

[10]  Oren Etzioni,et al.  Designing AI systems that obey our laws and values , 2016, Commun. ACM.

[11]  Dov M. Gabbay,et al.  Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study , 2017, FLAP.

[12]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[13]  Dov M. Gabbay,et al.  The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation , 2014, HOWARD-60.

[14]  Dov M. Gabbay,et al.  Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario , 2014, DEON.

[15]  William Shakespeare,et al.  The Arden Shakespeare complete works , 2001 .