{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T08:10:22Z","timestamp":1767773422197},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T00:00:00Z","timestamp":1625184000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In Baghdad in the mid twelfth century Ab\u016b al-Barak\u0101t proposes a radical new procedure for finding the conclusions of premise-pairs in syllogistic logic, and for identifying those premise-pairs that have no conclusions. The procedure makes no use of features of the standard Aristotelian apparatus, such as conversions or syllogistic figures. In place of these al-Barak\u0101t writes out pages of diagrams consisting of labelled horizontal lines. He gives no instructions and no proof that the procedure will yield correct results. So the reader has to work out what his procedure is and whether it is correct. The procedure turns out to be insightful and entirely correct, but this paper may be the first study to give a full description of the procedure and a rigorous proof of its correctness.<\/jats:p>","DOI":"10.1017\/s1755020321000332","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T09:20:21Z","timestamp":1625217621000},"page":"369-384","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":3,"title":["A CORRECTNESS PROOF FOR AL-BARAK\u0100T\u2019S LOGICAL DIAGRAMS"],"prefix":"10.1017","volume":"16","author":[{"given":"WILFRID","family":"HODGES","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"S1755020321000332_r13","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Smith","year":"2020"},{"key":"S1755020321000332_r14","first-page":"210","volume-title":"Logic, Semantics, Metamathematics","author":"Tarski","year":"1983"},{"key":"S1755020321000332_r9","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-018-0187-6"},{"key":"S1755020321000332_r8","first-page":"119","volume-title":"Insolubles and Consequences: Essays in honour of Stephen Read","author":"Hodges","year":"2012"},{"key":"S1755020321000332_r11","volume-title":"Mathematical Background to the Logic of Ibn S\u012bn\u0101 (in preparation)","author":"Hodges","year":"2022"},{"key":"S1755020321000332_r6","first-page":"189","article-title":"Vari\u00e9t\u00e9s, Essai de dialectique rationnelle","volume":"7","author":"Gergonne","year":"1816\/7","journal-title":"Annales de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"S1755020321000332_r1","volume-title":"Kit\u0101b al-muctabar f\u012b al-\u1e25ikmat al-il\u0101h\u012bya","author":"al-Barak\u0101t","year":"2007"},{"key":"S1755020321000332_r5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27466-5"},{"key":"S1755020321000332_r7","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(73)90141-6"},{"key":"S1755020321000332_r4","volume-title":"Al-cIb\u0101ra: Avicenna\u2019s Commentary on Aristotle\u2019s De Interpretatione, Part One and Part Two, trans. B\u00e4ck","author":"B\u00e4ck","year":"2013"},{"key":"S1755020321000332_r12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02115614"},{"key":"S1755020321000332_r2","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S1755020321000332_r3","volume-title":"As\u0101s al-iqtib\u0101s (Persian)","author":"al-\u1e6c\u016bs\u012b","year":"2010"},{"key":"S1755020321000332_r10","first-page":"191","volume-title":"Aventuras en el Mundo de la L\u00f3gica, Ensayos en Honor a Mar\u00eda Manzano","author":"Hodges","year":"2019"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T10:33:53Z","timestamp":1684233233000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000332\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,2]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["S1755020321000332"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000332","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}