{"entities":{"Q1083444":{"pageid":1094196,"ns":120,"title":"Item:Q1083444","lastrevid":48988501,"modified":"2026-01-06T10:13:01Z","type":"item","id":"Q1083444","labels":{"en":{"language":"en","value":"On the logic of high probability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974945"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083444$777C4732-5608-4075-932C-5C3A8FEF2194","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec1f70364dd3f1c040a72e48ecc8ece03ef932de","datavalue":{"value":{"text":"On the logic of high probability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083444$E1B00E7F-D4B8-4A36-8E94-0177D63C614F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff4f56fc3f883e795cbb40cf6fa3bd7635019e72","datavalue":{"value":"0604.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083444$70A82F36-1FDB-43EB-828E-7CEA32E7C28C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aa10e7d9db3b128ce8a3115bd0f2322405097c0","datavalue":{"value":"10.1007/BF00248572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083444$9F9F2115-5BCF-4AAC-9E3D-72A3F39E9E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7991a5d2e04093744dbf2c994eb3b4390723f579","datavalue":{"value":{"entity-type":"item","numeric-id":1083443,"id":"Q1083443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083444$C2FD0A60-620F-4F75-8464-ECF59C9508C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083444$7C458CF0-240C-4941-9F4F-F687AC012F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1083444$9D765286-66FA-4152-A1A5-9253068924F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8a455bd0205b6b88b34d9e9a8e783d5882e6832","datavalue":{"value":"Let 'H(A,B)' symbolize the value proposition that P(A,B) is high, where A and B are elements of a boolean algebra and P(A,B) is the conditional probability of A given B, P being a probability function for the algebra. Letting I(A,B) be the improbability function 1-P(A,B), it is proved that a necessary and sufficient condition for the inequality  \\[  I(A_ 1,B_ 1)+...+I(A_ n,B_ n)\\leq I(C_ 1,D_ 1)\\times...\\times I(C_ m,D_ m)  \\]  to hold for all improbability functions is that \\(H(C_ 1,D_ 1)\\vee...\\vee H(C_ m,D_ m)\\) should be derivable from \\(H(A_ 1,B_ 1)\\&...\\&H(A_ n,B_ n)\\) according to simple rules of inference, and it is also shown that if it is not derivable by these rules then for all positive \\(\\epsilon\\) there exists an improbability function I such that \\(I(A_ i,B_ i)\\leq \\epsilon\\) for \\(i=1,...,n\\), while \\(I(C_ j,D_ j)\\geq 1/m\\), for \\(j=1,...,m\\). A simple decision procedure is described for determining derivability according to the rules, and a number of metatheoretic consequences are derived from its properties. Connections with one of D. Lewis's systems of counterfactual logic are noted.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$2AC87565-B768-421C-BE8E-D510723421E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083444$5447C1F3-9573-41A5-9D3D-9B413B29E055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6ebc4aa39382492ec1539b2f61ded21a77b0e6","datavalue":{"value":"3974945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083444$67FD2ED1-F61F-4E2F-8057-5C416CC20A6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8fc62cce863b373f40a4bc53c7b0b4cb045a5a","datavalue":{"value":"conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$227A4C2F-3AA9-4BDA-A6AE-95185FF21E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a75f9ad620e25b1bebc61cb5fdb151adb11e3b6","datavalue":{"value":"value proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$5CE90E2E-8D7E-4600-BFCB-02B5F79AD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12242fa8192ff64eef533b0948d24cb70646b59c","datavalue":{"value":"conditional probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$38193B98-875E-4DE5-A539-DF39A1F4E6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac440395205f0825c894f6b984f58c827928d958","datavalue":{"value":"probability function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$4EA71B37-B42D-42B5-B686-9E1412A70975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1c45dac5906738d018286b46acdd44b858ef83","datavalue":{"value":"improbability function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$928B87E2-8316-4483-9860-07C8E372102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$57D1C1BA-1946-41C7-BE3D-4C7DF9FE26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$BA0B807F-A846-4FD6-8F32-8F2161F6509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ebc911fb68020aa8f267c4a7ba5a98bf16bd7b6","datavalue":{"value":"counterfactual logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083444$F5EF7C9A-9595-4A98-8964-E276476A2132","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083444$32CDC04F-7801-4801-B591-7141D6938EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c338fc982490286bb635c079594dac466e900c70","datavalue":{"value":"https://doi.org/10.1007/bf00248572","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083444$50D8874A-11C0-4561-8D23-7F193052EDF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3927b09eefeda0301ebde2be1e45a538070b5d58","datavalue":{"value":"W2005593208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083444$7D5F952C-0BD1-4B26-994F-4C4F2A500CA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df1656a60b561e16fcf32135a34e02bf50afd83","datavalue":{"value":{"entity-type":"item","numeric-id":3510452,"id":"Q3510452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bb6147fab798597598f6aa489e56d7f9e326a0","datavalue":{"value":{"amount":"+0.8020387887954712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083444$40D75E7E-BCB2-4AE3-97F6-75348AA4C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d2f357f26522daa3df9a3ae61c124b20c090d","datavalue":{"value":{"entity-type":"item","numeric-id":4585829,"id":"Q4585829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5289c6f9de36ead268053f45c31a68f91871dcc0","datavalue":{"value":{"amount":"+0.7922504544258118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083444$E193D392-F71C-426A-9918-EFB1DD57F4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337c311c8c7808f5c861a9cc09a4fd3aa40b92a0","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3666c30d49792b2af62f6e7a39baf4fa61ca8d7a","datavalue":{"value":{"amount":"+0.7867446541786194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083444$C7975F01-C043-4391-B7EC-F38DD73821C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c04619c316ef9d4c1f4e816bb541e8dafb78c8","datavalue":{"value":{"entity-type":"item","numeric-id":4368723,"id":"Q4368723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54519c59fc9bf680517f1c3bcad4cc07a983f3c","datavalue":{"value":{"amount":"+0.7775442004203796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083444$638BB415-F3B8-4DB7-B8FC-758738D9AAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2814d5a97e85d6618c0dd40a02221f3921232d","datavalue":{"value":{"entity-type":"item","numeric-id":1096615,"id":"Q1096615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a731ea92812fe3cc4120f08df5ad9e8cb6bf07cb","datavalue":{"value":{"amount":"+0.7771191596984863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083444$05512576-18EF-4B67-9162-87693279407F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1083444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1083444"}}}}}