{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T05:47:35Z","timestamp":1774331255466,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"S8","license":[{"start":{"date-parts":[[2018,3,13]],"date-time":"2018-03-13T00:00:00Z","timestamp":1520899200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2018,3,13]],"date-time":"2018-03-13T00:00:00Z","timestamp":1520899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["681404"],"award-info":[{"award-number":["681404"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The \u2018puzzle of imaginative use\u2019 (Kind and Kung in Knowledge through imagination, Oxford University Press, Oxford, 2016) asks: given that imagination is arbitrary escape from reality, how can it have any epistemic value? In particular, imagination seems to be logically anarchic, like a runabout inference ticket: one who imagines<jats:italic>A<\/jats:italic>may also imagine whatever<jats:italic>B<\/jats:italic>pops to one\u2019s mind by free mental association. This paper argues that at least a certain kind of imaginative exercise\u2014<jats:italic>reality-oriented mental simulation<\/jats:italic>\u2014is not logically anarchic. Showing this is part of the task of solving the puzzle. Six plausible features of imagination, so understood, are listed. Then a formal semantics is provided, whose patterns of logical validity and invalidity model the six features.<\/jats:p>","DOI":"10.1007\/s11229-018-1751-6","type":"journal-article","created":{"date-parts":[[2018,3,13]],"date-time":"2018-03-13T11:08:07Z","timestamp":1520939287000},"page":"2029-2043","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Taming the runabout imagination ticket"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3246-657X","authenticated-orcid":false,"given":"Francesco","family":"Berto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,13]]},"reference":[{"key":"1751_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510\u201330.","journal-title":"Journal of Symbolic Logic"},{"key":"1751_CR2","volume-title":"Entailment: The logic of relevance and necessity I","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. (1975). Entailment: The logic of relevance and necessity I. Princeton: Princeton University Press."},{"key":"1751_CR3","volume-title":"Entailment: The logic of relevance and necessity II","author":"AR Anderson","year":"1992","unstructured":"Anderson, A. R., Belnap, N., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity II. Princeton: Princeton University Press."},{"key":"1751_CR4","first-page":"147","volume":"47","author":"RB Angell","year":"1977","unstructured":"Angell, R. B. (1977). Three systems of first degree entailment. Journal of Symbolic Logic, 47, 147.","journal-title":"Journal of Symbolic Logic"},{"key":"1751_CR5","first-page":"42","volume-title":"Knowledge through imagination","author":"M Balcerak Jackson","year":"2016","unstructured":"Balcerak Jackson, M. (2016). On imagining, supposing and conceiving. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 42\u201360). Oxford: Oxford University Press."},{"key":"1751_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-017-0937-y","author":"F Berto","year":"2017","unstructured":"Berto, F. (2017a). Aboutness in imagination. Philosophical Studies,. https:\/\/doi.org\/10.1007\/s11098-017-0937-y.","journal-title":"Philosophical Studies"},{"key":"1751_CR7","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1007\/s10670-017-9875-5","volume":"82","author":"F Berto","year":"2017","unstructured":"Berto, F. (2017b). Impossible worlds and the logic of imagination. Erkenntnis, 82, 1277\u201397.","journal-title":"Erkenntnis"},{"key":"1751_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-018-9971-1","author":"F Berto","year":"2018","unstructured":"Berto, F. (2018). Simple hyperintensional belief revision. Erkenntnis,. https:\/\/doi.org\/10.1007\/s10670-018-9971-1.","journal-title":"Erkenntnis"},{"key":"1751_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1346-7","author":"F Berto","year":"2017","unstructured":"Berto, F., & Schoonen, T. (2017). Conceivability and possibility: Some dilemmas for humeans. Synthese,. https:\/\/doi.org\/10.1007\/s11229-017-1346-7.","journal-title":"Synthese"},{"key":"1751_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5756.001.0001","volume-title":"The rational imagination. How people create alternatives to reality","author":"R Byrne","year":"2005","unstructured":"Byrne, R. (2005). The rational imagination. How people create alternatives to reality. Cambridge, MA: MIT Press."},{"key":"1751_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1111\/j.1520-8583.2007.00123.x","volume":"21","author":"A Byrne","year":"2007","unstructured":"Byrne, A. (2007). Possibility and imagination. Philosophical Perspectives, 21, 125\u201344.","journal-title":"Philosophical Perspectives"},{"key":"1751_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/oso\/9780198250890.003.0004","volume-title":"Conceivability and possibility","author":"D Chalmers","year":"2002","unstructured":"Chalmers, D. (2002). Does conceivability entail possibility? In T. S. Gendler & J. Hawthorne (Eds.), Conceivability and possibility (pp. 145\u201399). Oxford: Oxford University Press."},{"key":"1751_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., & Halpern, J. (1988). Belief, awareness and limited reasoning. Artificial Intelligence, 34, 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"1751_CR14","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"TM Ferguson","year":"2014","unstructured":"Ferguson, T. M. (2014). A computational interpretation of conceptivism. Journal of Applied Non-Classical Logic, 24, 333\u201367.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"1751_CR15","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1305\/ndjfl\/1093636609","volume":"27","author":"K Fine","year":"1986","unstructured":"Fine, K. (1986). Analytic implication. Notre Dame Journal of Formal Logic, 27, 169\u201379.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1751_CR16","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"K Fine","year":"2014","unstructured":"Fine, K. (2014). Truthmaker semantics for intuitionistic logic. Journal of Philosophical Logic, 43, 549\u201377.","journal-title":"Journal of Philosophical Logic"},{"key":"1751_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9371-9","author":"K Fine","year":"2015","unstructured":"Fine, K. (2015). Angellic content. Journal of Philosophical Logic,. https:\/\/doi.org\/10.1007\/s10992-015-9371-9.","journal-title":"Journal of Philosophical Logic"},{"key":"1751_CR18","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1111\/j.1933-1592.2007.00022.x","volume":"74","author":"MO Fiocco","year":"2007","unstructured":"Fiocco, M. O. (2007). Conceivability, imagination and modal knowledge. Philosophy and Phenomenological Research, 74, 364\u201380.","journal-title":"Philosophy and Phenomenological Research"},{"key":"1751_CR19","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"1751_CR20","volume-title":"Knowledge and belief. An introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. An introduction to the logic of the two notions. Ithaca, NY: Cornell University Press."},{"key":"1751_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The impossible. An essay on hyperintensionality","author":"M Jago","year":"2014","unstructured":"Jago, M. (2014). The impossible. An essay on hyperintensionality. Oxford: Oxford University Press."},{"key":"1751_CR22","volume-title":"Knowledge through imagination","year":"2016","unstructured":"Kind, A., & Kung, P. (Eds.). (2016). Knowledge through imagination. Oxford: Oxford University Press."},{"key":"1751_CR23","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1933-1592.2001.tb00042.x","volume":"62","author":"A Kind","year":"2001","unstructured":"Kind, A. (2001). Putting the image back in the imagination. Philosophy and Phenomenological Research, 62, 85\u2013109.","journal-title":"Philosophy and Phenomenological Research"},{"key":"1751_CR24","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/acprof:oso\/9780198716808.003.0007","volume-title":"Knowledge through imagination","author":"A Kind","year":"2016","unstructured":"Kind, A. (2016). Imagining under constraints. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 145\u201359). Oxford: Oxford University Press."},{"key":"1751_CR25","unstructured":"Kiourti, I. (2010). Real impossible worlds: The bounds of possibility. PhD thesis, University of St Andrews."},{"key":"1751_CR26","volume-title":"Image and mind","author":"SM Kosslyn","year":"1980","unstructured":"Kosslyn, S. M. (1980). Image and mind. Cambridge, MA: Harvard University Press."},{"key":"1751_CR27","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/0010-0285(77)90004-4","volume":"9","author":"S Kosslyn","year":"1977","unstructured":"Kosslyn, S., & Pomerantz, J. R. (1977). Imagery, propositions, and the form of internal representations. Cognitive Psychology, 9, 52\u201376.","journal-title":"Cognitive Psychology"},{"key":"1751_CR28","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1111\/nous.12060","volume":"50","author":"P Kung","year":"2014","unstructured":"Kung, P. (2014). You really do imagine it: Against error theories of imagination. Nous, 50, 90\u2013120.","journal-title":"Nous"},{"key":"1751_CR29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1093\/acprof:oso\/9780198716808.003.0003","volume-title":"Knowledge through imagination","author":"P Langland-Hassan","year":"2016","unstructured":"Langland-Hassan, P. (2016). On choosing what to imagine. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 61\u201384). Oxford: Oxford University Press."},{"key":"1751_CR30","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell."},{"key":"1751_CR31","volume-title":"Handbook of imagination and mental simulation","year":"2009","unstructured":"Markman, K. D., Klein, W., & Surh, J. A. (Eds.). (2009). Handbook of imagination and mental simulation. New York: Taylor and Francis."},{"key":"1751_CR32","doi-asserted-by":"crossref","DOI":"10.1093\/0198236107.001.0001","volume-title":"Mindreading. An integrated account of pretence: Self-awareness, and understanding other minds","author":"S Nichols","year":"2003","unstructured":"Nichols, S., & Stich, S. P. (2003). Mindreading. An integrated account of pretence: Self-awareness, and understanding other minds. Oxford: Oxford University Press."},{"key":"1751_CR33","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1111\/phc3.12027","volume":"8","author":"D Nolan","year":"2013","unstructured":"Nolan, D. (2013). Impossible worlds. Philosophy Compass, 8, 360\u2013372.","journal-title":"Philosophy Compass"},{"key":"1751_CR34","volume-title":"Mental representation","author":"A Paivio","year":"1986","unstructured":"Paivio, A. (1986). Mental representation. Oxford: Oxford University Press."},{"key":"1751_CR35","first-page":"5","volume":"4","author":"WT Parry","year":"1933","unstructured":"Parry, W. T. (1933). Ein axiomensystem fr eine neue art von implikation (analitische implikation). Ergebnisse eines Mathematischen Kolloquiums, 4, 5\u20136.","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"1751_CR36","volume-title":"An introduction to non-classical logic","author":"G Priest","year":"2001","unstructured":"Priest, G. (2001). An introduction to non-classical logic. Cambridge: Cambridge University Press."},{"key":"1751_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-016-0668-5","author":"G Priest","year":"2016","unstructured":"Priest, G. (2016). Thinking the impossible. Philosophical Studies,. https:\/\/doi.org\/10.1007\/s11098-016-0668-5.","journal-title":"Philosophical Studies"},{"key":"1751_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1037\/h0034650","volume":"80","author":"Z Pylyshyn","year":"1973","unstructured":"Pylyshyn, Z. (1973). What the mind\u2019s eye tells the mind\u2019s brain: A critique of mental imagery. Psychological Bulletin, 80, 1\u201325.","journal-title":"Psychological Bulletin"},{"key":"1751_CR39","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S0140525X02000043","volume":"25","author":"Z Pylyshyn","year":"2002","unstructured":"Pylyshyn, Z. (2002). Mental imagery: In search of a theory. Behavioral and Brain Sciences, 25, 157\u201382.","journal-title":"Behavioral and Brain Sciences"},{"key":"1751_CR40","first-page":"79","volume-title":"Handbook of epistemic logic","author":"B Schipper","year":"2015","unstructured":"Schipper, B. (2015). Awareness. In H. van Ditmarsch, J. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 79\u2013146). London: College Publications."},{"key":"1751_CR41","volume-title":"Mental images and their transformations","author":"RN Shephard","year":"1982","unstructured":"Shephard, R. N., & Cooper, L. A. (1982). Mental images and their transformations. Cambridge, MA: MIT Press."},{"key":"1751_CR42","first-page":"98","volume-title":"Studies in logical theory","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker, R. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in logical theory (pp. 98\u2013112). Oxford: Blackwell."},{"key":"1751_CR43","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/BF00263359","volume":"2","author":"A Urquhart","year":"1973","unstructured":"Urquhart, A. (1973). A semantical theory of analytical implication. Journal of Philosophical Logic, 2, 212\u201319.","journal-title":"Journal of Philosophical Logic"},{"key":"1751_CR44","first-page":"313","volume-title":"Handbook of epistemic logic","author":"J van Benthem","year":"2015","unstructured":"van Benthem, J., & Smets, S. (2015). Dynamic logics of belief change. In H. van Ditmarsch, J. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 313\u201393). London: College Publications."},{"key":"1751_CR45","volume-title":"Dynamic epistemic logic","author":"HP van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Dordrecht: Springer."},{"key":"1751_CR46","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1093\/acprof:oso\/9780198716808.003.0004","volume-title":"Knowledge through imagination","author":"N Van Leeuwen","year":"2016","unstructured":"Van Leeuwen, N. (2016). The imaginative agent. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 85\u2013111). Oxford: Oxford University Press."},{"key":"1751_CR47","doi-asserted-by":"publisher","unstructured":"Wansing, H. (2015). Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. Synthese. https:\/\/doi.org\/10.1007\/s11229-015-0945-4.","DOI":"10.1007\/s11229-015-0945-4"},{"key":"1751_CR48","doi-asserted-by":"crossref","DOI":"10.1002\/9780470696675","volume-title":"The philosophy of philosophy","author":"T Williamson","year":"2007","unstructured":"Williamson, T. (2007). The philosophy of philosophy. Oxford: Blackwell."},{"key":"1751_CR49","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1093\/acprof:oso\/9780198716808.003.0005","volume-title":"Knowledge through imagination","author":"T Williamson","year":"2016","unstructured":"Williamson, T. (2016). Knowing by imagining. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 113\u201323). Oxford: Oxford University Press."},{"key":"1751_CR50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2108052","volume":"53","author":"S Yablo","year":"1993","unstructured":"Yablo, S. (1993). Is conceivability a guide to possibility? Philosophy and Phenomenological Research, 53, 1\u201342.","journal-title":"Philosophy and Phenomenological Research"},{"key":"1751_CR51","volume-title":"Aboutness","author":"S Yablo","year":"2014","unstructured":"Yablo, S. (2014). Aboutness. Princeton: Princeton University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-1751-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-018-1751-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-1751-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T23:46:36Z","timestamp":1719877596000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-018-1751-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,13]]},"references-count":51,"journal-issue":{"issue":"S8","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["1751"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-1751-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,13]]},"assertion":[{"value":"15 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}