References of "Abraham, Michael"
     in
Bookmark and Share    
Full Text
See detailTheories of Joint Ownership in Talmudic Logic (Hebrew)
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL

Book published by Collge Publications (2019)

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 ... [more ▼]

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. To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed. 2. To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic. [less ▲]

Detailed reference viewed: 11 (1 UL)
Full Text
Peer Reviewed
See detailQuantum States and Disjunctive Attacks in Talmudic Logic
Abraham, Michael; Belfer, Israel; Schild, Uri et al

in Journal of Logics (2016)

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailIdentity Merging and Identity Revision in Talmudic Logic: An Outline Paper
Abraham, Michael; Belfer, Israel; Schild, Uri J. et al

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Detailed reference viewed: 30 (0 UL)
Peer Reviewed
See detailPlatonic Realism and Talmudic Reasoning
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in Abraham, Michael; Gabbay, Dov M.; Schild, Uri (Eds.) Platonic Realism and Talmudic Reasoning (2014)

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailThe Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday (2014)

Detailed reference viewed: 36 (0 UL)
Full Text
Peer Reviewed
See detailFuture determination of entities in Talmudic public announcement logic
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in J. Applied Logic (2013), 11(1), 63--90

Detailed reference viewed: 75 (1 UL)
Full Text
Peer Reviewed
See detailContrary to time conditionals in Talmudic logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in Artif. Intell. Law (2012), 20(2), 145--179

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailObligations and prohibitions in Talmudic deontic logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in Artificial Intelligence & Law (2011), 19(2-3), 117148

Detailed reference viewed: 88 (0 UL)
See detailNon-Deductive Inference in the Talmud
Gabbay, Dov M. UL; Abraham, Michael; Schild, U.

Book published by College Publications (2010)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailObligations and Prohibitions in Talmudic Deontic Logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in DEON (2010)

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic ... [more ▼]

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition ODA Standard deontic obligation [less ▲]

Detailed reference viewed: 85 (0 UL)
Full Text
Peer Reviewed
See detailAnalysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction
Abraham, Michael; Gabbay, Dov M. UL; Schild, U.

in Studia Logica (2009), 92(3), 281364

We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Ana- logy and the rule of Argumentum A Fortiori ... [more ▼]

We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Ana- logy and the rule of Argumentum A Fortiori. Given a matrix A with entries in {0,1},we allow for one or more blank squares in the matrix, say ai,j=?. The method allows us to decide whether to declare ai,j=0 or ai,j=1 or ai,j=? undecided. This algorithmic method is then applied to modelling several legal and practical reasoning situations including the Talmudic rule of Kal-Vachomer. We add an Appendix showing that this new rule of Matrix Abduction, arising from the Talmud, can also be applied to the analysis of paradoxes in voting and judgement aggregation. In fact we have here a general method for executing non-deductive inferences. [less ▲]

Detailed reference viewed: 82 (0 UL)