{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T11:54:58Z","timestamp":1778586898212,"version":"3.51.4"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T00:00:00Z","timestamp":1533340800000},"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":["Stud Logica"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s11225-018-9809-5","type":"journal-article","created":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T07:16:51Z","timestamp":1533367011000},"page":"949-989","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Theory Choice, Theory Change, and Inductive Truth-Conduciveness"],"prefix":"10.1007","volume":"107","author":[{"given":"Konstantin","family":"Genin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin T.","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,4]]},"reference":[{"key":"9809_CR1","unstructured":"Baker, A., Simplicity, in E.\u00a0N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, fall 2013 edn., 2013."},{"key":"9809_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., N.\u00a0Gierasimczuk, and S.\u00a0Smets, On the solvability of inductive problems: a study in epistemic topology (forthcoming), in Proceedings of the fifteenth conference on Theoretical Aspects of Rationality and Knowledge, 2015.","DOI":"10.4204\/EPTCS.215.7"},{"key":"9809_CR3","volume-title":"and S","author":"A Baltag","year":"2018","unstructured":"Baltag, A., N. Gierasimczuk, and S. Smets, Truth-tracking by belief revision (to appear), Studia Logica, 2018."},{"issue":"1","key":"9809_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1111\/tops.12002","volume":"5","author":"L Carlucci","year":"2013","unstructured":"Carlucci, L., and J.\u00a0Case, On the necessity of U-Shaped learning, Topics in Cognitive Science 5(1):56\u201388, 2013.","journal-title":"Topics in Cognitive Science"},{"key":"9809_CR5","first-page":"241","volume-title":"Lecture Notes in Computer Science","author":"Lorenzo Carlucci","year":"2005","unstructured":"Carlucci, L., J.\u00a0Case, S.\u00a0Jain, and F.\u00a0Stephan, Non U-shaped vacillatory and team learning, in Algorithmic Learning Theory, Springer, Berlin, 2005, pp. 241\u2013255."},{"issue":"2","key":"9809_CR6","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1086\/286851","volume":"12","author":"R Carnap","year":"1945","unstructured":"Carnap, R., On inductive logic, Philosophy of Science 12(2):72, 1945.","journal-title":"Philosophy of Science"},{"issue":"2","key":"9809_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(83)90061-0","volume":"25","author":"J Case","year":"1983","unstructured":"Case, J., and C.\u00a0Smith, Comparison of identification criteria for machine inductive inference, Theoretical Computer Science 25(2):193\u2013220, 1983.","journal-title":"Theoretical Computer Science"},{"key":"9809_CR8","unstructured":"de\u00a0Brecht, M., and A.\u00a0Yamamoto, Interpreting learners as realizers for $${\\Sigma }_2^0$$ \u03a3 2 0 -measurable functions, (Manuscript), 2009."},{"issue":"4","key":"9809_CR9","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1086\/392855","volume":"67","author":"Heather Douglas","year":"2000","unstructured":"Douglas, H., Inductive risk and values in science, Philosophy of Science 67(4):559\u2013579, 2000.","journal-title":"Philosophy of Science"},{"key":"9809_CR10","volume-title":"Knowledge in Flux","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988."},{"key":"9809_CR11","volume-title":"Theory and Evidence","author":"C Glymour","year":"1980","unstructured":"Glymour, C., Theory and Evidence, Princeton University Press, Princeton, 1980."},{"issue":"5","key":"9809_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.\u00a0M., Language identification in the limit, Information and Control 10(5):447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"9809_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-94-009-7055-7_4","volume-title":"Physics, Philosophy and Psychoanalysis","author":"Carl G. Hempel","year":"1983","unstructured":"Hempel, C., Valuation and objectivity in science, 1983. Reprinted in J. Fetzer, (ed.), The philosophy of Carl G. Hempel, 2001."},{"key":"9809_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that Learn: an Introduction to Learning Theory","author":"S Jain","year":"1999","unstructured":"Jain, S., D.\u00a0N. Osherson, J.\u00a0S. Royer, and A.\u00a0Sharma, Systems that Learn: An Introduction to Learning Theory, MIT Press, Cambridge, 1999."},{"key":"9809_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"K\u00a0T Kelly","year":"1996","unstructured":"Kelly, K.\u00a0T., The Logic of Reliable Inquiry, Oxford University Press, Oxford, 1996."},{"issue":"4","key":"9809_CR16","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1023\/B:MIND.0000045993.31233.63","volume":"14","author":"KT Kelly","year":"2004","unstructured":"Kelly, K.\u00a0T., Justification as truth-finding efficiency: How Ockham\u2019s razor works, Minds and Machines 14(4):485\u2013505, 2004.","journal-title":"Minds and Machines"},{"key":"9809_CR17","unstructured":"Kelly, K.\u00a0T., A topological theory of learning and simplicity, Manuscript, 2005."},{"key":"9809_CR18","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-1-4020-6127-1_4","volume-title":"Induction, Algorithmic Learning Theory, and Philosophy","author":"Kevin T. Kelly","year":"2007","unstructured":"Kelly, K.\u00a0T., How simplicity helps you find the truth without pointing at it, in Induction, Algorithmic Learning Theory, and Philosophy, Springer, Berlin, 2007, pp. 111\u2013143."},{"issue":"5","key":"9809_CR19","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1086\/525604","volume":"74","author":"KT Kelly","year":"2007","unstructured":"Kelly, K.\u00a0T., A new solution to the puzzle of simplicity, Philosophy of Science 74(5):561\u2013573, 2007.","journal-title":"Philosophy of Science"},{"issue":"2","key":"9809_CR20","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1016\/j.tcs.2007.04.009","volume":"383","author":"KT Kelly","year":"2007","unstructured":"Kelly, K.\u00a0T., Ockham\u2019s razor, empirical complexity, and truth-finding efficiency, Theoretical Computer Science 383(2):270\u2013289, 2007.","journal-title":"Theoretical Computer Science"},{"key":"9809_CR21","unstructured":"Kelly, K. T., Simplicity, truth, and the unending game of science, in T. Raesch, J. van Benthem, S. Bold, B. Loewe, (eds.), Infinite Games: Foundations of the Formal Sciences V, College Press, New York, 2007."},{"key":"9809_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-51726-5.50014-5","volume-title":"Ockham\u2019s Razor, Truth, and Information","author":"KT Kelly","year":"2008","unstructured":"Kelly, K.\u00a0T., Ockham\u2019s Razor, Truth, and Information, Elsevier, Dordrecht, 2008."},{"key":"9809_CR23","doi-asserted-by":"crossref","unstructured":"Kelly, K.\u00a0T., Simplicity, truth and probability, in P.\u00a0S. Bandyopadhyay, and M.\u00a0Forster, (eds.), Handbook of the Philosophy of Science. Volume 7: Philosophy of Statistics, North Holland, Amsterdam, 2011.","DOI":"10.1016\/B978-0-444-51862-0.50031-9"},{"key":"9809_CR24","unstructured":"Kelly, K.\u00a0T., K.\u00a0Genin, and H.\u00a0Lin, Simplicity, truth, and topology, Manuscript, 2014."},{"key":"9809_CR25","unstructured":"Kelly, K.\u00a0T., and C.\u00a0Glymour, Why probability does not capture the logic of scientific justification, in C.\u00a0Hitchcock, (ed.), Debates in the Philosophy of Science, Blackwell, New York, 2004, pp. 94\u2013114."},{"key":"9809_CR26","volume-title":"Science and Values","author":"L Laudan","year":"1984","unstructured":"Laudan, L., Science and Values, vol.\u00a087, Cambridge Univ Press, Cambridge, 1984."},{"issue":"6","key":"9809_CR27","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1007\/s10992-012-9237-3","volume":"41","author":"Hanti Lin","year":"2012","unstructured":"Lin, Hanti, and Kevin\u00a0T Kelly, Propositional reasoning that tracks probabilistic reasoning, Journal of Philosophical Logic 41(6):957\u2013981, 2012.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9809_CR28","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1016\/j.ic.2006.02.004","volume":"204","author":"W Luo","year":"2006","unstructured":"Luo, W., and O.\u00a0Schulte, Mind change efficient learning, Information and Computation 204(6):989\u20131011, 2006.","journal-title":"Information and Computation"},{"key":"9809_CR29","volume-title":"Elements of Scientific Inquiry","author":"E Martin","year":"1998","unstructured":"Martin, E., and D.\u00a0N. Osherson, Elements of Scientific Inquiry, MIT Press, Cambridge, 1998."},{"key":"9809_CR30","volume-title":"Unifying Scientific Theories: Physical Concepts and Mathematical Structures","author":"M Morrison","year":"2007","unstructured":"Morrison, M., Unifying Scientific Theories: Physical Concepts and Mathematical Structures, Cambridge University Press, Cambridge, 2007."},{"key":"9809_CR31","volume-title":"Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists.","author":"D\u00a0N Osherson","year":"1986","unstructured":"Osherson, D.\u00a0N., M.\u00a0Stob, and S.\u00a0Weinstein, Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists, The MIT Press, Cambridge, 1986."},{"key":"9809_CR32","volume-title":"The Logic of Scientific Discovery","author":"KR Popper","year":"1959","unstructured":"Popper, K.\u00a0R., The Logic of Scientific Discovery, Hutchinson, London, 1959."},{"issue":"1","key":"9809_CR33","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"Hilary Putnam","year":"1965","unstructured":"Putnam, H., Trial and error predicates and the solution to a problem of Mostowski, Journal of Symbolic Logic 30:49\u201357, 1965.","journal-title":"Journal of Symbolic Logic"},{"issue":"9","key":"9809_CR34","doi-asserted-by":"publisher","first-page":"503","DOI":"10.2307\/2678489","volume":"97","author":"Hans Rott","year":"2000","unstructured":"Rott, H., Two dogmas of belief revision, The Journal of Philosophy 97(9):503\u2013522, 2000.","journal-title":"The Journal of Philosophy"},{"key":"9809_CR35","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-90-481-9609-8_4","volume-title":"Belief Revision meets Philosophy of Science","author":"Gerhard Schurz","year":"2010","unstructured":"Schurz, G., Abductive belief revision in science, in Belief Revision Meets Philosophy of Science, Springer, Berlin, 2011, pp. 77\u2013104."},{"key":"9809_CR36","doi-asserted-by":"crossref","unstructured":"Sharma, A., F.\u00a0Stephan, and Y.\u00a0Ventsov, Generalized notions of mind change complexity, in Proceedings of the Tenth Annual Conference on Computational Learning Theory, ACM, 1997, pp. 96\u2013108.","DOI":"10.1145\/267460.267485"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9809-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9809-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9809-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T23:03:56Z","timestamp":1720479836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9809-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,4]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9809"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9809-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,4]]},"assertion":[{"value":"21 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 August 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}