{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T13:30:49Z","timestamp":1749043849311,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,4,9]],"date-time":"2017-04-09T00:00:00Z","timestamp":1491696000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"European Research Council (BE)","award":["MSCA-IF 657017"],"award-info":[{"award-number":["MSCA-IF 657017"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11023-017-9430-9","type":"journal-article","created":{"date-parts":[[2017,4,9]],"date-time":"2017-04-09T05:57:22Z","timestamp":1491717442000},"page":"545-564","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Constructionist Philosophy of Logic"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8809-2170","authenticated-orcid":false,"given":"Patrick","family":"Allo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,9]]},"reference":[{"issue":"1","key":"9430_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/00048402.2014.930498","volume":"93","author":"P Allo","year":"2015","unstructured":"Allo, P. (2015). Synonymy and intra-theoretical pluralism. Australasian Journal of Philosophy, 93(1), 77\u201391.","journal-title":"Australasian Journal of Philosophy"},{"key":"9430_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx010","author":"P Allo","year":"2017","unstructured":"Allo, P. (2017). Hard and soft logical information. Journal of Logic and Computation (Advance Article). doi: 10.1093\/logcom\/exx010 .","journal-title":"Journal of Logic and Computation (Advance Article)"},{"issue":"2","key":"9430_CR3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10670-011-9356-1","volume":"77","author":"P Allo","year":"2012","unstructured":"Allo, P., & Mares, E. (2012). Informational semantics as a third alternative? Erkenntnis, 77(2), 167\u2013185.","journal-title":"Erkenntnis"},{"issue":"3","key":"9430_CR4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., & van Benthem, J. (1998). Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3), 217\u2013274.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9430_CR5","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s11023-007-9063-5","volume":"17","author":"K Arkoudas","year":"2007","unstructured":"Arkoudas, K., & Bringsjord, S. (2007). Computers, justification, and mathematical knowledge. Minds and Machines, 17(2), 185\u2013202.","journal-title":"Minds and Machines"},{"key":"9430_CR6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-3-319-21473-3_12","volume-title":"Mathematics, substance, and surmise: Views on the meaning and ontology of mathematics","author":"J Avigad","year":"2015","unstructured":"Avigad, J. (2015). Mathematics and language. In E. Davis & P. J. Davis (Eds.), Mathematics, substance, and surmise: Views on the meaning and ontology of mathematics (pp. 235\u201355). Berlin: Springer."},{"key":"9430_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information flow: The logic of distributed systems. Cambridge tracts in theoretical computer science","author":"J Barwise","year":"1997","unstructured":"Barwise, J., & Seligman, J. (1997). Information flow: The logic of distributed systems. Cambridge tracts in theoretical computer science (Vol. 44). Cambridge: Cambridge University Press."},{"issue":"3","key":"9430_CR8","first-page":"27","volume":"38","author":"AS Calude","year":"2001","unstructured":"Calude, A. S. (2001). The journey of the four colour theorem through time. The New Zealand Mathematics Magazine, 38(3), 27\u201335.","journal-title":"The New Zealand Mathematics Magazine"},{"key":"9430_CR9","unstructured":"Carnap, R., & Bar-Hillel, Y. (1952). An outline of a theory of semantic information. Technical report, Cambridge, MA."},{"key":"9430_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1754-0","volume-title":"Handbook of tableau methods","author":"M D\u2019Agostino","year":"1999","unstructured":"D\u2019Agostino, M., Gabbay, D. M., H\u00e4hnle, R., & Posegga, J. (1999). Handbook of tableau methods. Dordrecht: Kluwer Academic Publishers."},{"issue":"3","key":"9430_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"M D\u2019Agostino","year":"1994","unstructured":"D\u2019Agostino, M., & Mondadori, M. (1994). The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 4(3), 285\u2013319.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9430_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s11229-010-9837-9","volume":"190","author":"H Cruz De","year":"2010","unstructured":"De Cruz, H., & De Smedt, J. (2010). Mathematical symbols as epistemic actions. Synthese, 190(1), 3\u201319.","journal-title":"Synthese"},{"key":"9430_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139108010","volume-title":"Formal languages in logic: A philosophical and cognitive analysis","author":"C Dutilh Novaes","year":"2012","unstructured":"Dutilh Novaes, C. (2012). Formal languages in logic: A philosophical and cognitive analysis. Cambridge, NY: Cambridge University Press."},{"issue":"2","key":"9430_CR14","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s11229-007-9163-z","volume":"161","author":"L Floridi","year":"2008","unstructured":"Floridi, L. (2008). A defence of informational structural realism. Synthese, 161(2), 219\u2013253.","journal-title":"Synthese"},{"issue":"3","key":"9430_CR15","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1467-9973.2011.01693.x","volume":"42","author":"L Floridi","year":"2011","unstructured":"Floridi, L. (2011a). A defence of constructionism: philosophy as conceptual engineering. Metaphilosophy, 42(3), 282\u2013304.","journal-title":"Metaphilosophy"},{"key":"9430_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199232383.001.0001","volume-title":"The philosophy of information","author":"L Floridi","year":"2011","unstructured":"Floridi, L. (2011b). The philosophy of information. Oxford: Oxford University Press."},{"issue":"3","key":"9430_CR17","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1111\/meta.12035","volume":"44","author":"L Floridi","year":"2013","unstructured":"Floridi, L. (2013). What is a philosophical question? Metaphilosophy, 44(3), 195\u2013221.","journal-title":"Metaphilosophy"},{"key":"9430_CR18","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.artint.2013.02.003","volume":"197","author":"T French","year":"2013","unstructured":"French, T., van der Hoek, W., Iliev, P., & Kooi, B. (2013). On the succinctness of some modal logics. Artificial Intelligence, 197, 56\u201385.","journal-title":"Artificial Intelligence"},{"key":"9430_CR19","volume-title":"Kripke\u2019s worlds: An introduction to modal logics via tableaux","author":"O Gasquet","year":"2013","unstructured":"Gasquet, O., Herzig, A., Said, B., & Schwarzentruber, F. (2013). Kripke\u2019s worlds: An introduction to modal logics via tableaux. New York: Springer Science & Business Media."},{"key":"9430_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/acprof:oso\/9780198715696.003.0003","volume-title":"Foundations of logical consequence","author":"M Glanzberg","year":"2015","unstructured":"Glanzberg, M. (2015). Logical consequence and natural language. In C. Caret & O. Hjortland (Eds.), Foundations of logical consequence (pp. 71\u2013120). Oxford: Oxford University Press."},{"key":"9430_CR21","unstructured":"Gogic, G., Kautz, H., Papadimitriou, C., & Selman, B. (1995). The comparative linguistics of knowledge representation. In IJCAI (1) (pp. 862\u2013869)."},{"volume-title":"Cognition and technology: Co-existence, convergence, and co-evolution","year":"2004","key":"9430_CR22","unstructured":"Gorayska, B., & Mey, J. (Eds.). (2004). Cognition and technology: Co-existence, convergence, and co-evolution. Amsterdam: J. Benjamins Pub."},{"issue":"1","key":"9430_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1468-2230.12165","volume":"79","author":"H Hildebrandt","year":"2016","unstructured":"Hildebrandt, H. (2016). Law as information in the era of data-driven agency. Mod Law Rev Modern Law Review, 79(1), 1\u201330.","journal-title":"Mod Law Rev Modern Law Review"},{"issue":"1","key":"9430_CR24","doi-asserted-by":"crossref","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A Horn","year":"1951","unstructured":"Horn, A. (1951). On sentences which are true of direct unions of algebras. The Journal of Symbolic Logic, 16(1), 14\u201321.","journal-title":"The Journal of Symbolic Logic"},{"key":"9430_CR25","first-page":"207","volume-title":"Logical discrimination","author":"IL Humberstone","year":"2005","unstructured":"Humberstone, I. L. (2005). Logical discrimination (pp. 207\u2013228). Basel: Birkhuser."},{"issue":"1","key":"9430_CR26","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s11229-009-9621-x","volume":"182","author":"B L\u00f6we","year":"2011","unstructured":"L\u00f6we, B., & M\u00fcller, T. (2011). Data and phenomena in conceptual modelling. Synthese, 182(1), 131\u2013148.","journal-title":"Synthese"},{"key":"9430_CR27","doi-asserted-by":"crossref","unstructured":"Lutz, C. (2005). Complexity and succinctness of public announcement logic, LTCS-Report LTCS-05-09, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany.","DOI":"10.25368\/2022.152"},{"key":"9430_CR28","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198704751.001.0001","volume-title":"Realizing reason: A narrative of truth and knowing","author":"D Macbeth","year":"2014","unstructured":"Macbeth, D. (2014). Realizing reason: A narrative of truth and knowing. Oxford: Oxford University Press."},{"key":"9430_CR29","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1093\/acprof:oso\/9780199265176.003.0017","volume-title":"The law of non contradiction. New philosophical essays","author":"E Mares","year":"2004","unstructured":"Mares, E. (2004). Semantic dialetheism. In G. Priest, J. C. Beall, & B. Armour-Garb (Eds.), The law of non contradiction. New philosophical essays (pp. 264\u2013275). Oxford: Oxford University Press."},{"issue":"2","key":"9430_CR30","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/s11229-008-9412-9","volume":"167","author":"E Mares","year":"2009","unstructured":"Mares, E. (2009). General information in relevant logic. Synthese, 167(2), 343\u2013362.","journal-title":"Synthese"},{"key":"9430_CR31","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/s11229-010-9737-z","volume":"175","author":"E Mares","year":"2010","unstructured":"Mares, E. (2010). The nature of information: A relevant approach. Synthese, 175, 111\u2013132.","journal-title":"Synthese"},{"issue":"2","key":"9430_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/2053951716679679","volume":"3","author":"BD Mittelstadt","year":"2016","unstructured":"Mittelstadt, B. D., Allo, P., Taddeo, M., Wachter, S., & Floridi, L. (2016). The ethics of algorithms: Mapping the debate. Big Data & Society, 3(2), 1\u201321.","journal-title":"Big Data & Society"},{"key":"9430_CR33","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.langsci.2015.10.002","volume":"54","author":"RM Nefdt","year":"2016","unstructured":"Nefdt, R. M. (2016). Linguistic modelling and the scientific enterprise. Language Sciences, 54, 43\u201357.","journal-title":"Language Sciences"},{"issue":"3","key":"9430_CR34","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1111\/j.0268-1064.2005.00288.x","volume":"20","author":"D Patterson","year":"2005","unstructured":"Patterson, D. (2005). Learnability and compositionality. Mind & Language, 20(3), 326\u2013352.","journal-title":"Mind & Language"},{"issue":"219","key":"9430_CR35","first-page":"443","volume":"55","author":"F Poggiolesi","year":"2012","unstructured":"Poggiolesi, F. (2012). On the importance of being analytic. The paradigmatic case of the logic of proofs. Logique et Analyse, 55(219), 443\u2013461.","journal-title":"Logique et Analyse"},{"key":"9430_CR36","unstructured":"Priest, G. (Ed.). (1997). Special Issue on Impossible Worlds. Notre Dame Journal of Formal Logic, 38(4)."},{"key":"9430_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198733638.001.0001","volume-title":"The boundary stones of thought: An essay in the philosophy of logic","author":"I Rumfitt","year":"2015","unstructured":"Rumfitt, I. (2015). The boundary stones of thought: An essay in the philosophy of logic. Oxford: Oxford University Press."},{"key":"9430_CR38","volume-title":"The sciences of the artificial","author":"HA Simon","year":"1996","unstructured":"Simon, H. A. (1996). The sciences of the artificial (3rd ed.). Cambridge, MA: MIT.","edition":"3"},{"key":"9430_CR39","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198507741.001.0001","volume-title":"Seeing reason: Image and language in learning to think","author":"K Stenning","year":"2002","unstructured":"Stenning, K. (2002). Seeing reason: Image and language in learning to think. Oxford: Oxford University Press."},{"issue":"5\u20136","key":"9430_CR40","first-page":"597","volume":"35","author":"M Stokhof","year":"2008","unstructured":"Stokhof, M. (2008). Hand or hammer? On formal and natural languages in semantics. Journal of Indian Philosophy, 35(5\u20136), 597\u2013626.","journal-title":"Journal of Indian Philosophy"},{"key":"9430_CR41","first-page":"544","volume-title":"The Routledge companion to philosophy of language","author":"M Stokhof","year":"2012","unstructured":"Stokhof, M. (2012). The role of artificial languages. In G. Russell & D. G. Fara (Eds.), The Routledge companion to philosophy of language (pp. 544\u2013553). New York: Routledge."},{"issue":"1\u20132","key":"9430_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1515\/thli.2011.001","volume":"37","author":"M Stokhof","year":"2011","unstructured":"Stokhof, M., & Van Lambalgen, M. (2011). Abstractions and idealisations: The construction of modern linguistics. Theoretical Linguistics, 37(1\u20132), 1\u201326.","journal-title":"Theoretical Linguistics"},{"key":"9430_CR43","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511840005","volume-title":"The uses of argument, updated","author":"SE Toulmin","year":"2003","unstructured":"Toulmin, S. E. (2003). The uses of argument, updated (edition ed.). Cambridge: Cambridge University Press.","edition":"edition"},{"key":"9430_CR44","unstructured":"Univalent Foundations Program, T. (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study. https:\/\/homotopytypetheory.org\/book ."},{"key":"9430_CR45","doi-asserted-by":"crossref","first-page":"182","DOI":"10.26686\/ajl.v6i0.1801","volume":"6","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J. (2008). Logical dynamics meets logical pluralism? Australasian Journal of Logic, 6, 182\u2013209.","journal-title":"Australasian Journal of Logic"},{"key":"9430_CR46","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-017-9430-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9430-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9430-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T02:11:02Z","timestamp":1692756662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-017-9430-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,9]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9430"],"URL":"https:\/\/doi.org\/10.1007\/s11023-017-9430-9","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2017,4,9]]}}}