{"entities":{"Q2804475":{"pageid":2815213,"ns":120,"title":"Item:Q2804475","lastrevid":42138142,"modified":"2025-05-23T17:16:51Z","type":"item","id":"Q2804475","labels":{"en":{"language":"en","value":"On the logic of factual equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575407"}},"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":"Q2804475$A655B612-B02F-4FCA-BC29-F0F66CE1BC29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0588fd7b5a70ca3e2baa09adbc8bc326c2fbc28","datavalue":{"value":"1386.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$0BE688E7-8414-4A4C-A277-6790D37C4199","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e46cf762b0460425e2a6587f6c74ddce7dbb8404","datavalue":{"value":"10.1017/S1755020315000258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$03A01EFC-2E50-48B7-A92F-2FDA3F10F220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c16e70fe825bd8c0fd240aa69e1639a2dd2b77","datavalue":{"value":{"entity-type":"item","numeric-id":190355,"id":"Q190355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$CA9C14F4-FF33-4D94-9CD8-5BEFAC7B35D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$21C343EB-899A-43A0-9A31-0E07C9FB50F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804475$A252CEAA-CDB5-4486-BE39-58DCBE22FC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$226DE51F-832F-4BB2-B1B0-38750007E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$2D4572E5-246B-4902-AD1E-4DE48BBFD1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$BE50EBE0-9A8C-4992-97DC-0C9C2CE6C8B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"443f788237e71107ec75e251baa5c1e8c871364c","datavalue":{"value":"6575407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804475$59AD2B9F-B3B6-4EA7-85EB-A65557CC8D92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec9bbd444d5f9992291efd137c8cac26c46a93ba","datavalue":{"value":"factual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$B598557A-FE27-4C85-9411-A38400C6019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"396a2746869210c076b96714985aee015ea9ac32","datavalue":{"value":"situation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$505674C8-F5EE-42B8-8C3E-A3C897D05507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea340f5f7d666dc89b7d330e0049cebff310df9","datavalue":{"value":"fact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$A908B829-9BC7-451C-BC5B-7B206AEE5600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b9a58dab445e0fa7d466f628a1781a92cdcbbd","datavalue":{"value":"grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$B9E658FD-6270-48D4-ACC3-2B698BF42601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ed1b80ce4d3652de6e9d96fe2876e04f1926d3","datavalue":{"value":"first-degree equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$C090789E-B457-4B6C-AF40-BBA295084594","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":"Q2804475$236EEF0F-07E8-4B0E-91A6-A2911A25FC0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e522505aee13b125a1ce0152dd344b1936a63e","datavalue":{"value":{"entity-type":"item","numeric-id":484121,"id":"Q484121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$18350CB9-328F-4A6A-ACCA-BA7CD1FBC551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3270c42f4ea5c46a449158c4046ba1771363a71f","datavalue":{"value":{"entity-type":"item","numeric-id":1876092,"id":"Q1876092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$6E9A28A1-81AE-4190-89E1-37A4907444C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1ce01eb2fa877bfa5268347f5d645d59997256","datavalue":{"value":{"entity-type":"item","numeric-id":1131500,"id":"Q1131500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$586620FB-D4BD-4750-9811-3EEEF1DFC084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$DE137365-8887-4DCF-A041-D249A25A99E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425549a496130c59d361cbd49e8dc1c6f022bcef","datavalue":{"value":{"entity-type":"item","numeric-id":4583352,"id":"Q4583352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de8b3759c2241a0b422c7de57c0b614ee4f0ffb","datavalue":{"value":{"amount":"+0.905594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$9D36C507-5DE4-40ED-9C63-41FD85797A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b490a20158df2a9c09ee445e8b9bc7a9f15f","datavalue":{"value":{"entity-type":"item","numeric-id":4388342,"id":"Q4388342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8219c1d3401134446578a3dfa7c156373d56ae7","datavalue":{"value":{"amount":"+0.88644326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$9E87A5A0-9302-476E-9787-48193BB1F22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47502bc6df0b119a156c99bafef8d6d87c89ff09","datavalue":{"value":{"entity-type":"item","numeric-id":4917082,"id":"Q4917082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55f3ebd3ad2bc2548351508bad1298cbb725a73","datavalue":{"value":{"amount":"+0.86928713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$BB5B9AD6-AF97-4153-BF1C-176CA5A26C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6770eaabe83a82b0ee40cc7098a373a40723d71","datavalue":{"value":{"entity-type":"item","numeric-id":4562232,"id":"Q4562232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032fca58f9aac3098f78972bca70ab3811c94327","datavalue":{"value":{"amount":"+0.8650141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$967596DE-B152-42DE-8F05-3CAB78402146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd253c88b2703f03a8a8ef8eac447966447e67a7","datavalue":{"value":{"entity-type":"item","numeric-id":802306,"id":"Q802306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e442b7beb5ca0482d731cbbaa123ff5b9527fc53","datavalue":{"value":{"amount":"+0.8641056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$02656E3E-5697-421F-AC8D-AA66A851B633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4aa429b1799063f87417354d9992d8a4406abe","datavalue":{"value":{"entity-type":"item","numeric-id":558433,"id":"Q558433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8d2df6ea2b330189d7651140016b59929f4b80","datavalue":{"value":{"amount":"+0.863592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$F3CFFD1B-154E-41AF-9678-7CB340AB3FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d53a3120320e47a80dd1bb657668142753e98ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4427621,"id":"Q4427621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3a224742e61a20076a4d7f5f01ff838fca41ec","datavalue":{"value":{"amount":"+0.86168736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$34F766FD-7BB1-46A7-B073-A635226BF73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcf53627d94b4d567863cea8167d546c9ac31bd","datavalue":{"value":{"entity-type":"item","numeric-id":5147753,"id":"Q5147753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db74ba883d9f3067b69015a2a81e607873faab95","datavalue":{"value":{"amount":"+0.8611163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$E9E71ABA-685C-4007-BE98-225EDAF1EE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c71b2c8b62ec58ce788d4f9493878ad8b935d4","datavalue":{"value":{"entity-type":"item","numeric-id":5240950,"id":"Q5240950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb230873d4857194ba7573b536f753f03237ec4f","datavalue":{"value":{"amount":"+0.8596338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804475$E1A1019C-FA9E-4FBA-8530-4885F2412DB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79a05dd98153f84979ab7c548e18e54dcfd5aeb9","datavalue":{"value":{"text":"On the logic of factual equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804475$970EE17A-5E57-4BF5-B9A1-348CAEC28861","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70954c2203b22e22f00c6af68598c3f8bce9b475","datavalue":{"value":"The paper considers the notion of a factual equivalence understood as a form of ``sameness of content'', which is different from synonymy. The former is given a broader meaning than the latter, e.g., ``Hesperus is Phosphorus'' and ``Hesperus is Hesperus'' are factually equivalent but not synonymous. NEWLINENEWLINEThe author constructs a logical system in the language with conjunction, disjunction and negation, which is designed to determine the set of sentences factually equivalent by virtue of their logical form only. The system consists of the following axiom schemata and rules of inference: NEWLINENEWLINEA1.~\\(A \\approx \\neg\\neg A\\); NEWLINENEWLINEA2.~\\(A \\approx A \\wedge A\\); NEWLINENEWLINEA3.~\\(A \\wedge B \\approx B \\wedge A\\); NEWLINENEWLINEA4.~\\(A \\wedge (B \\wedge C) \\approx (A \\wedge B) \\wedge C\\); NEWLINENEWLINEA5.~\\(A \\approx A \\vee A\\); NEWLINENEWLINEA6.~\\(A \\vee B \\approx B \\vee A\\); NEWLINENEWLINEA7.~\\(A \\vee (B \\vee C) \\approx (A \\vee B) \\vee C\\); NEWLINENEWLINEA8.~\\(\\neg(A \\wedge B) \\approx \\neg A \\vee \\neg B\\); NEWLINENEWLINEA9. \\(\\neg(A \\vee B) \\approx \\neg A \\wedge \\neg B\\); NEWLINENEWLINEA10. \\(A \\wedge (B \\vee C) \\approx (A \\wedge B) \\vee (A \\wedge C)\\). NEWLINENEWLINER1.~\\(A \\approx B / B \\approx A\\); NEWLINENEWLINER2.~\\(A \\approx B, B \\approx C / A \\approx C\\); NEWLINENEWLINER3.~\\(A \\approx B / A \\wedge C \\approx B \\wedge C\\); NEWLINENEWLINER4.~\\(A \\approx B / A \\vee C \\approx B \\vee C\\). NEWLINENEWLINE(Adding to this system the axiom dual to A10, namely NEWLINENEWLINEA11.~\\(A \\vee (B \\wedge C) \\approx (A \\vee B) \\wedge (A \\vee C)\\),NEWLINENEWLINE which is not provable in the formulated system, results in Angell's first-degree system for analytic equivalence.) The system is provided with two semantics, ``both formulated in terms of the notion of a situation's being fittingly described by a linguistic item'', and is shown to be sound and complete with respect to the semantics so formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804475$01B4D3BA-4641-4417-BFB2-B97B6CFB21C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804475$B333BBDD-06EE-45FF-901F-58D9FF9DAC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804475"}}}}}