{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T21:29:49Z","timestamp":1775597389091,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T00:00:00Z","timestamp":1362441600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds &amp; Machines"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s11023-013-9307-5","type":"journal-article","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T05:12:34Z","timestamp":1362460354000},"page":"249-273","source":"Crossref","is-referenced-by-count":15,"title":["A Taxonomy of Errors for Information Systems"],"prefix":"10.1007","volume":"24","author":[{"given":"Giuseppe","family":"Primiero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,5]]},"reference":[{"key":"9307_CR1","unstructured":"Agarwal, B. B., Gupta, M., & Tayal, S. P. (2009). Software engineering and testing: an introduction. Jones & Bartlett Learning, Burlington, MA."},{"key":"9307_CR2","unstructured":"Allchin, D. (2000). The epistemology of errors. In Philosophy of science association, Vancouver."},{"key":"9307_CR3","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1162\/10636140152947786","volume":"9","author":"D. Allchin","year":"2001","unstructured":"Allchin, D. (2001). Error types. Perspectives on Science, 9, 38\u201359.","journal-title":"Perspectives on Science"},{"key":"9307_CR4","doi-asserted-by":"crossref","unstructured":"Allo, P., & Mares, E. (2012). Informational semantics as a third alternative? Erkenntnis, 77(2), 167\u2013185.","DOI":"10.1007\/s10670-011-9356-1"},{"key":"9307_CR5","volume-title":"The description logic handbook. Theory, implementation and applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook. Theory, implementation and applications. Cambridge: Cambridge University Press."},{"key":"9307_CR6","doi-asserted-by":"crossref","unstructured":"Baker, L. R. (2009). The metaphysics of malfunction. Techn\u00e9: Research in Philosophy and Technology, 13(2), 82\u201392.","DOI":"10.5840\/techne20091328"},{"key":"9307_CR7","volume-title":"Presupposition and assertion in dynamic semantics","author":"D. Beaver","year":"2001","unstructured":"Beaver, D. (2001). Presupposition and assertion in dynamic semantics. Stanford: CSLI Publications."},{"key":"9307_CR8","unstructured":"Bonnay, D., & Egre\u2019, P. (2011). Knowing one\u2019s limits\u2014An analysis in centered dynamic epistemic logic. In: P. Girard, O. Roy, M. Marion (Eds.), Dynamic Formal Epistemology, Synthese Library (Vol. 351, pp 103\u2013126)."},{"key":"9307_CR9","unstructured":"Curry, H. B., & Feys, R. (1958). Combinatory logic, volume I. North-Holland. Second printing 1968."},{"key":"9307_CR10","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1073\/pnas.20.11.584","volume":"20","author":"H. B. Curry","year":"1934","unstructured":"Curry, H. B. (1934). Functionality in combinatory logic. Proceedings of the National Academy of Science USA, 20, 584\u2013590.","journal-title":"Proceedings of the National Academy of Science USA"},{"key":"9307_CR11","first-page":"433","volume":"196","author":"L. Floridi","year":"2006","unstructured":"Floridi, L. (2006). The logic of being informed. Logique & Analyse, 196, 433\u2013460.","journal-title":"Logique & Analyse"},{"key":"9307_CR12","doi-asserted-by":"crossref","unstructured":"Floridi, L. (2009). Philosophical conceptions of information. In G. Sommaruga (Ed.), Formal theories of information, volume 5363 of lectures notes in computer science (pp. 13\u201353). Springer","DOI":"10.1007\/978-3-642-00659-3_2"},{"key":"9307_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-1-4020-6591-0_2","volume-title":"Philosophy and design: From engineering to architecture.","author":"M. Franssen","year":"2008","unstructured":"Franssen, M. (2008). Design, use, and the physical and intentional aspects of technical artifacts. In: A. Light, P. E. Vermaas, P. Kroes & S. A. Moore (Eds.), Philosophy and design: From engineering to architecture (pp. 21\u201335). Berlin: Springer."},{"key":"9307_CR14","first-page":"479","volume-title":"To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism","author":"W. Howard","year":"1980","unstructured":"Howard, W. (1980). The formulae-as-types notion of construction. In: J. Seldin & J. Hindley (Eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 479\u2013490). London :Academic Press."},{"key":"9307_CR15","doi-asserted-by":"crossref","unstructured":"Jespersen, B. (2012). A new logic of technical malfunction. Studia Logica. doi: 10.1007\/s11225-012-9397-8 .","DOI":"10.1007\/s11225-012-9397-8"},{"key":"9307_CR16","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1111\/j.1755-2567.2010.01092.x","volume":"77","author":"B. Jespersen","year":"2011","unstructured":"Jespersen, B., & Carrara, M. (2011). Two conceptions of technical malfunction. Theoria, 77, 117\u2013138.","journal-title":"Theoria"},{"key":"9307_CR17","doi-asserted-by":"crossref","DOI":"10.7208\/chicago\/9780226511993.001.0001","volume-title":"Error and the growth of experimental knowledge","author":"D. G. Mayo","year":"1996","unstructured":"Mayo, D. G. (1996). Error and the growth of experimental knowledge. Chicago: Chicago University Press."},{"key":"9307_CR18","unstructured":"Mayo, D. G. (2010). Learning from error severe testing, and the growth of theoretical knowledge. In: D. Mayo & A. Spanos (Eds.), Error and inference. Cambridge: Cambridge University Press."},{"key":"9307_CR19","volume-title":"Functional programming through \u03bb-calculus","author":"G. Michaelson","year":"1989","unstructured":"Michaelson, G. (1989). Functional programming through \u03bb-calculus. New York: Dover."},{"key":"9307_CR20","unstructured":"Peirce, C. S. (1878). Illustrations of the logic of science vi: Deduction, induction, and hypothesis. Popular Science Monthly, 13"},{"key":"9307_CR21","volume-title":"Conjectures and refutations","author":"K. R. Popper","year":"1963","unstructured":"Popper, K. R. (1963). Conjectures and refutations. London: Routledge & Keagan."},{"issue":"2","key":"9307_CR22","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s11229-008-9413-8","volume":"167","author":"G. Primiero","year":"2009","unstructured":"Primiero, G. (2009). An epistemic logic for becoming informed. Synthese (KRA), 167(2), 363\u2013389.","journal-title":"Synthese (KRA)"},{"key":"9307_CR23","doi-asserted-by":"crossref","unstructured":"Primiero, G. (2012). Offline and online data: On upgrading functional information to knowledge. Philosophical Studies. doi: 10.1007\/s11098-012-9860-4","DOI":"10.1007\/s11098-012-9860-4"},{"key":"9307_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human error","author":"J. Reason","year":"1990","unstructured":"Reason, J. (1990). Human error. Cambridge: Cambridge University Press."},{"key":"9307_CR25","volume-title":"Lectures on the Curry\u2013Howard isomorphism, volume 149 of studies in logic and the foundations of mathematics","author":"M. H. S\u00f8rensen","year":"2006","unstructured":"S\u00f8rensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry\u2013Howard isomorphism volume 149 of studies in logic and the foundations of mathematics. Amsterdam: Elsevier."},{"key":"9307_CR26","doi-asserted-by":"crossref","unstructured":"Sundholm, B. G. (2012). Error. Topoi, 31(1), 87\u201392.","DOI":"10.1007\/s11245-011-9109-4"},{"issue":"2","key":"9307_CR27","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/s11023-011-9239-x","volume":"21","author":"R. Turner","year":"2011","unstructured":"Turner, R. (2011). Specification. Minds & Machines, 21(2), 135\u2013152.","journal-title":"Minds & Machines"},{"issue":"402","key":"9307_CR28","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/mind\/101.402.217","volume":"101","author":"T. Williamson","year":"1992","unstructured":"Williamson, T. (1992). Inexact knowledge. Mind, 101(402), 217\u2013241.","journal-title":"Mind"},{"key":"9307_CR29","volume-title":"Vagueness","author":"T. Williamson","year":"1994","unstructured":"Williamson, T. (1994). Vagueness. London: Routledge."},{"key":"9307_CR30","doi-asserted-by":"crossref","DOI":"10.1093\/019925656X.001.0001","volume-title":"Knowledge and its limits","author":"T. Williamson","year":"2002","unstructured":"Williamson, T. (2002). Knowledge and its limits. Oxford :Oxford University Press."},{"key":"9307_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-2712-3","volume-title":"The death of argument: Fallacies in agent-based reasoning","author":"H. Woods","year":"2004","unstructured":"Woods, H. (2004). The death of argument: Fallacies in agent-based reasoning. Dordrecht: Kluwer Academic Publishers."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-013-9307-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-013-9307-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-013-9307-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T12:10:17Z","timestamp":1562760617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-013-9307-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,5]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["9307"],"URL":"https:\/\/doi.org\/10.1007\/s11023-013-9307-5","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,5]]}}}