{"entities":{"Q7361030":{"pageid":31518629,"ns":120,"title":"Item:Q7361030","lastrevid":105362453,"modified":"2026-10-07T13:34:13Z","type":"item","id":"Q7361030","labels":{"en":{"language":"en","value":"Suppes' Theorem For Probability Logic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Suppes_Theorem"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bef1868e4b5dbfda62e4e590c8b06f9018797f4","datavalue":{"value":"https://isa-afp.org/entries/Suppes_Theorem.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361030$3AF9CF5F-2649-4098-8095-CDCA3E2703A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32da3a3f59168ecff92359843fdf945b4f08dfc0","datavalue":{"value":{"time":"+2023-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361030$19071CDB-EEA5-4C8C-8D2F-A7C6D6E66482","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"86fa51f88e0874d807da710a9a5492e1496f2e14","datavalue":{"value":"Matthew Doty","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361030$4472F472-32B4-4A0D-BB1C-DFF04F55650D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cae3fcf42448d936718224baa85ec7ff41b87563","datavalue":{"value":{"text":"Suppes' Theorem For Probability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361030$59228EF2-2F3E-4890-8A7E-D4830258F6E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf2bc0c64c3a4e1e86513a199a8824d84394da23","datavalue":{"value":"We develop finitely additive probability logic and prove a theorem of Patrick Suppes that asserts that $\\Psi \\vdash \\phi$ in classical propositional logic if and only if $(\\sum \\psi \\leftarrow \\Psi.\\; 1 - \\mathcal{P} \\psi) \\geq 1 - \\mathcal{P} \\phi$ holds for all probabilities $\\mathcal{P}$. We also provide a novel dual form of Suppes' Theorem, which holds that $(\\sum \\phi \\leftarrow \\Phi.\\; \\mathcal{P} \\phi) \\leq \\mathcal{P} \\psi$ for all probabilities $\\mathcal{P}$ if and only $\\left(\\bigvee \\Phi\\right) \\vdash \\psi$ and all of the formulae in $\\Phi$ are logically exclusive from one another. Our proofs use Maximally Consistent Sets , and as a consequence, we obtain two collapse theorems. In particular, we show $(\\sum \\phi \\leftarrow \\Phi.\\; \\mathcal{P} \\phi) \\geq \\mathcal{P} \\psi$ holds for all probabilities $\\mathcal{P}$ if and only if $(\\sum \\phi \\leftarrow \\Phi.\\; \\delta\\; \\phi) \\geq \\delta\\; \\psi$ holds for all binary-valued probabilities $\\delta$, along with the dual assertion that $(\\sum \\phi \\leftarrow \\Phi. \\;\\mathcal{P} \\phi) \\leq \\mathcal{P} \\psi$ holds for all probabilities $\\mathcal{P}$ if and only if $(\\sum \\phi \\leftarrow \\Phi.\\; \\delta\\; \\phi) \\leq \\delta\\; \\psi$ holds for all binary-valued probabilities $\\delta$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361030$BC5CB98E-4C49-4924-97F0-DA03B2BC8DE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$4A23F958-ECFA-4BCB-9BA6-F0102BC7C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$F4606B08-3FB7-478E-B98E-258EE9D4AE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194ea1518e6f685f6c6c938409deb5deb10bdce","datavalue":{"value":{"entity-type":"item","numeric-id":3590049,"id":"Q3590049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$ACEDA92F-F027-490F-89FD-65B158224E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$EFE01B8C-1271-445D-A0BB-6C2E600A8407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3398a71838665d38ebc6c70e028a82433fcea0d7","datavalue":{"value":{"entity-type":"item","numeric-id":5836107,"id":"Q5836107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$4C456D7B-4E4C-4896-9686-422B7205D62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$5ECFE22C-D28A-4E1B-868F-A75CD5FF8518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dda2f6e7365a838e9505836a8fcd2afe25a3666","datavalue":{"value":{"entity-type":"item","numeric-id":1831178,"id":"Q1831178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$AA6DAB9F-28FE-4272-A1EF-AAACE92739B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a389bcac613e4dbfd4c6336b4b2c852a73c4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5553784,"id":"Q5553784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$37E9F19A-7626-416C-BE34-CB8445FDFC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dae3f7e2fdb890b00c5c508d2e1514496bf68","datavalue":{"value":{"entity-type":"item","numeric-id":2936334,"id":"Q2936334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$A3CF2AF2-6F6B-402A-B52B-52F5ACA902AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4bbd6e9a6c0a404a4392c144dbf98e1311cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4172038,"id":"Q4172038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$86475A46-8455-4650-961C-B8687EF2B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$735C9FF4-C88F-4644-8458-1F992D98BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b44dc579c51b3f7b4cdb86b7e3cffb721c41a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2616497,"id":"Q2616497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$B12DAEA1-9CB6-4ED7-99A6-9DCEE8A39385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a361cac9c69986353146cfc6e8bfec5c1e2a63c6","datavalue":{"value":{"entity-type":"item","numeric-id":1342214,"id":"Q1342214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$F77FA311-FC7D-4D08-8E5D-FC912D957DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$560B515F-C787-4B05-B69E-DE62538ABF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$BE7E59FB-E85D-4A70-8013-85E809B9B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006e9108963dd240af39bc9c364ba6322b042ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4368723,"id":"Q4368723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$4FEDFA42-C202-4CEA-9326-83AAABD152D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a870243a206d513546fc876630c16a301c3dfc88","datavalue":{"value":{"entity-type":"item","numeric-id":1138469,"id":"Q1138469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$FDB34FF1-B866-4019-9970-BA91DA3B8227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$AA7E166C-7D12-4D1B-B3F9-71FEF9E1F880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$87D99804-48C6-4069-AFF0-E45BF09911AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76760727dab837e0b820dbbf2b8503c531dc9a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4754553,"id":"Q4754553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$E7BF153A-77B2-4D55-B747-D9DCD7499AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604926fd78c2346c71237b86ff8d64b5ace0099b","datavalue":{"value":{"entity-type":"item","numeric-id":3226025,"id":"Q3226025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$BA932100-833F-4A68-B696-B264E618C04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$99B40F4A-CD46-44A1-AAAD-2DE3C9E81237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e459febd3308ccd05c00218c3d9d5a294a33566f","datavalue":{"value":{"entity-type":"item","numeric-id":986029,"id":"Q986029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$31B89018-9162-4784-BFA4-E97417743B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416198c976198481dd374ac12c2633042c796538","datavalue":{"value":{"entity-type":"item","numeric-id":1541412,"id":"Q1541412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$B6BEB550-5991-48FF-AB75-10FD142A8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$C652FFFA-9AC5-4BC0-B60A-9B43B52ADA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e15304bc8ff9694bd65524aff0a644c0008043","datavalue":{"value":{"entity-type":"item","numeric-id":5599789,"id":"Q5599789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$20566333-4B5C-47C9-A640-A0AD335CACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$0688D416-1D3A-4B77-926F-FE516BD5AE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$38EDBBB6-BECA-4984-8EBB-A8F1245F7CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2561212e62046aa1bbe5f6493082a6843f18247","datavalue":{"value":{"entity-type":"item","numeric-id":4077986,"id":"Q4077986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$D88AEFB3-D3C1-4021-BC1F-9F37B2E4E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$EB1D11BF-CEDD-4E77-9E7D-BE4E09C5F2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bf3a8a3792b97d070eb2131db0f088ecb3aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4561681,"id":"Q4561681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$E53A98F7-2E6B-4009-8099-E30A88424129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875e4e402b6e87e74e152278db15e8abdbd55b1c","datavalue":{"value":{"entity-type":"item","numeric-id":558734,"id":"Q558734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$94AD53B8-D906-429A-959B-5801023C6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65bf4acc8259db51bdb0a1fc6458d0fdd17fa7","datavalue":{"value":{"entity-type":"item","numeric-id":4781256,"id":"Q4781256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$8D4267BD-9C13-49DE-9395-3F6E8B7B35DF","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$59313D39-FBE7-450C-A276-38E9CA3F329F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"09356714aeefa7cd3328959b5080f0d931aad6df","datavalue":{"value":{"entity-type":"item","numeric-id":7361583,"id":"Q7361583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$A63539F2-FB03-409E-983F-7E331254944C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"46a3c16c7f23b7b076a59467a678c276f115551a","datavalue":{"value":{"entity-type":"item","numeric-id":7360809,"id":"Q7360809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$0D762188-98F9-48FC-B395-014F0F29A8DC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361030$CACACB00-9D70-4CC8-84B9-3B28568B28E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Suppes' Theorem For Probability Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Suppes%27_Theorem_For_Probability_Logic"}}}}}