{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:40:39Z","timestamp":1763664039085,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":52,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811377907"},{"type":"electronic","value":"9789811377914"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-7791-4_9","type":"book-chapter","created":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T04:02:44Z","timestamp":1563854564000},"page":"187-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments"],"prefix":"10.1007","author":[{"given":"David","family":"Fuenmayor","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,24]]},"reference":[{"key":"9_CR1","unstructured":"Andrews, P.: Church\u2019s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, summer, 2018th edn. Stanford University, Metaphysics Research Lab (2018)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1080\/19462166.2014.1002536","volume":"6","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Stra\u00dfer, C.: Sequent-based logical argumentation. Argum. Comput. 6(1), 73\u201399 (2015)","journal-title":"Argum. Comput."},{"key":"9_CR3","unstructured":"Baumberger, C., Brun, G.: Dimensions of objectual understanding. In: Explaining Understanding. New Perspectives from Epistemology and Philosophy of Science, pp. 165\u2013189 (2016)"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11229-007-9218-1","volume":"164","author":"M Baumgartner","year":"2008","unstructured":"Baumgartner, M., Lampert, T.: Adequate formalization. Synthese 164(1), 93\u2013115 (2008)","journal-title":"Synthese"},{"key":"9_CR5","unstructured":"Bentert, M., Benzm\u00fcller, C., Streit, D., Woltzenlogel\u00a0Paleo, B.: Analysis of an ontological proof proposed by Leibniz. In: Tandy, C. (ed.) Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz. Ria University Press (2016). \n                  https:\/\/philpapers.org\/rec\/TANDAA-10"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller, C.: Universal (meta-)logical reasoning: recent successes. Sci. Comput. Program. 172, 48\u201362 (2019). \n                  https:\/\/doi.org\/10.1016\/j.scico.2018.10.008\n                  \n                , \n                  https:\/\/doi.org\/10.13140\/RG.2.2.11039.61609\/2","DOI":"10.1016\/j.scico.2018.10.008 10.13140\/RG.2.2.11039.61609\/2"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.2178\/jsl\/1102022211","volume":"69","author":"Christoph Benzm\u00fcller","year":"2004","unstructured":"Benzm\u00fcller, C., Brown, C., Kohlhase, M.: Higher-order semantics and extensionality. J. Symb. Logic 69(4), 1027\u20131088 (2004). \n                  https:\/\/doi.org\/10.2178\/jsl\/1102022211\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/J6.pdf","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller, C., Fuenmayor, D.: Can computers help to sharpen our understanding of ontological arguments? In: Gosh, S., Uppalari, R., Rao, K.V., Agarwal, V., Sharma, S. (eds.) Mathematics and Reality, Proceedings of the 11th All India Students\u2019 Conference on Science & Spiritual Quest, 6\u20137 October 2018, IIT Bhubaneswar, Bhubaneswar, India. The Bhaktivedanta Institute, Kolkata. \n                  www.binstitute.org\n                  \n                 (2018). \n                  https:\/\/doi.org\/10.13140\/RG.2.2.31921.84323\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/C74.pdf","DOI":"10.13140\/RG.2.2.31921.84323"},{"issue":"6","key":"9_CR9","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1093\/jigpal\/jzp080","volume":"18","author":"C. Benzmueller","year":"2010","unstructured":"Benzm\u00fcller, C., Paulson, L.: Multimodal and intuitionistic logics in simple type theory. Logic J. IGPL 18(6), 881\u2013892 (2010). \n                  https:\/\/doi.org\/10.1093\/jigpal\/jzp080\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/J21.pdf","journal-title":"Logic Journal of IGPL"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11787-012-0052-y","volume":"7","author":"Christoph Benzm\u00fcller","year":"2012","unstructured":"Benzm\u00fcller, C., Paulson, L.: Quantified multimodal logics in simple type theory. Logica Universalis (Special Issue on Multimodal Logics) 7(1), 7\u201320 (2013). \n                  https:\/\/doi.org\/10.1007\/s11787-012-0052-y\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/J23.pdf","journal-title":"Logica Universalis"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10817-015-9348-y","volume":"55","author":"Christoph Benzm\u00fcller","year":"2015","unstructured":"Benzm\u00fcller, C., Sultana, N., Paulson, L.C., Thei\u00df, F.: The higher-order prover LEO-II. J. Autom. Reason. 55(4), 389\u2013404 (2015). \n                  https:\/\/doi.org\/10.1007\/s10817-015-9348-y\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/J30.pdf","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s11787-017-0160-9","volume":"11","author":"C. Benzm\u00fcller","year":"2017","unstructured":"Benzm\u00fcller, C., Weber, L., Woltzenlogel-Paleo, B.: Computer-assisted analysis of the Anderson-H\u00e1jek controversy. Logica Universalis 11(1), 139\u2013151 (2017). \n                  https:\/\/doi.org\/10.1007\/s11787-017-0160-9\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/J32.pdf","journal-title":"Logica Universalis"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller, C., Woltzenlogel\u00a0Paleo, B.: Automating G\u00f6del\u2019s ontological proof of God\u2019s existence with higher-order automated theorem provers. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Frontiers in Artificial Intelligence and Applications, ECAI 2014, vol. 263, pp. 93\u201398. IOS Press (2014). \n                  https:\/\/doi.org\/10.3233\/978-1-61499-419-0-93\n                  \n                , \n                  http:\/\/christoph-benzmueller.de\/papers\/C40.pdf","DOI":"10.3233\/978-1-61499-419-0-93"},{"key":"9_CR14","unstructured":"Benzm\u00fcller, C., Woltzenlogel\u00a0Paleo, B.: The inconsistency in G\u00f6del\u2019s ontological argument: a success story for AI in metaphysics. In: IJCAI 2016 (2016a). \n                  http:\/\/christoph-benzmueller.de\/papers\/C55.pdf"},{"key":"9_CR15","unstructured":"Benzm\u00fcller, C., Woltzenlogel\u00a0Paleo, B.: An object-logic explanation for the inconsistency in G\u00f6del\u2019s ontological theory (extended abstract). In: Helmert, M., Wotawa, F. (eds.) Proceedings of Advances in Artificial Intelligence, KI 2016. LNCS, vol. 9725, pp. 43\u201350. Springer, Heidelberg (2016b). \n                  http:\/\/christoph-benzmueller.de\/papers\/C60.pdf"},{"issue":"1\u20132","key":"9_CR16","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"P Besnard","year":"2001","unstructured":"Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artif. Intell. 128(1\u20132), 203\u2013235 (2001)","journal-title":"Artif. Intell."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-0-387-98197-0_7","volume-title":"Argumentation in Artificial Intelligence","author":"Philippe Besnard","year":"2009","unstructured":"Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Argumentation in Artificial Intelligence, pp. 133\u2013152. Springer, Boston (2009)"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-14052-5_11","volume-title":"Interactive Theorem Proving","author":"Jasmin Christian Blanchette","year":"2010","unstructured":"Blanchette, J., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Proceedings of ITP 2010. LNCS, vol. 6172, pp. 131\u2013146. Springer, Heidelberg (2010)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Brun, G.: Die richtige Formel: Philosophische Probleme der logischen Formalisierung, vol. 2. Walter de Gruyter (2003)","DOI":"10.1515\/9783110323528"},{"key":"9_CR20","first-page":"378","volume-title":"Lecture Notes in Computer Science","author":"C. Cayrol","year":"2005","unstructured":"Cayrol, C., Lagasquie-Schiex, M.C.: On the acceptability of arguments in bipolar argumentation frameworks. In: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp. 378\u2013389. Springer, Heidelberg (2005)"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-0-387-98197-0_4","volume-title":"Argumentation in Artificial Intelligence","author":"Claudette Cayrol","year":"2009","unstructured":"Cayrol, C., Lagasquie-Schiex, M.C.: Bipolar abstract argumentation systems. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, pp. 65\u201384. Springer, Boston (2009)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.2307\/2214166","volume":"8","author":"D Davidson","year":"1994","unstructured":"Davidson, D.: Radical interpretation interpreted. Philos. Perspect. 8, 121\u2013128 (1994)","journal-title":"Philos. Perspect."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Davidson, D.: Essays on Actions and Events: Philosophical Essays, vol.\u00a01. Oxford University Press on Demand, Oxford (2001)","DOI":"10.1093\/0199246270.001.0001"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Davidson, D.: Inquiries into Truth and Interpretation: Philosophical Essays, vol. 2. Oxford University Press, Oxford (2001)","DOI":"10.1093\/0199246297.001.0001"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1093\/0199246297.003.0009","volume-title":"Inquiries into Truth and Interpretation","author":"Donald Davidson","year":"2001","unstructured":"Davidson, D.: Radical interpretation. In: Inquiries into Truth and Interpretation. Oxford University Press, Oxford (2001)"},{"issue":"2","key":"9_CR26","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. intell. 77(2), 321\u2013357 (1995)","journal-title":"Artif. intell."},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-0-387-98197-0_10","volume-title":"Argumentation in Artificial Intelligence","author":"Phan Minh Dung","year":"2009","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Argumentation in Artificial Intelligence, pp. 199\u2013218. Springer, Boston (2009)"},{"key":"9_CR28","unstructured":"van Eemeran, F.H., Grootendorst, R.: A Systematic Theory of Argumentation. Cambridge University Press, Cambridge (2004)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Elgin, C.: Considered Judgment. Princeton University Press, New Jersey (1999)","DOI":"10.1515\/9781400822294"},{"issue":"2","key":"9_CR30","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10992-006-9038-7","volume":"36","author":"B Fitelson","year":"2007","unstructured":"Fitelson, B., Zalta, E.N.: Steps toward a computational metaphysics. J. Philos. Logic 36(2), 227\u2013247 (2007)","journal-title":"J. Philos. Logic"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-67190-1_9","volume-title":"KI 2017: Advances in Artificial Intelligence","author":"David Fuenmayor","year":"2017","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: Automating emendations of the ontological argument in intensional higher-order modal logic. In: Kern-Isberner, G., F\u00fcrnkranz, J., Thimm, M. (eds.) Advances in Artificial Intelligence, KI 2017, vol. 10505, pp. 114\u2013127. Springer, Cham (2017a)"},{"key":"9_CR32","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: Computer-assisted reconstruction and assessment of E. J. Lowe\u2019s modal ontological argument. Archive of Formal Proofs (2017b). \n                  http:\/\/isa-afp.org\/entries\/Lowe_Ontological_Argument.html\n                  \n                , Formal proof development"},{"key":"9_CR33","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: A case study on computational hermeneutics: E. J. Lowe\u2019s modal ontological argument. IfCoLoG J. Logics Appl. (Special issue on Formal Approaches to the Ontological Argument) (2018). \n                  http:\/\/christoph-benzmueller.de\/papers\/J38.pdf"},{"key":"9_CR34","doi-asserted-by":"publisher","unstructured":"Glei\u00dfner, T., Steen, A., Benzm\u00fcller, C.: Theorem provers for every normal modal logic. In: Eiter, T., Sands, D. (eds.) 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-21 EPiC Series in Computing, vol.\u00a046, pp. 14\u201330. EasyChair, Maun, Botswana (2017). \n                  https:\/\/doi.org\/10.29007\/jsb9\n                  \n                , \n                  https:\/\/easychair.org\/publications\/paper\/340346","DOI":"10.29007\/jsb9"},{"key":"9_CR35","unstructured":"G\u00f6del, K.: Appx. A: Notes in Kurt G\u00f6del\u2019s Hand, pp. 144\u2013145. In: [50] (2004). \n                  http:\/\/books.google.de\/books?id=ZQh8QJOQdOQC"},{"key":"9_CR36","unstructured":"Goodman, N.: Fact, Fiction, and Forecast. Harvard University Press, Cambridge (1983)"},{"issue":"1","key":"9_CR37","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguist. Philos. 14(1), 39\u2013100 (1991)","journal-title":"Linguist. Philos."},{"key":"9_CR38","first-page":"125","volume-title":"Handbook of Philosophical Logic","author":"Hans Kamp","year":"2010","unstructured":"Kamp, H., Van\u00a0Genabith, J., Reyle, U.: Discourse representation theory. In: Handbook of Philosophical Logic, pp. 125\u2013394. Springer, Dordrecht (2011)"},{"key":"9_CR39","unstructured":"Lowe, E.J.: A modal version of the ontological argument. In: Moreland, J.P., Sweis, K.A., Meister, C.V. (eds.) Debating Christian Theism, Chap.\u00a04, pp. 61\u201371. Oxford University Press (2013)"},{"key":"9_CR40","unstructured":"Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Ed. and with an Introd. by Richmond H. Thomason. Yale University Press (1974)"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL\u2014A Proof Assistant for Higher-Order Logic. No. 2283 in LNCS. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45949-9"},{"issue":"4","key":"9_CR42","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1093\/analys\/56.4.226","volume":"56","author":"G Oppy","year":"1996","unstructured":"Oppy, G.: G\u00f6delian ontological arguments. Analysis 56(4), 226\u2013230 (1996)","journal-title":"Analysis"},{"key":"9_CR43","unstructured":"Oppy, G.: Ontological Arguments and Belief in God. Cambridge University Press, Cambridge (2007)"},{"issue":"14","key":"9_CR44","doi-asserted-by":"publisher","first-page":"2897","DOI":"10.1007\/s11229-012-0104-0","volume":"190","author":"J Peregrin","year":"2013","unstructured":"Peregrin, J., Svoboda, V.: Criteria for logical formalization. Synthese 190(14), 2897\u20132924 (2013)","journal-title":"Synthese"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"Peregrin, J., Svoboda, V.: Reflective Equilibrium and the Principles of Logical Analysis: Understanding the Laws of Logic. Routledge Studies in Contemporary Philosophy. Taylor and Francis (2017)","DOI":"10.4324\/9781315453934"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Quine, W.V.O.: Two dogmas of empiricism. In: Can Theories be Refuted?, pp. 41\u201364. Springer, Dordrecht (1976)","DOI":"10.1007\/978-94-010-1863-0_2"},{"key":"9_CR47","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9636.001.0001","volume-title":"Word and Object","author":"Willard Van Orman Quine","year":"2013","unstructured":"Quine, W.V.O.: Word and Object. MIT Press, New York (2013)"},{"key":"9_CR48","doi-asserted-by":"crossref","unstructured":"Rawls, J.: A Theory of Justice. Harvard University Press, Cambridge (2009)","DOI":"10.2307\/j.ctvkjb25m"},{"key":"9_CR49","unstructured":"Rushby, J.: The ontological argument in PVS. In: Proceedings\u00a0of CAV Workshop \u201cFun With Formal Methods\u201d. St. Petersburg, Russia (2013)"},{"key":"9_CR50","unstructured":"Scott, D.: Appx.B: Notes in Dana Scott\u2019s Hand, pp. 145\u2013146. In: [50] (2004). \n                  http:\/\/books.google.de\/books?id=ZQh8QJOQdOQC"},{"key":"9_CR51","unstructured":"Sobel, J.: Logic and Theism: Arguments for and Against Beliefs in God. Cambridge University Press, New York (2004). \n                  http:\/\/books.google.de\/books?id=ZQh8QJOQdOQC"},{"key":"9_CR52","first-page":"152","volume":"2","author":"A Tarski","year":"1956","unstructured":"Tarski, A.: The concept of truth in formalized languages. Logic Semant. Metamathematics 2, 152\u2013278 (1956)","journal-title":"Logic Semant. Metamathematics"}],"container-title":["Logic in Asia: Studia Logica Library","Dynamics, Uncertainty and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-7791-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T11:45:55Z","timestamp":1571831155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-7791-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811377907","9789811377914"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-7791-4_9","relation":{},"ISSN":["2364-4613","2364-4621"],"issn-type":[{"type":"print","value":"2364-4613"},{"type":"electronic","value":"2364-4621"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"24 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}