{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:29Z","timestamp":1740141509526,"version":"3.37.3"},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2021,4,12]],"date-time":"2021-04-12T00:00:00Z","timestamp":1618185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"European Research Council","award":["787758"],"award-info":[{"award-number":["787758"]}]},{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"crossref","award":["318066"],"award-info":[{"award-number":["318066"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,23]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In three-valued logic, the third truth-value is often interpreted as undefined. However, the value of a logical term may be well defined if its \u2018history\u2019 is taken into account. Following this approach, the analogy to the Sorites paradox meets the eye, which in turn has recently been addressed by means of a \u2018Talmudic Norms\u2019 approach. This paper thus lays bare a religious contribution to the field of many-valued logic and implements a simplified dynamic model for the theory of Talmudic mixtures\u2014and, thus, for the outlined Sorites logic\u2014using standard AI search and planning techniques.<\/jats:p>","DOI":"10.1093\/logcom\/exab027","type":"journal-article","created":{"date-parts":[[2021,3,24]],"date-time":"2021-03-24T04:25:38Z","timestamp":1616559938000},"page":"1195-1205","source":"Crossref","is-referenced-by-count":0,"title":["A Talmudic norms approach to many-valued logic"],"prefix":"10.1093","volume":"31","author":[{"given":"Tim","family":"Lethen","sequence":"first","affiliation":[{"name":"Department of Philosophy, University of Helsinki, P.O. box 24 FI-00014 Helsinki, Finland"}]}],"member":"286","published-online":{"date-parts":[[2021,4,12]]},"reference":[{"volume-title":"Prolog Programming for Artificial Intelligence","year":"2001","author":"Bratko","key":"2021080400162464300_ref1"},{"key":"2021080400162464300_ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-43535-6_11","article-title":"Talmudic norms approach to mixtures with a solution to the paradox of the heap: A position paper","volume-title":"Beyond Faith and Rationality","author":"David","year":"2020"},{"key":"2021080400162464300_ref3","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1093\/jigpal\/jzq004","article-title":"Algorithms in cognition, informatics, and logic: A position manifesto","volume":"18","author":"Gabbay","year":"2010","journal-title":"Logic Journal of IGPL"},{"key":"2021080400162464300_ref4","first-page":"266","article-title":"Der Typusbegriff im Lichte der neuen Logik, von C. G. Hempel & P. Oppenheim (Besprechung)","volume":"6","author":"Grelling","year":"1936","journal-title":"Erkenntnis"},{"volume-title":"Der Typusbegriff im Lichte der Neuen Logik","year":"1936","author":"Hempel","key":"2021080400162464300_ref5"},{"key":"2021080400162464300_ref6","article-title":"Sorites paradox","volume-title":"The Stanford Encyclopedia of Philosophy (Summer 2018 Edition)","author":"Hyde","year":"2018"},{"key":"2021080400162464300_ref7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","article-title":"Depth-first iterative-deepening: An optimal admissible tree search","volume":"27","author":"Korf","year":"1985","journal-title":"Artificial Intelligence"},{"key":"2021080400162464300_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020321000034","article-title":"G\u00f6del on many-valued logic","author":"Lethen","year":"2021","journal-title":"The Review of Symbolic Logic"},{"key":"2021080400162464300_ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-67606-3","article-title":"Ver\u00f6ffentlichungen des Instituts Wiener Kreis","volume-title":"Gespr\u00e4che, Vortr\u00e4ge, S\u00e9ancen: Kurt G\u00f6del\u2019s Wiener Protokolle 1937\/38\u2014Transkriptionen und Kommentare","author":"Lethen","year":"2021"},{"volume-title":"Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP","year":"1992","author":"Norvig","key":"2021080400162464300_ref10"},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2020","author":"Russell","key":"2021080400162464300_ref11"},{"key":"2021080400162464300_ref12","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1088\/0950-7671\/15\/1\/305","article-title":"A thermionic trigger","volume":"15","author":"Schmitt","year":"1938","journal-title":"Journal of Scientific Instruments"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/5\/1195\/39554923\/exab027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/5\/1195\/39554923\/exab027.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T08:02:31Z","timestamp":1671696151000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/5\/1195\/6224163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,12]]},"references-count":12,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2021,4,12]]},"published-print":{"date-parts":[[2021,7,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab027","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,7]]},"published":{"date-parts":[[2021,4,12]]}}}