{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:26:27Z","timestamp":1760171187881,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T00:00:00Z","timestamp":1593475200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T00:00:00Z","timestamp":1593475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["405961989","432308570"],"award-info":[{"award-number":["405961989","432308570"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The application of the maximum entropy principle to determine probabilities on finite domains is well-understood. Its application to infinite domains still lacks a well-studied comprehensive approach. There are two different strategies for applying the maximum entropy principle on first-order predicate languages: (i) applying it to finite sublanguages and taking a limit; (ii) comparing finite entropies of probability functions defined on the language as a whole. The entropy-limit conjecture roughly says that these two strategies result in the same probabilities. While the conjecture is known to hold for monadic languages as well as for premiss sentences containing only existential or only universal quantifiers, its status for premiss sentences of greater quantifier complexity is, in general, unknown. I here show that the first approach fails to provide a sensible answer for some<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\Sigma _2$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:msub><mml:mi>\u03a3<\/mml:mi><mml:mn>2<\/mml:mn><\/mml:msub><\/mml:math><\/jats:alternatives><\/jats:inline-formula>-premiss sentences. I discuss implications of this failure for the first strategy and consequences for the entropy-limit conjecture.<\/jats:p>","DOI":"10.1007\/s11225-020-09912-3","type":"journal-article","created":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T08:02:49Z","timestamp":1593504169000},"page":"423-442","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Entropy-Limit (Conjecture) for $$\\Sigma _2$$-Premisses"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3105-6624","authenticated-orcid":false,"given":"J\u00fcrgen","family":"Landes","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,30]]},"reference":[{"issue":"1","key":"9912_CR1","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1093\/jigpal\/jzm028","volume":"16","author":"O. Barnett","year":"2008","unstructured":"Barnett, O., and J. B. Paris, Maximum Entropy Inference with Quantified Knowledge. Logic Journal of IGPL 16 (1): 85\u201398, 2008. https:\/\/doi.org\/10.1093\/jigpal\/jzm028.","journal-title":"Logic Journal of IGPL"},{"issue":"4","key":"9912_CR2","doi-asserted-by":"publisher","first-page":"513","DOI":"10.2307\/2102817","volume":"5","author":"Rudolf Carnap","year":"1945","unstructured":"Carnap, R., The Two Concepts of Probability: The Problem of Probability. Philosophy and Phenomenological Research 5 (4): 513\u2013532, 1945. https:\/\/doi.org\/10.2307\/2102817.","journal-title":"Philosophy and Phenomenological Research"},{"doi-asserted-by":"crossref","unstructured":"Carnap, R., Studies in Inductive Logic and Probability, volume\u00a01. University of California Press, 1971.","key":"9912_CR3","DOI":"10.1525\/9780520334250"},{"key":"9912_CR4","series-title":"volume 2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1525\/9780520318328-002","volume-title":"Studies in inductive logic and probability","author":"Rudolf Carnap","year":"1980","unstructured":"Carnap, R., A basic system of inductive logic part 2. In R. Carnap and R. C. Jeffrey, (eds.), Studies in inductive logic and probability, volume 2, University of California Press, Berkeley CA, 1980, pp. 7\u2013155."},{"issue":"1","key":"9912_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02759729","volume":"2","author":"Haim Gaifman","year":"1964","unstructured":"Gaifman, H., Concerning measures in first order calculi. Israel Journal of Mathematics 2 (1): 1\u201318, 1964. https:\/\/doi.org\/10.1007\/BF02759729.","journal-title":"Israel Journal of Mathematics"},{"issue":"1","key":"9912_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1613\/jair.61","volume":"2","author":"Adam J Grove","year":"1994","unstructured":"Grove, A. J., J. Y. Halpern, and D. Koller, Random worlds and maximum entropy. Journal of Artificial Intelligence Research 2 (1): 33\u201388, 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"doi-asserted-by":"publisher","unstructured":"Haenni, R., J.-W. Romeijn, G. Wheeler, and J. Williamson, Probabilistic Argumentation, volume 350 of Synthese Library. Springer, 2011. https:\/\/doi.org\/10.1007\/978-94-007-0008-6_3.","key":"9912_CR7","DOI":"10.1007\/978-94-007-0008-6_3"},{"key":"9912_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability Theory: The Logic of Science","author":"Edwin\u00a0T Jaynes","year":"2003","unstructured":"Jaynes, E. T., Probability Theory: The Logic of Science. Cambridge University Press, Cambridge, 2003."},{"doi-asserted-by":"publisher","unstructured":"Landes, J., J. B. Paris, and A. Vencovsk\u00e1, Some Aspects of Polyadic Inductive Logic. Studia Logica 90 (1): 3\u201316, 2008. https:\/\/doi.org\/10.1007\/s11225-008-9140-7.","key":"9912_CR9","DOI":"10.1007\/s11225-008-9140-7"},{"doi-asserted-by":"publisher","unstructured":"Landes, J., J.\u00a0B. Paris, and A. Vencovsk\u00e1, A survey of some recent results on Spectrum Exchangeability in Polyadic Inductive Logic. Synthese 181: 19\u201347, 2011. https:\/\/doi.org\/10.1007\/s11229-009-9711-9.","key":"9912_CR10","DOI":"10.1007\/s11229-009-9711-9"},{"issue":"9","key":"9912_CR11","doi-asserted-by":"publisher","first-page":"3528","DOI":"10.3390\/e15093528","volume":"15","author":"J\u00fcrgen Landes","year":"2013","unstructured":"Landes, J., and J. Williamson, Objective Bayesianism and the maximum entropy principle. Entropy 15 (9): 3528\u20133591, 2013. https:\/\/doi.org\/10.3390\/e15093528.","journal-title":"Entropy"},{"issue":"4","key":"9912_CR12","doi-asserted-by":"publisher","first-page":"2459","DOI":"10.3390\/e17042459","volume":"17","author":"J\u00fcrgen Landes","year":"2015","unstructured":"Landes, J., and J. Williamson, Justifying objective Bayesianism on predicate languages. Entropy 17 (4): 2459\u20132543, 2015. https:\/\/doi.org\/10.3390\/e17042459.","journal-title":"Entropy"},{"doi-asserted-by":"publisher","unstructured":"Landes, J., and J. Williamson, Objective Bayesian nets from consistent datasets. In A. Giffin and K. H. Knuth, (eds.), Proceedings of MaxEnt, volume 1757, pp. 1\u20138. 2016. https:\/\/doi.org\/10.1063\/1.4959048.","key":"9912_CR13","DOI":"10.1063\/1.4959048"},{"doi-asserted-by":"crossref","unstructured":"Landes, J., J. Williamson, and S. R. Rad, The Entropy-Limit Conjecture for non-categorical quantified Constraints. Annals of Pure and Applied Logic 2020. 43 pp., accepted.","key":"9912_CR14","DOI":"10.1016\/j.apal.2020.102870"},{"key":"9912_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1023\/A:1005081609010","volume":"117","author":"Jeff B Paris","year":"1998","unstructured":"Paris, J.\u00a0B., Common Sense and Maximum Entropy. Synthese 117: 75\u201393, 1998. https:\/\/doi.org\/10.1023\/A:1005081609010.","journal-title":"Synthese"},{"unstructured":"Paris, J.\u00a0B., The Uncertain Reasoner\u2019s Companion: A Mathematical Perspective, volume\u00a039 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2 edition, 2006.","key":"9912_CR16"},{"doi-asserted-by":"crossref","unstructured":"Paris, J.\u00a0B., and S. R. Rad, Inference Processes for Quantified Predicate Knowledge. In W. Hodges and R. de Queiroz, (eds.), Proceedings of WoLLIC, volume 5110 of LNCS, Springer, 2008, pp. 249\u2013259.","key":"9912_CR17","DOI":"10.1007\/978-3-540-69937-8_22"},{"doi-asserted-by":"publisher","unstructured":"Paris, J.\u00a0B., and S. R. Rad, A Note on the Least Informative Model of a Theory, Springer Berlin Heidelberg, 2010, pp. 342\u2013351. https:\/\/doi.org\/10.1007\/978-3-642-13962-8_38.","key":"9912_CR18","DOI":"10.1007\/978-3-642-13962-8_38"},{"issue":"1","key":"9912_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0888-613X(89)90012-1","volume":"3","author":"Jeff B Paris","year":"1989","unstructured":"Paris, J.\u00a0B., and A. Vencovsk\u00e1, On the applicability of maximum entropy to inexact reasoning. International Journal of Approximate Reasoning 3 (1): 1\u201334, 1989. https:\/\/doi.org\/10.1016\/0888-613X(89)90012-1.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"3","key":"9912_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0888-613X(90)90020-3","volume":"4","author":"Jeff B Paris","year":"1990","unstructured":"Paris, J.\u00a0B., and A. Vencovsk\u00e1, A note on the inevitability of maximum entropy. International Journal of Approximate Reasoning 4 (3): 183\u2013223, 1990. https:\/\/doi.org\/10.1016\/0888-613X(90)90020-3.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"1","key":"9912_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0888-613X(97)00014-5","volume":"17","author":"Jeff B Paris","year":"1997","unstructured":"Paris, J.\u00a0B., and A. Vencovsk\u00e1, In Defense of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning 17 (1): 77\u2013103, 1997. https:\/\/doi.org\/10.1016\/S0888-613X(97)00014-5.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9912_CR22","volume-title":"Paris and Alena Vencovsk\u00e1","author":"B Jeff","year":"2015","unstructured":"Paris, J.\u00a0B., and A. Vencovsk\u00e1, Pure Inductive Logic. Cambridge University Press, 2015."},{"unstructured":"Rad, S. R., Inference Processes for on First Order Probabilistic Languages. PhD thesis, Manchester Institute for Mathematical Sciences, 2009. http:\/\/www.rafieerad.org\/manthe.pdf.","key":"9912_CR23"},{"issue":"1","key":"9912_CR24","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s11225-016-9684-x","volume":"105","author":"Soroush Rafiee Rad","year":"2017","unstructured":"Rad, S. R., Equivocation axiom on first order languages. Studia Logica 105 (1): 121\u2013152, 2017. https:\/\/doi.org\/10.1007\/s11225-016-9684-x.","journal-title":"Studia Logica"},{"unstructured":"Rad, S. R., Maximum Entropy Models for $$ _1$$ Sentences. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications 5 (1): 287\u2013300, 2018. URL http:\/\/www.collegepublications.co.uk\/admin\/download.php?ID=ifcolog00021.","key":"9912_CR25"},{"unstructured":"Rad, S. R., Probabilistic models of first order theories: A symmetry axiom to rule them all. 2020. http:\/\/www.rafieerad.org\/PrCh.pdf. forthcoming.","key":"9912_CR26"},{"issue":"3","key":"9912_CR27","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s11229-007-9298-y","volume":"163","author":"Jon Williamson","year":"2008","unstructured":"Williamson, J., Objective Bayesianism with predicate languages. Synthese 163 (3): 341\u2013356, 2008. https:\/\/doi.org\/10.1007\/s11229-007-9298-y.","journal-title":"Synthese"},{"key":"9912_CR28","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199228003.001.0001","volume-title":"In Defence of Objective Bayesianism","author":"Jon Williamson","year":"2010","unstructured":"Williamson, J., In Defence of Objective Bayesianism. Oxford University Press, Oxford, 2010."},{"key":"9912_CR29","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1016\/j.jal.2013.03.006","volume":"11","author":"Jon Williamson","year":"2013","unstructured":"Williamson, J., From Bayesian epistemology to inductive logic. Journal of Applied Logic 11: 468\u2013486, 2013. https:\/\/doi.org\/10.1016\/j.jal.2013.03.006.","journal-title":"Journal of Applied Logic"},{"key":"9912_CR30","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199666478.001.0001","volume-title":"Lectures on Inductive Logic","author":"Jon Williamson","year":"2017","unstructured":"Williamson, J., Lectures on Inductive Logic. Oxford University Press, Oxford, 2017."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09912-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09912-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09912-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T04:28:58Z","timestamp":1667190538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09912-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,30]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9912"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09912-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,6,30]]},"assertion":[{"value":"6 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 June 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}