{"entities":{"Q1084094":{"pageid":1094846,"ns":120,"title":"Item:Q1084094","lastrevid":66698415,"modified":"2026-04-12T12:11:34Z","type":"item","id":"Q1084094","labels":{"en":{"language":"en","value":"On the logic of theory change: safe contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976989"}},"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":"Q1084094$F180C767-0A1B-4070-9E7D-32FB851D505E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34ab109ce6c7b5612d8e239c98550c1d19e0aea1","datavalue":{"value":{"text":"On the logic of theory change: safe contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084094$901D3877-10FA-40C7-BFE6-E6C67942A755","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"605c31568994442692a05b0e647a7d118167bc52","datavalue":{"value":"0605.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$E2B7FC28-FBC7-48D9-8A25-1DF868E180C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9eeaf49a1882cdc6b784c216abf5792e2d7b0a4","datavalue":{"value":"10.1007/BF00370430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$282AAB02-78A3-47AA-9658-149CDFEAC26A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2173d4ef77d7e35666df509a686e9d358af24e14","datavalue":{"value":{"entity-type":"item","numeric-id":1084093,"id":"Q1084093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$528715BD-BA67-489E-8745-F4703B11C5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2155d0a5cbf4f5292fb5f783d530e443c94284","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$92044F32-7AC0-4408-9E6E-1B9753A9B6AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$2755058D-CA31-4E75-B351-A92C06B290C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1084094$ECFF4CF9-C2DB-42A2-BFA4-5BC0E4CB51A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc9e514b50c17ac308a4fd78f4539a58b15b5ab6","datavalue":{"value":"This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter G\u00e4rdenfors. The paper defines a notion of ''safe contraction'' of a set of propositions, shows that it satisfies the G\u00e4rdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and under various natural constraints.    The leading idea is simple. Let A be a set of propositions, \\(<\\) a non- circular relation over A, and x a proposition that we wish to eliminate from A. The authors call an element a of A ''safe'' with respect to x (modulo \\(<\\), and given some background consequence operation Cn) iff it is not a minimal element (under \\(<)\\) of any minimal subset (under inclusion) B of A such that \\(x\\in Cn(B)\\); and putting A/x to be the set of safe elements of A, they define the function of safe contraction by setting \\(A\\dot- x=A\\cap Cn(A/x)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084094$DB82CD57-6BB5-4096-AE3A-8BADEFF32EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$C1FB41FD-AF4D-4F35-8E9F-43AA4D8F5156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$A057B431-B430-4BD9-94F6-FF0E9C7AAE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b65a8afd6594c93d85e74fae3166fcdba0295426","datavalue":{"value":"3976989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$940B7ACC-78C3-458E-91D4-580334C74EA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c395f09d1d824d65223fc1a89ac00292aac881e","datavalue":{"value":"logic of theory change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084094$3B43BF6D-10F0-4A2F-9B78-208DD57F04CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f246f5380e8921c75e99ff8d3b417b0cbcfc88f0","datavalue":{"value":"shrinking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084094$C2CCCA12-1AC5-40C7-B9C1-92C21F21AA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86331598f0f274ca5d6a7a6a3bfe37fab405b11","datavalue":{"value":"partial meet contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084094$BE3B70E6-484A-451D-AB1D-00F180E59F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084094$9AD20091-DDE2-4259-9100-12B0B7D8883E","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":"Q1084094$4A1D4674-EA9A-47A4-966A-9A1740B8A12B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b148f23a3b566b437d31045b1a43179f002ba","datavalue":{"value":{"entity-type":"item","numeric-id":3039305,"id":"Q3039305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$B745CA8B-9E6C-4ECE-9AB4-51BBC31F5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$DEEDA237-30B4-40D5-A5AC-F156F7541E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b80fe46499431fb05e6a3a2e26ee57f8285136b","datavalue":{"value":{"entity-type":"item","numeric-id":3758800,"id":"Q3758800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084094$9B89367D-6474-4255-8FB3-6EDD6492F377","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"326f74eba33e6de38d893fb27674ce60f92a3ef6","datavalue":{"value":"https://doi.org/10.1007/bf00370430","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084094$F428D7AE-A9D3-4784-9E9B-8B8006F41CB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bcd121ba2c471549b502ad0045b8edec9781a5d","datavalue":{"value":"W2060533443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084094$7C78AD53-651C-4C2E-953E-1E3C4B4D11FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca1dae3ae51c61652eb391eab96fe3060b84933","datavalue":{"value":{"entity-type":"item","numeric-id":2971678,"id":"Q2971678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31954d62b64919a6aaeb790351c1566f32452b7","datavalue":{"value":{"amount":"+0.8821406364440918","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":"Q1084094$DDDF263C-45F5-4687-A5AC-2C3313D7D312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c325c285811a71c5a05555fd07b66419cc3588","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d82e07beeb316ff618b06bcf565283d02494ad9","datavalue":{"value":{"amount":"+0.8800265192985535","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":"Q1084094$7CF0A82B-5CA3-4053-A250-B5DB84FBDC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea2a7ae411efbcf9ca02cbd440f477f1cfe07a0","datavalue":{"value":{"entity-type":"item","numeric-id":5250305,"id":"Q5250305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d1716c611970c7c36b2061f5a8b60399a4b16a","datavalue":{"value":{"amount":"+0.8686168789863586","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":"Q1084094$11905C45-4007-4685-A4BD-5961943C10A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900d4f5ea6ffd0add6b71df99386a2c338281a8d","datavalue":{"value":{"entity-type":"item","numeric-id":757344,"id":"Q757344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b204bbbbbed43077d1974defc4689f315d7ea912","datavalue":{"value":{"amount":"+0.8651185035705566","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":"Q1084094$6AAA249D-770A-43E0-97A3-A05C708804A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfe961baa46dbd52b003d028dd7ebe4c8f5a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4314675,"id":"Q4314675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4026e63187211674f7217862cc18176f44e9a1b","datavalue":{"value":{"amount":"+0.8635135293006897","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":"Q1084094$CDEBC6C3-2AE1-4816-8B0B-41D10AA718B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the logic of theory change: safe contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_logic_of_theory_change:_safe_contraction"}}}}}