{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:10:30Z","timestamp":1764364230013,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"publisher","award":["RQ-8236"],"award-info":[{"award-number":["RQ-8236"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11229-015-0993-9","type":"journal-article","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T08:41:26Z","timestamp":1460709686000},"page":"1191-1223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Realism, rhetoric, and reliability"],"prefix":"10.1007","volume":"193","author":[{"given":"Kevin T.","family":"Kelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantin","family":"Genin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanti","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,15]]},"reference":[{"issue":"2","key":"993_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D Angluin","year":"1980","unstructured":"Angluin, D. (1980). Inductive inference of formal languages from positive data. Information and Control, 45(2), 117\u2013135.","journal-title":"Information and Control"},{"key":"993_CR2","unstructured":"Baltag, A., Gierasimczuk, N., & Smets, S. (2014). Epistemic topology (to appear). ILLC Technical Report."},{"key":"993_CR3","unstructured":"Baltag, A., Gierasimczuk, N., & Smets, S. (2015). On the solvability of inductive problems: a study in epistemic topology (forthcoming). Proceedings of the Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge."},{"issue":"1","key":"993_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1111\/tops.12002","volume":"5","author":"L Carlucci","year":"2013","unstructured":"Carlucci, L., & Case, J. (2013). On the necessity of U-Shaped learning. Topics in Cognitive Science, 5(1), 56\u201388.","journal-title":"Topics in Cognitive Science"},{"key":"993_CR5","doi-asserted-by":"crossref","unstructured":"Carlucci, L., Case, J., Jain, S., & Stephan, F. (2005). Non U-shaped vacillatory and team learning. In: Algorithmic Learning Theory, (pp. 241\u2013255). Berlin: Springer.","DOI":"10.1007\/11564089_20"},{"issue":"2","key":"993_CR6","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1086\/286851","volume":"12","author":"R Carnap","year":"1945","unstructured":"Carnap, R. (1945). On inductive logic. Philosophy of Science, 12(2), 72.","journal-title":"Philosophy of Science"},{"issue":"2","key":"993_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0304-3975(83)90061-0","volume":"25","author":"J Case","year":"1983","unstructured":"Case, J., & Smith, C. (1983). Comparison of identification criteria for machine inductive inference. Theoretical Computer Science, 25(2), 193\u2013220.","journal-title":"Theoretical Computer Science"},{"key":"993_CR8","unstructured":"de Brecht, M., & Yamamoto, A. (2009). Interpreting learners as realizers for $${\\varSigma }_{2}^{0}$$ \u03a3 2 0 -measurable functions. 74, 39\u201344."},{"issue":"2","key":"993_CR9","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1086\/670298","volume":"80","author":"S Fitzpatrick","year":"2013","unstructured":"Fitzpatrick, S. (2013). Kelly on Ockham\u2019s razor and truth-finding efficiency. Philosophy of Science, 80(2), 298\u2013309.","journal-title":"Philosophy of Science"},{"key":"993_CR10","volume-title":"Knowledge in Flux","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in Flux. Cambridge: MIT Press."},{"key":"993_CR11","unstructured":"Gierasimczuk, N. (2010). Knowing One\u2019s Limits: Logical Analysis of Inductive Inference. : Institute for Logic, Language and Computation."},{"key":"993_CR12","volume-title":"Theory and Evidence","author":"C Glymour","year":"1980","unstructured":"Glymour, C. (1980). Theory and Evidence. Princeton: Princeton University Press."},{"key":"993_CR13","first-page":"41","volume":"10","author":"CL Hamblin","year":"1973","unstructured":"Hamblin, C. L. (1973). Questions in montague english. Foundations of Language, 10, 41\u201353.","journal-title":"Foundations of Language"},{"key":"993_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511619298","volume-title":"Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning","author":"J Hintikka","year":"2007","unstructured":"Hintikka, J. (2007). Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning. Cambridge: Cambridge University Press."},{"key":"993_CR15","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., Osherson, D. N., Royer, J. S., & Sharma, A. (1999). Systems that Learn: an Introduction to Learning Theory. Cambridge: MIT press."},{"key":"993_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"KT Kelly","year":"1996","unstructured":"Kelly, K. T. (1996). The Logic of Reliable Inquiry. New York: Oxford University Press."},{"key":"993_CR17","unstructured":"Kelly, K. T. (2002). Efficient convergence implies Ockham\u2019s razor. Proceedings of the 2002 International Workshop on Computational Models of Scientific Reasoning and Applications."},{"issue":"2","key":"993_CR18","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/j.tcs.2007.04.009","volume":"383","author":"KT Kelly","year":"2007","unstructured":"Kelly, K. T. (2007a). Ockham\u2019s razor, empirical complexity, and truth-finding efficiency. Theoretical Computer Science, 383(2), 270\u2013289.","journal-title":"Theoretical Computer Science"},{"key":"993_CR19","unstructured":"Kelly, K. T. (2007b). Simplicity, truth, and the unending game of science."},{"key":"993_CR20","doi-asserted-by":"crossref","unstructured":"Kelly, K. T. (2011). Simplicity, truth and probability. In: Bandyopadhyay, P. S., & Forster, M. (eds.), Handbook of the Philosophy of Science Volume 7: Philosophy of Statistics. North Holland: Elsevier.","DOI":"10.1016\/B978-0-444-51862-0.50031-9"},{"key":"993_CR21","unstructured":"Kelly, K. T., & Glymour, C. (2004). Why probability does not capture the logic of scientific justification. In: Hitchcock, C. (eds.), Debates in the Philosophy of Science, (pp. 94\u2013114). London: Blackwell."},{"key":"993_CR22","unstructured":"Kelly, K. T., & Mayo-Wilson, C. (2010). Causal conclusions that flip repeatedly and their justification. Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, (pp. 277\u2013286)."},{"key":"993_CR23","volume-title":"The Structure of Scientific Revolutions","author":"TS Kuhn","year":"1962","unstructured":"Kuhn, T. S. (1962). The Structure of Scientific Revolutions. Chicago: University of Chicago Press."},{"key":"993_CR24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/CBO9781139171434.009","volume":"4","author":"I Lakatos","year":"1970","unstructured":"Lakatos, I. (1970). Falsification and the methodology of scientific research programmes. Criticism and the Growth of Knowledge, 4, 91\u2013196.","journal-title":"Criticism and the Growth of Knowledge"},{"issue":"6","key":"993_CR25","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.ic.2006.02.004","volume":"204","author":"W Luo","year":"2006","unstructured":"Luo, W., & Schulte, O. (2006). Mind change efficient learning. Information and Computation, 204(6), 989\u20131011.","journal-title":"Information and Computation"},{"key":"993_CR26","volume-title":"Elements of Scientific Inquiry","author":"E Martin","year":"1998","unstructured":"Martin, E., & Osherson, D. N. (1998). Elements of Scientific Inquiry. Cambridge: MIT Press."},{"issue":"1","key":"993_CR27","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.tcs.2005.10.018","volume":"350","author":"E Martin","year":"2006","unstructured":"Martin, E., Sharma, A., & Stephan, F. (2006). Unifying logic, topology, and learning in parametric logic. Theoretical Computer Science, 350(1), 103\u2013124.","journal-title":"Theoretical Computer Science"},{"key":"993_CR28","volume-title":"The Katha Upanishad. In The Upanishads","author":"FM M\u00fcller","year":"1884","unstructured":"M\u00fcller, F. M. (1884). The Katha Upanishad. In The Upanishads. New York: Oxford University Press."},{"key":"993_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3739-0","volume-title":"Truthlikeness","author":"I Niiniluoto","year":"1987","unstructured":"Niiniluoto, I. (1987). Truthlikeness (Vol. 185). Dordrecht: Springer Science & Business Media."},{"key":"993_CR30","volume-title":"Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"DN Osherson","year":"1986","unstructured":"Osherson, D. N., Stob, M., & Weinstein, S. (1986). Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. Cambridge: The MIT Press."},{"key":"993_CR31","volume-title":"The Logic of Scientific Discovery","author":"KR Popper","year":"1959","unstructured":"Popper, K. R. (1959). The Logic of Scientific Discovery. London: Hutchinson."},{"key":"993_CR32","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H Putnam","year":"1965","unstructured":"Putnam, H. (1965). Trial and error predicates and the solution to a problem of mostowski. Journal of Symbolic logic, 30, 49\u201357.","journal-title":"Journal of Symbolic logic"},{"key":"993_CR33","unstructured":"Roberts, C. (2004). Context in dynamic interpretation. In: Horn, L., & Ward, G. (eds.), Handbook of Contemporary Pragmatic Theory, (pp. 197\u2013220). London: Blackwell."},{"issue":"3","key":"993_CR34","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1093\/biomet\/90.3.491","volume":"90","author":"JM Robins","year":"2003","unstructured":"Robins, J. M., Scheines, R., Spirtes, P., & Wasserman, L. (2003). Uniform consistency in causal inference. Biometrika, 90(3), 491\u2013515.","journal-title":"Biometrika"},{"issue":"1","key":"993_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/bjps\/50.1.1","volume":"50","author":"O Schulte","year":"1999","unstructured":"Schulte, O. (1999). Means-ends epistemology. The British Journal for the Philosophy of Science, 50(1), 1\u201331.","journal-title":"The British Journal for the Philosophy of Science"},{"issue":"4","key":"993_CR36","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1093\/bjps\/51.4.771","volume":"51","author":"O Schulte","year":"2000","unstructured":"Schulte, O. (2000). Inferring conservation laws in particle physics: A case study in the problem of induction. The British Journal for the Philosophy of Science, 51(4), 771\u2013806.","journal-title":"The British Journal for the Philosophy of Science"},{"key":"993_CR37","doi-asserted-by":"crossref","unstructured":"Schulte, O., Luo, W., & Greiner, R. (2007). Mind change optimal learning of Bayes net structure. In: 20th Annual Conference on Learning Theory (COLT), San Diego, CA, June 12\u201315.","DOI":"10.1007\/978-3-540-72927-3_15"},{"key":"993_CR38","doi-asserted-by":"crossref","unstructured":"Schulte, O., Frigo, G., Greiner, R., & Khosravi, H. (2010). The IMAP hybrid method for learning Gaussian Bayes nets. In: Advances in Artificial Intelligence, (pp. 123\u2013134). Berlin:Springer.","DOI":"10.1007\/978-3-642-13059-5_14"},{"key":"993_CR39","doi-asserted-by":"crossref","unstructured":"Sharma, A., Stephan, F., & Ventsov, Y. (1997). Generalized notions of mind change complexity. Proceedings of the tenth annual conference on Computational learning theory, (pp. 96\u2013108). ACM.","DOI":"10.1145\/267460.267485"},{"key":"993_CR40","volume-title":"Causation, Prediction, and Search","author":"P Spirtes","year":"2000","unstructured":"Spirtes, P., Glymour, C., & Scheines, R. (2000). Causation, Prediction, and Search (Vol. 81). Cambridge: MIT press."},{"key":"993_CR41","unstructured":"Stacks Project. Partitions and stratifications, http:\/\/stacks.math.columbia.edu\/tag\/09XY ."},{"key":"993_CR42","unstructured":"Stratification. (2012). The Encyclopedia of Mathematics. http:\/\/www.encyclopediaofmath.org\/index.php?title=Stratification ."},{"key":"993_CR43","volume-title":"Topology Via Logic","author":"S Vickers","year":"1996","unstructured":"Vickers, S. (1996). Topology Via Logic. Cambridge: Cambridge University Press."},{"issue":"4","key":"993_CR44","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/j.ic.2009.08.001","volume":"208","author":"A Yamamoto","year":"2010","unstructured":"Yamamoto, A., & de Brecht, M. (2010). Topological properties of concept spaces (full version). Information and Computation, 208(4), 327\u2013340.","journal-title":"Information and Computation"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0993-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0993-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0993-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T19:53:27Z","timestamp":1718481207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0993-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["993"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0993-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}