{"entities":{"Q1104912":{"pageid":1115661,"ns":120,"title":"Item:Q1104912","lastrevid":49181848,"modified":"2026-01-06T17:35:39Z","type":"item","id":"Q1104912","labels":{"en":{"language":"en","value":"Infinite truth-functional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057472"}},"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":"Q1104912$5C35E1E2-D4F5-4159-BB31-80340CA0EA7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9820256099b276e3795f22d7e847ef61c675d054","datavalue":{"value":{"text":"Infinite truth-functional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104912$26BADD5A-36BE-436B-9C72-262AE4D007CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3efd1e88c2b8aa2aee9655bbaaee1b7f88e16493","datavalue":{"value":"0648.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$13CEA911-F845-4C93-8AED-7FB8307B5856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c578aaa21a51e8b63fa2c63ab3052bb29bbe92","datavalue":{"value":{"entity-type":"item","numeric-id":185566,"id":"Q185566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104912$D1C9D2AB-B126-43BA-B2E4-88CCA5A27E3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104912$02E07E90-1C36-4363-8753-FF4D40AF6D1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104912$025055CA-739E-4FB6-9874-136C630BFD60","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8a676271cc64c91d9042539caa2bddc39ad34ae","datavalue":{"value":"The author indicates two possibilities of treating the universal and existential quantifiers: first, as expressing the notions ``all (individuals)'' and ``some (individuals)'' and, second, as generalized conjunction and generalized disjunction. An attempt is made at a philosophical justification of significance of the second possible treatment. For this purpose a system of truth-functional logic is proposed which includes the notion of infinite conjunction and is considered as a basis for constructing first-order quantifier logic. While assessing his system in a critical way, the author takes as his main result the construction of a semantical theory of quantifiers; this theory is shown to be simpler and ``more ontologically neutral'' than Tarski's conventional approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104912$4897799A-89B4-47D6-9A15-E1E71D45BAD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2dd5ed40413f5901f84b251dc4d09c67572320c","datavalue":{"value":{"entity-type":"item","numeric-id":1057853,"id":"Q1057853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104912$31D251F1-9E7B-4BDC-BC61-01E9404C4836","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$976CC3CE-8746-4074-8F07-E263626AB624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$7044AC6D-1ABF-4C27-B1D3-40FFAAF8C8A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5183f795ce1c6ba896ba8f633923e1ebf9e436","datavalue":{"value":"4057472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$B56B31DD-A246-4A18-B207-162F57C58706","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c879d04f7f0505c4782b73179e0cf286d5adf","datavalue":{"value":"truth-functional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104912$7C1F5829-EA24-4DB9-8BC6-5D1C89F21D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de3b6de5a910f054e0f09bb8281909a37b02ef8","datavalue":{"value":"infinite conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104912$9C193BC8-1480-4F87-9EF1-57D25C5281DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8adf1d323e810f5295fea3239ce1eadaf47f9f","datavalue":{"value":"first-order quantifier logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104912$071EFC29-4B41-465D-908E-B5ACEB02F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8060237191120234ec748640c75fec2b0aef298","datavalue":{"value":"semantical theory of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104912$AC44DF9E-04C9-4232-8FA6-3C19E0ACB61A","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":"Q1104912$27168DF8-000B-441C-9E18-B9FA90010CD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efdae3a06db08afb588686d6b2264a66579c9306","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637768","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104912$A2C565F2-7A4C-4A61-8B96-9624F0F65194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d885dffb867850af9149d968ec0ab78b6c2ecbc6","datavalue":{"value":"W2068350928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$AD3BBEDF-DC5F-4D93-AA62-385BCF8460E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb4754cf757293b6d6e1b32ca0f70ab0e86a48f4","datavalue":{"value":"10.1305/NDJFL/1093637768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104912$C44025DC-E769-43C5-843F-64D2CD903C73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2747867139360bec1a3cc48643a9f543968afb78","datavalue":{"value":{"entity-type":"item","numeric-id":3590051,"id":"Q3590051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365d5d02134009e265e9b93028d65b2b0033bb02","datavalue":{"value":{"amount":"+0.7954501509666443","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":"Q1104912$DE5BD7E0-E3E8-442F-9C9D-EB006BB3553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723bf332bb8ccb2fa19defbb5180b9da96df100a","datavalue":{"value":{"entity-type":"item","numeric-id":4391352,"id":"Q4391352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd89bd13776679e4b347d00aec48dbf64ee31dc","datavalue":{"value":{"amount":"+0.7625494599342346","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":"Q1104912$E30640DD-F75E-488A-A552-094430EA67B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23e6b9ba67df982a5064636ddf3a7148e4370a3","datavalue":{"value":{"entity-type":"item","numeric-id":3323916,"id":"Q3323916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd89bd13776679e4b347d00aec48dbf64ee31dc","datavalue":{"value":{"amount":"+0.7625494599342346","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":"Q1104912$BE0D40DE-8C92-41F6-AB63-4DB2AA54C063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14319d393bb7f7f908f19cf542695ba304f82c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3299517,"id":"Q3299517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214f3f5af43d8ff916743c484272308acffffdef","datavalue":{"value":{"amount":"+0.7415342330932617","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":"Q1104912$099D03A7-4704-485A-8EEF-1C3FBA37B3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f3719dbbc1c3484e09644adaadb4c7297b782f","datavalue":{"value":{"entity-type":"item","numeric-id":1941730,"id":"Q1941730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad733fa110a9012b6e4e455baec84f96b993b4f","datavalue":{"value":{"amount":"+0.7317347526550293","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":"Q1104912$7304320F-32A3-4AB8-B59A-A4D4A2CE1FCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104912"}}}}}