{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T04:13:26Z","timestamp":1726892006642},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T00:00:00Z","timestamp":1685664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T00:00:00Z","timestamp":1685664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AI & Soc"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s00146-023-01691-4","type":"journal-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T03:31:57Z","timestamp":1685676717000},"page":"2385-2387","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The approach to AI emergence from the standpoint of future contingents"],"prefix":"10.1007","volume":"39","author":[{"given":"Ignacy","family":"Sitnicki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,2]]},"reference":[{"key":"1691_CR1","unstructured":"Aristotle (2013) On interpretation. The University of Adelaide"},{"issue":"1","key":"1691_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.2307\/2267171","volume":"11","author":"RC Barcan Marcus","year":"1947","unstructured":"Barcan Marcus RC (1947) A functional calculus of first order based on strict implication. J Symbol Log 11(1):12","journal-title":"J Symbol Log"},{"key":"1691_CR3","unstructured":"Bostrom N (2014) Superintelligence: paths, dangers, strategies. Oxford"},{"key":"1691_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF00263118","volume":"4","author":"NB Cocchiarella","year":"1975","unstructured":"Cocchiarella NB (1975a) On the primary and secondary semantics of logical necessity. J Philos Log 4:2","journal-title":"J Philos Log"},{"key":"1691_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF00869470","volume":"31","author":"NB Cocchiarella","year":"1975","unstructured":"Cocchiarella NB (1975b) Logical atomism, nominalism, and modal logic. Synthese 31:2","journal-title":"Synthese"},{"key":"1691_CR6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195366587.001.0001","volume-title":"Modal logic. An introduction to its syntax and semantics","author":"NB Cocchiarella","year":"2008","unstructured":"Cocchiarella NB, Freund MA (2008) Modal logic. An introduction to its syntax and semantics. Oxford Press, Oxford"},{"key":"1691_CR7","unstructured":"Dreyfus HL, Dreyfus SE (1986) Mind over machine. New York"},{"key":"1691_CR8","unstructured":"(2008) Global catastrophic risks. Joint Publication, Oxford"},{"key":"1691_CR9","volume-title":"Collected works","author":"K G\u00f6del","year":"1995","unstructured":"G\u00f6del K (1995) Collected works. Unpublished Essays and Lectures, Oxford"},{"issue":"1","key":"1691_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10670-005-0294-7","volume":"64","author":"R Hayaki","year":"2006","unstructured":"Hayaki R (2006) Contingent objects and the barcan formula. Erkenntnis 64(1):3","journal-title":"Erkenntnis"},{"key":"1691_CR11","unstructured":"Hintikka J (1969) Eseje logiczno-filozoficzne (Logico-philosophical Essays), Warszawa 2014 (extended Polish edition of Models for Modalities: Selected Essays, Dordrecht)"},{"key":"1691_CR12","unstructured":"Hintikka J (1973) Time and necessity. Oxford"},{"key":"1691_CR13","doi-asserted-by":"crossref","unstructured":"Hintikka J (1981) Standard vs. nonstandard logic: higher-order modal, and first-order logics; modern logics. Proceedings of the 1977 Rome Symposium, Dordrecht","DOI":"10.1007\/978-94-009-9056-2_16"},{"key":"1691_CR14","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1038\/440611a","volume":"440","author":"Ch Koch","year":"2006","unstructured":"Koch Ch, Hepp K (2006) Quantum mechanics in the brain. Nature 440:611","journal-title":"Nature"},{"key":"1691_CR15","unstructured":"Krajewski S (2003) Twierdzenie G\u00f6dla i jego filozoficzne interpretacje. Od mechanicyzmu do postodernizmu (G\u00f6del\u2019s Theorem And Its Philosophical Interpretations: From Mechanism To Postmodernism), Warszawa"},{"key":"1691_CR16","first-page":"1980","volume-title":"Naming and necessity","author":"S Kripke","year":"1972","unstructured":"Kripke S (1972) Naming and necessity. Harvard University Press, Cambridge, p 1980"},{"key":"1691_CR17","unstructured":"Kripke S (2013) Philosophical troubles. Oxford"},{"key":"1691_CR18","unstructured":"Kurzweil R (2016) The singularity is near. London"},{"key":"1691_CR19","doi-asserted-by":"crossref","unstructured":"Lucas JR (1961) Minds, machines and G\u00f6del. Oxford","DOI":"10.1017\/S0031819100057983"},{"key":"1691_CR20","unstructured":"\u0141ukasiewicz J (1987) O zasadzie sprzeczno\u015bci u Arystotelesa (On Aristotle\u2019s Principle of Contradiction), Warszawa"},{"key":"1691_CR21","unstructured":"\u0141ukasiewicz J (1988) Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic, Oxford 1957 and Polish edition: \u201cSylogistyka Arystotelesa z punktu widzenia wsp\u00f3\u0142czesnej logiki formalnej\u201d, Warszawa"},{"key":"1691_CR22","unstructured":"Penrose R (2005) Shadows of the mind: a search for the missing science of consciousness. London"},{"key":"1691_CR23","unstructured":"Popper KR (2012) Wiedza obiektywna. Ewolucyjna teoria epistemologiczna (objective knowledge. an evolotionary approach), Warszawa"},{"key":"1691_CR24","unstructured":"Przewodnik po Metafizyce (2011) Companion to Metaphysics. Joint Publication, Krak\u00f3w"},{"key":"1691_CR25","volume-title":"Filozofia logiki, philosophy of logic","author":"WO Quine","year":"2002","unstructured":"Quine WO (2002) Filozofia logiki, philosophy of logic, 2nd edn. Harvard University Press, London","edition":"2"},{"key":"1691_CR26","unstructured":"Searle JR (2023) Is the brain a digital computer?, http:\/\/www.ecs.soton.ac.uk\/harnad\/Papers\/Py104\/searle.comp.html, 28 Feb 2023"},{"key":"1691_CR27","volume-title":"A logical journey. From G\u00f6del to philosophy","author":"H Wang","year":"1996","unstructured":"Wang H (1996) A logical journey. From g\u00f6del to philosophy. MIT Press, Cambridge"},{"key":"1691_CR28","doi-asserted-by":"crossref","unstructured":"Wittgenstein L (2012) Tractatus logico-philosophicus. Warszawa","DOI":"10.4324\/9781315884950"}],"container-title":["AI & SOCIETY"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00146-023-01691-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00146-023-01691-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00146-023-01691-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T04:06:35Z","timestamp":1726805195000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00146-023-01691-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,2]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["1691"],"URL":"https:\/\/doi.org\/10.1007\/s00146-023-01691-4","relation":{},"ISSN":["0951-5666","1435-5655"],"issn-type":[{"type":"print","value":"0951-5666"},{"type":"electronic","value":"1435-5655"}],"subject":[],"published":{"date-parts":[[2023,6,2]]},"assertion":[{"value":"24 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 May 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 June 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}