{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:11:47Z","timestamp":1740147107330,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T00:00:00Z","timestamp":1573776000000},"content-version":"vor","delay-in-days":14,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009360","name":"King\u2019s College London","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009360","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2019,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" ext-link-type=\"uri\" xlink:href=\"http:\/\/www.collegepublications.co.uk\/stl\/\">http:\/\/www.collegepublications.co.uk\/stl\/<\/jats:ext-link>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:<jats:list list-type=\"order\"><jats:list-item><jats:p>To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed.<\/jats:p><\/jats:list-item><jats:list-item><jats:p>To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic.<\/jats:p><\/jats:list-item><\/jats:list><\/jats:p>","DOI":"10.1007\/s11787-019-00228-y","type":"journal-article","created":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T18:02:18Z","timestamp":1573840938000},"page":"425-442","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["The Talmudic Logic Project, Ongoing Since 2008"],"prefix":"10.1007","volume":"13","author":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"Uri","family":"Schild","sequence":"additional","affiliation":[]},{"given":"Esther","family":"David","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,15]]},"reference":[{"key":"228_CR1","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 1: Non- Deductive Inferences in The Talmud (in Hebrew and English), pp. 289 + 78. College Publications, London (2010)"},{"key":"228_CR2","unstructured":"Abraham, M., Gabbay, D., Hazut, G., Maruvka, Y., Schild, U.: Studies in Talmudic Logic, Volume 2: The Textual Inference Rules Klal uPrat, How the Talmud Defines Sets (in Hebrew and English), pp. 388+17. College Publications, London (2010)"},{"key":"228_CR3","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 3: Talmudic Deontic Logic (in Hebrew and English), pp. 267+29. College Publications, London (2010)"},{"key":"228_CR4","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 4: Temporal Logic in the Talmud (in Hebrew and English), pp. 588+70. College Publications, London (2011)"},{"key":"228_CR5","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 5: Resolution of Conflicts and Normative Loops in the Talmud (in Hebrew and English), pp. 280+25. College Publications, London (2011)"},{"key":"228_CR6","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 7: Delegation in Talmudic Logic (in Hebrew and English), pp. 315+25. College Publications, London (2011)"},{"key":"228_CR7","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 8: Synthesis of Concepts in Talmudic Logic (in Hebrew and English), pp. 455+14. College Publications, London (2012)"},{"key":"228_CR8","doi-asserted-by":"crossref","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 9: Analysis of Concepts in Talmudic Reasoning (in Hebrew and English), pp. 301 + 11. College Publications, London (2014)","DOI":"10.1016\/j.jal.2012.06.001"},{"key":"228_CR9","doi-asserted-by":"crossref","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 10: Principles of Talmudic Logic, pp. 296. College Publications, London (2013)","DOI":"10.31826\/9781463235536-005"},{"key":"228_CR10","doi-asserted-by":"crossref","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 11: Platonic Realism and Talmudic Reasoning, pp. 325 + 15. College Publications, London (2014)","DOI":"10.1016\/j.jal.2012.06.001"},{"key":"228_CR11","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Studies in Talmudic Logic, Volume 12: Fuzzy Logic and Quantum States in Talmudic Reasoning. College Publications, London (2015)"},{"key":"228_CR12","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild U.: Studies in Talmudic Logic, Volume 13: Partition Problems in Talmudic Reasoning. College Publications, London (2016)"},{"key":"228_CR13","unstructured":"Abraham, M., Belfer, I., Gabbay, D. David, E., David, S., Schild, U.: Studies in Talmudic Logic, Volume 14: Joint Ownership Partnership in Talmudic Reasoning, pp. 360. College Publications, London (2017)"},{"key":"228_CR14","unstructured":"Dialectica. Edited by L. M. De Rijk in Petrus Abaelardus: Dialectica, Assen: Van Gorcum (second edition). (1970)"},{"key":"228_CR15","unstructured":"Arnauld, A.: 1612\u20131694; Nicole, Pierre, 1625\u20131695. Logic, or, The Art of Thinking: Being the Port-Royal Logic. Sutherland and Knox, Edinburgh (1880)"},{"key":"228_CR16","unstructured":"Handbook of The History of Logic, The Rise of Modern Logic: from Leibniz to Frege: Volume 3 Paperback 4 Apr 2013 by D. M. Gabbay and J. Woods (eds.) pp. 780. Elsevier, Amsterdam (2013)"},{"volume-title":"Handbook of Mathematical Logic","year":"1977","key":"228_CR17","unstructured":"Barwise, J. (ed.): Handbook of Mathematical Logic. Elsevier, Amsterdam (1977)"},{"key":"228_CR18","unstructured":"Leib Moskovitz Talmudic Reasoning: From Casuistics to Conceptualizations, T\u00fcbingen. Texts and Studies in Ancient Judaism (Book 89). Mohr Siebeck (2002). ISBN-10: 316147726X, ISBN-13: 978-3161477263"},{"issue":"1","key":"228_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.jal.2012.06.001","volume":"11","author":"M Abraham","year":"2013","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild, U.: Future determination of entities in Talmudic logic. J. Appl. Log. 11(1), 63\u201390 (2013)","journal-title":"J. Appl. Log."},{"key":"228_CR20","unstructured":"Abraham, M., Belfer, R., Gabbay, D., Schild, U.: Delegation, count-as and security in Talmudic logic, a preliminary study. In: Beziau, J.-Y. and Coniglio, M.E. (eds.) Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday. College Publications, London (December 2011)"},{"key":"228_CR21","unstructured":"The Schottenstein Talmud https:\/\/www.artscroll.com\/Talmud1.htm"},{"key":"228_CR22","unstructured":"Abraham, M., Belfer, I., Gabbay, D., Schild U.: Identity merging and identity revision in Talmudic logic. In: Christoph B., Gerhard B., Matthias T. (eds.) Computational Models of Rationality \u2014 Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday, pp. 179-194. College Publications, volume 29 of Tributes. (February 2016)"},{"issue":"9","key":"228_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/2955091","volume":"59","author":"O Etzioni","year":"2016","unstructured":"Etzioni, O., Etzioni, A.: Designing AI systems that obey our laws and values. Commun. ACM 59(9), 29\u201331 (2016)","journal-title":"Commun. ACM"},{"issue":"4","key":"228_CR24","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1016\/j.ic.2011.01.002","volume":"209","author":"M Crochemore","year":"2011","unstructured":"Crochemore, M., Gabbay, D.M.: Reactive automata. Inf. Comput. 209(4), 692\u2013704 (2011)","journal-title":"Inf. Comput."},{"key":"228_CR25","unstructured":"Dominic, H.: \u201cSorites Paradox\u201d. Stanford Encyclopedia of Philosophy"},{"key":"228_CR26","volume-title":"Thomas Hobbes: A Reference Guide","author":"CH Hinnant","year":"1980","unstructured":"Hinnant, C.H.: Thomas Hobbes: A Reference Guide. G. K. Hall & Co., Boston (1980)"},{"key":"228_CR27","unstructured":"Gianni, M., Kruijff-Korbayov\u00e1, I., Worst, R.: NIFTi Project Team. Human-robot teaming in disaster response \u2014 a user-centric approach. In: Where we are and Where we can be Proceedings of the ICRA 2015 Workshop on Robotics & Automation Technologies for Humanitarian Applications (2015)"},{"key":"228_CR28","unstructured":"The Steinsaltz Talmud Bavli - 29 Volume Set Commentary by Rabbi Adin Steinsaltz https:\/\/www.korenpub.com\/koren_en_usd\/koren\/talmud\/talmud-sets\/steinsaltz-talmud-bavli-29-volume-set.html"},{"key":"228_CR29","unstructured":"Stanford encyclopedia of philosophy. Non Monotonic Logic: https:\/\/plato.stanford.edu\/entries\/logic-nonmonotonic\/Accessed09\/09\/2017"},{"issue":"6","key":"228_CR30","first-page":"1789","volume":"4","author":"D Gabbay","year":"2017","unstructured":"Gabbay, D., Rozenberg, G., Rivlin, L.: Reasoning under the influence of universal distortion. IFCoLog J. Log. Appl. 4(6), 1789\u20131900 (2017)","journal-title":"IFCoLog J. Log. Appl."},{"key":"228_CR31","unstructured":"The Arden Shakespeare Complete Works Hardcover \u2014 September 10, (1998) by William Shakespeare (Author), Ann Thompson (Editor), David Scott Kastan (Editor), Richard Proudfoot (Editor)"},{"key":"228_CR32","unstructured":"Othello (New Swan Shakespeare. Advanced Series) Paperback \u2014 September, 1990 by William Shakespeare (Author), Gamini Salgado (Editor) September, 1990 by William Shakespeare (Author), Gamini Salgado (Editor)"},{"issue":"2","key":"228_CR33","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10506-012-9123-x","volume":"20","author":"M Abraham","year":"2012","unstructured":"Abraham, M., Gabbay, D.M., Schild, U.: Contrary to time conditionals in Talmudic logic. Artif. Intell. Law 20(2), 145\u2013179 (2012)","journal-title":"Artif. Intell. Law"},{"key":"228_CR34","unstructured":"The handling of loops in Talmudic Logic, with application to odd and even loops in argumentation In: Rydeheard, D., Voronkov, A., Korovina, M. (eds.) Proceedings of Howard 60, pp 1-25. Dec 2011"},{"key":"228_CR35","unstructured":"http:\/\/dafpshat.blogspot.co.uk\/2009\/05\/bam-21-whatis-yeush.html, accessed January 10, (2018)"},{"key":"228_CR36","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Robaldo, L., Sun, X., van der Toorre, L., Baniasadi, Z.: A solution to the miner paradox: a beth semantics approach. In: Fabrizio, C., Davide, G., Joke, M., Xavier P. (eds.) Deontic Logic and Normative Systems. 12 International Conference, DEON, pp. 108-123. (2014)","DOI":"10.1007\/978-3-319-08615-6_9"},{"key":"228_CR37","unstructured":"Gabbay, D., Cramer, M., Dauphin, J., Farjami, A., Rivlin, L., van der Torre, L.: Machine argumentation. Can we replace taxi drivers by robots? In: Gabbay, D., Lorenzo, M., Woosuk P., Athi-Veikko, P.(eds.) Natural Argument, A tribute to John Woods, pp. 177-199. College Publications (2019)"},{"issue":"2\u20133","key":"228_CR38","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10506-011-9109-0","volume":"19","author":"M Abraham","year":"2011","unstructured":"Abraham, M., Gabbay, D.M., Schild, U.: Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law 19(2\u20133), 117\u2013148 (2011)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"228_CR39","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1080\/01445340.2010.506094","volume":"32","author":"M Abraham","year":"2011","unstructured":"Abraham, M., Gabbay, D., Hazut, G., Maruvka, Y., Schild, U.: Logic analysis of the Talmudic rules of general and specific (Klal uPrat). Hist. Philos. Log. 32(1), 47\u201362 (2011)","journal-title":"Hist. Philos. Log."},{"issue":"3","key":"228_CR40","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11225-009-9202-5","volume":"92","author":"M Abraham","year":"2009","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Analysis of the Talmudic argumentum a fortiori inference rule (kal vachomer) using matrix abduction. Stud. Log. 92(3), 281\u2013364 (2009)","journal-title":"Stud. Log."},{"key":"228_CR41","unstructured":"Abraham, M., Gabbay, D., Schild, U.: Kal vaChomer (in Hebrew). BBD Journal (2009)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-019-00228-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-019-00228-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-019-00228-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,5]],"date-time":"2022-10-05T18:10:43Z","timestamp":1664993443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-019-00228-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["228"],"URL":"https:\/\/doi.org\/10.1007\/s11787-019-00228-y","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2019,11]]},"assertion":[{"value":"10 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}