{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T11:25:08Z","timestamp":1749813908146},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"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":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020320000131_inline1.png\"\/><jats:tex-math>$X, Q$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>:<jats:italic>X<\/jats:italic>evokes<jats:italic>Q<\/jats:italic>iff there is an FOE-proof for the evocation of<jats:italic>Q<\/jats:italic>by<jats:italic>X<\/jats:italic>. These results suggest a critique of the represented approaches to calculizing IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up \u201crules of asking.\u201d<\/jats:p>","DOI":"10.1017\/s1755020320000131","type":"journal-article","created":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T07:57:17Z","timestamp":1593417437000},"page":"1066-1087","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC"],"prefix":"10.1017","volume":"14","author":[{"given":"MORITZ","family":"CORDES","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2020,6,29]]},"reference":[{"volume-title":"From Questions to Proofs: Between the Logic of Questions and Proof Theory","year":"2018","author":"Leszczy\u0144ska-Jasion","key":"S1755020320000131_r15"},{"volume-title":"The Development of Logic","year":"1962","author":"Kneale","key":"S1755020320000131_r12"},{"key":"S1755020320000131_r26","doi-asserted-by":"publisher","DOI":"10.3390\/axioms5020014"},{"key":"S1755020320000131_r24","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8406-7"},{"volume-title":"The Logic of Questions and Answers","year":"1976","author":"Belnap","key":"S1755020320000131_r3"},{"key":"S1755020320000131_r10","first-page":"1","volume-title":"Handbook of Philosophical Logic","volume":"8","author":"Harrah","year":"2002"},{"key":"S1755020320000131_r20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"},{"key":"S1755020320000131_r19","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-018-9839-z"},{"volume-title":"Neues Organon oder Gedanken \u00fcber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrthum und Schein","year":"1764","author":"Lambert","key":"S1755020320000131_r14"},{"key":"S1755020320000131_r18","first-page":"135","article-title":"Adaptive logics for question evocation","volume":"173\u2013175","author":"Meheus","year":"2001","journal-title":"Logique and Analyse"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2016","author":"Bell","key":"S1755020320000131_r2"},{"key":"S1755020320000131_r13","doi-asserted-by":"crossref","DOI":"10.1515\/9783112699928","volume-title":"An Outline of the Logical Theory of Questions","author":"Kubi\u0144ski","year":"1980"},{"key":"S1755020320000131_r11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9313-7"},{"key":"S1755020320000131_r21","doi-asserted-by":"publisher","DOI":"10.1515\/auk-2016-0120"},{"volume-title":"Graph Theory","year":"2006","author":"Diestel","key":"S1755020320000131_r8"},{"key":"S1755020320000131_r23","first-page":"241","article-title":"A system for proper multiple-conclusion entailment","volume":"24","author":"Skura","year":"2015","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020320000131_r22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687"},{"key":"S1755020320000131_r27","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9738-8"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2014","author":"Mares","key":"S1755020320000131_r17"},{"key":"S1755020320000131_r9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"S1755020320000131_r5","doi-asserted-by":"publisher","DOI":"10.2307\/2269326"},{"key":"S1755020320000131_r1","doi-asserted-by":"publisher","DOI":"10.2307\/2024013"},{"volume-title":"Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling","year":"2015","author":"\u0141upkowski","key":"S1755020320000131_r16"},{"volume-title":"Logical Foundations of Probability","year":"1950","author":"Carnap","key":"S1755020320000131_r4"},{"volume-title":"Questions, Inferences, and Scenarios","year":"2013","author":"Wi\u015bniewski","key":"S1755020320000131_r25"},{"key":"S1755020320000131_r7","unstructured":"[7] Cordes, M. & Siegwart, G . (2018). Explication. In Fieser, J. & Dowden, B. , editors. Internet Encyclopedia of Philosophy. Available from: https:\/\/iep.utm.edu\/home\/about\/."},{"volume-title":"Inquisitive Semantics","year":"2019","author":"Ciardelli","key":"S1755020320000131_r6"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020320000131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:19:20Z","timestamp":1723137560000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020320000131\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["S1755020320000131"],"URL":"https:\/\/doi.org\/10.1017\/s1755020320000131","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"\u00a9 Association for Symbolic Logic, 2020","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}