{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:54Z","timestamp":1742913714780,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_11","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"289-337","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Computational Learning Semantics for Inductive Empirical Knowledge"],"prefix":"10.1007","author":[{"given":"Kevin T.","family":"Kelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/S0899-8256(05)80015-6","volume":"8","author":"R Aumann","year":"1995","unstructured":"Aumann R (1995) Backward induction and common knowledge of rationality. Games Econ Behav 8:6\u201319","journal-title":"Games Econ Behav"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1021\/ed035p21","volume":"35","author":"OT Benfey","year":"1958","unstructured":"Benfey OT (1958) August Kekul\u00e9 and the birth of the structural theory of organic chemistry in 1848. J Chem Educ 35:21\u201323","journal-title":"J Chem Educ"},{"key":"11_CR3","volume-title":"Modal logic for open minds","author":"J van Benthem","year":"2010","unstructured":"van Benthem J (2010) Modal logic for open minds. CSLI Lecture Notes, Standord"},{"key":"11_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J van Benthem","year":"2011","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1086\/286851","volume":"12","author":"R Carnap","year":"1945","unstructured":"Carnap R (1945) On inductive logic. Philos Sci 12:72\u201397","journal-title":"Philos Sci"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139167093","volume-title":"The dappled world: a study of the boundaries of science","author":"N Cartwright","year":"1999","unstructured":"Cartwright N (1999) The dappled world: a study of the boundaries of science. Cambridge University Press, Cambridge"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1093\/acprof:oso\/9780199285495.003.0002","volume-title":"New essays on the knowability paradox","author":"A Church","year":"2009","unstructured":"Church A (2009) Referee reports on Fitch\u2019s \u2018A Definition of Value\u2019. In: Salerno J (ed) New essays on the knowability paradox. Oxford University Press, Oxford, pp 13\u201320"},{"key":"11_CR8","unstructured":"Dretske F (1981) Knowledge and the flow of information. The MIT Press, Cambridge (Mass.)"},{"key":"11_CR9","volume-title":"La th\u00e9orie physique son objet et sa structure","author":"P Duhem","year":"1914","unstructured":"Duhem P (1914) La th\u00e9orie physique son objet et sa structure, 2nd edn. Chevalier et Rivi\u2019ere, Paris","edition":"2"},{"key":"11_CR10","unstructured":"Gierasimczuk N (2010) Knowing one\u2019s limits: logical analysis of inductive inference. ILLC Dissertation Series DS-2010-11, Institute for Logic, Language, and Computation"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold EM (1967) Language Identification in the limit. Inf Control 10:447\u2013474","journal-title":"Inf Control"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LIV.213.1","volume":"213","author":"C Hempel","year":"1945","unstructured":"Hempel C (1945) Studies in the logic of confirmation. Mind 213:1\u201326","journal-title":"Mind"},{"key":"11_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9676-3","volume-title":"The convergence of scientific knowledge","author":"V Hendricks","year":"2001","unstructured":"Hendricks V (2001) The convergence of scientific knowledge. Springer, Dordrecht"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Holliday W (2012) Epistemic closure and epistemic logic I: Relevant alternatives and subjunctivism. J Philos Logic (Forthcoming)","DOI":"10.1007\/978-3-642-31467-4_8"},{"key":"11_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, Royer J, Sharma A (1999) Systems that learn: an introduction to learning theory, 2nd edn. Bradford, New York","edition":"2"},{"key":"11_CR16","first-page":"327","volume":"5","author":"W James","year":"1896","unstructured":"James W (1896) The will to believe. New World 5:327\u2013347","journal-title":"New World"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"27","author":"H Kamp","year":"1971","unstructured":"Kamp H (1971) Formal properties of \u2018Now\u2019. Theoria 27:227\u2013274","journal-title":"Theoria"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Kant I (1782\/1787) Critique of pure reason (trans: Guyer P, Wood A). Cambridge University Press, Cambridge (1997)","DOI":"10.1017\/CBO9780511804649"},{"key":"11_CR19","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 KT (1996) The logic of reliable inquiry. Oxford University Press, New York"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1093\/bjps\/51.4.639","volume":"51","author":"KT Kelly","year":"2001","unstructured":"Kelly KT (2001) The logic of success. Br J Philos Sci 51:639\u2013666","journal-title":"Br J Philos Sci"},{"key":"11_CR21","volume-title":"Handbook for the philosophy of statistics","author":"KT Kelly","year":"2010","unstructured":"Kelly KT (2010) Simplicity, truth, and probability. In: Bandyopadhyay PS, Forster M (eds) Handbook for the philosophy of statistics. Elsevier, Dordrecht"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1086\/288975","volume":"48","author":"L Laudan","year":"1981","unstructured":"Laudan L (1981) A confutation of convergent realism. Philos Sci 48:19\u201349","journal-title":"Philos Sci"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1080\/00048409612347521","volume":"74","author":"D Lewis","year":"1996","unstructured":"Lewis D (1996) Elusive knowledge. Australas J Philos 74:549\u2013567","journal-title":"Australas J Philos"},{"key":"11_CR24","volume-title":"Elements of scientific inquiry","author":"E Martin","year":"1998","unstructured":"Martin E, Osherson D (1998) Elements of scientific inquiry. The MIT Press, Cambridge (Mass.)"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"864","DOI":"10.1086\/662564","volume":"78","author":"C Mayo-Wilson","year":"2011","unstructured":"Mayo-Wilson C (2011) The problem of piece-meal induction. Philos Sci 78:864\u2013874","journal-title":"Philos Sci"},{"key":"11_CR26","volume-title":"Philosophical explanations","author":"R Nozick","year":"1981","unstructured":"Nozick R (1981) Philosophical explanations. Harvard University Press, Cambridge"},{"key":"11_CR27","first-page":"286","volume":"12","author":"CS Peirce","year":"1878","unstructured":"Peirce CS (1878) How to make our ideas clear. Popular Sci Mon 12:286\u2013302","journal-title":"Popular Sci Mon"},{"key":"11_CR28","unstructured":"Plato (1949) Meno (trans: Jowett B). Bobbs-Merrill, Indianapolis"},{"key":"11_CR29","volume-title":"Science and hypothesis","author":"H Poincare","year":"1904","unstructured":"Poincare H (1904) Science and hypothesis. The Walter Scott Publishing Co, New York"},{"key":"11_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-4177-9","volume-title":"Logik der Forschung","author":"KR Popper","year":"1935","unstructured":"Popper KR (1935) Logik der Forschung. Springer, Vienna"},{"key":"11_CR31","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11229-006-9039-7","volume":"158","author":"D Pritchard","year":"2007","unstructured":"Pritchard D (2007) Anti-luck epistemology. Synthese 158:277\u2013298","journal-title":"Synthese"},{"key":"11_CR32","volume-title":"The philosophy of Rudolf Carnap","author":"H Putnam","year":"1963","unstructured":"Putnam H (1963) \u2018Degree of Confirmation\u2019 and inductive logic. In: Schilpp A (ed) The philosophy of Rudolf Carnap. Open Court, LaSalle"},{"key":"11_CR33","volume-title":"The theory of probability","author":"H Reichenbach","year":"1949","unstructured":"Reichenbach H (1949) The theory of probability. Cambridge University Press, London"},{"key":"11_CR34","first-page":"1","volume":"5","author":"C Roberts","year":"2012","unstructured":"Roberts C (2012) Information structure: towards an integrated formal theory of pragmatics. Semant Pragmat 5:1\u201369","journal-title":"Semant Pragmat"},{"key":"11_CR35","volume-title":"Tracking truth: knowledge, evidence, and science","author":"S Roush","year":"2007","unstructured":"Roush S (2007) Tracking truth: knowledge, evidence, and science. Oxford University Press, Oxford"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Scott D (1970) Advice in modal logic. In: Lambert K (ed) Philosophicawl problems in logic, pp 143\u2013173","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"11_CR37","first-page":"141","volume":"13","author":"E Sosa","year":"1999","unstructured":"Sosa E (1999) How to defeat opposition to Moore. Philos Perspect 13:141\u2013154","journal-title":"Philos Perspect"},{"key":"11_CR38","volume-title":"The possibility of knowledge: Nozick and his critics","author":"J Vogel","year":"1987","unstructured":"Vogel J (1987) Tracking, closure, and inductive knowledge. In: Luper-Foy S (ed) The possibility of knowledge: Nozick and his critics. Rowman and Littlefield, Totowa"},{"key":"11_CR39","volume-title":"Time series analysis: univariate and multivariate methods","author":"W Wei","year":"1989","unstructured":"Wei W (1989) Time series analysis: univariate and multivariate methods. Addison-Wesley, New York"},{"key":"11_CR40","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-94-010-2602-4_12","volume-title":"The physicist\u2019s conception of nature","author":"A van der Werden","year":"1973","unstructured":"van der Werden A (1973) From matrix mechanics and wave mechanics to unified quantum mechanics. In: Mehra J (ed) The physicist\u2019s conception of nature. Reidel, Dordrecht, pp 276\u2013293"},{"key":"11_CR41","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1080\/00048409312345072","volume":"71","author":"T Williamson","year":"1993","unstructured":"Williamson T (1993) Verificationism and non-distributive knowledge. Australas J Philos 71:78\u201386","journal-title":"Australas J Philos"},{"key":"11_CR42","volume-title":"Knowledge and its limits","author":"T Williamson","year":"2000","unstructured":"Williamson T (2000) Knowledge and its limits. Oxford University Press, Oxford"},{"key":"11_CR43","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"A Yap","year":"2009","unstructured":"Yap A, Tomohiro H (2009) Dynamic epistemic logic and branching temporal structure. Synthese 169:259\u2013281","journal-title":"Synthese"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T22:48:23Z","timestamp":1717282103000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_11","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}