{"entities":{"Q791513":{"pageid":793361,"ns":120,"title":"Item:Q791513","lastrevid":48693154,"modified":"2026-01-05T15:28:49Z","type":"item","id":"Q791513","labels":{"en":{"language":"en","value":"To be and not to be: Dialectical tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851047"}},"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":"Q791513$E0CC0CF0-F7D5-42F4-8D71-0FA479060023","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"805c03ea5999bce7c486bd7819cbde0ff40ceced","datavalue":{"value":{"text":"To be and not to be: Dialectical tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791513$36C4A969-BE42-442B-B3A1-0FA4E0D67D60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2ac28c7cae41ad91507d33268c3604d30fc0459","datavalue":{"value":"0536.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$6AE026D3-328B-4014-947B-BCB100280098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8723e8a6c42dbb1305d1ab25d24b318b568d5433","datavalue":{"value":"10.1007/BF00370347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$8F645ADD-C98D-4440-BBED-3F50DA1C6D2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$6AA6C6FC-B261-490C-AB9F-05864202EA4A","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":"Q791513$5E84AD53-AE73-456E-9A53-6B8044D6B956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q791513$D869A028-85F9-4B97-AD38-CBFD9A0C4BDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a472c0fc9c228299d7cfbb526d29ce8d549e4c19","datavalue":{"value":"The paper concerns change and contradiction. In the first part of the paper it is argued that if there is a discrete change from p being true to \\(\\neg p\\) being true then, under certain conditions, \\(p\\wedge \\neg p\\) is true at the instant of change. The second part of the paper specifies a formal logic which accommodates this possibility. It is a tense logic based on the author's paraconsistent logic [J. Philos. Logic 8, 219-241 (1979; Zbl 0402.03012)]. Soundness and completeness are proved, the latter by the canonical model construction. The final part of the paper discusses a certain continuity principle due to Leibniz. When this principle is incorporated in the formal semantics, using a topology on the set of index times, it allows a semantical proof that change cannot occur without contradictions being realised.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$0B0F834D-62E4-4807-BFD6-37CD4DED5A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$4B6B0E45-E1B0-47BD-BA49-1AE5E4266000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$1FD861A3-1D14-4F70-88F0-CF82FBC4B4CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0e8fdcdb0b9628362e8f5d2821d266d8efe318f","datavalue":{"value":"3851047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$D5C326FD-C304-4B98-A00F-8723F81BA4CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245f5c7ce97c5e891c39ea330ebdc50bdda956bf","datavalue":{"value":"paraconsistent semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$E59B9C30-6CDC-4A5B-8734-1D1C90E3F12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c08de1983a7402b3e4429f1f580a7eb726cd1210","datavalue":{"value":"change","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$CBBC1E77-7A15-4D09-914E-7888165225F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26536e9fdf8b6a967b5cbac90175047e068c0566","datavalue":{"value":"contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$6F748A82-C000-4DB3-9E1A-ECC0C5142959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$3F6F3E92-3864-430A-83D7-706B93B40B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$34425559-8BFD-48F0-BEAE-4C8B7406C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57c9f9b2573250964cfd5665cfe165274f015ca4","datavalue":{"value":"canonical model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$BA820917-AFAA-4EF6-9194-4F30351BF50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191860442ecb66daa006e1e4efacebb0fe57d879","datavalue":{"value":"continuity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$8935B335-EE8A-42E4-81CF-A0EA65BBFD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q791513$C6DA8FEB-3913-47C6-95E8-C141AA46372F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74a144f78f91e47ae41419dc1803586eabc9dd84","datavalue":{"value":"Q56852422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791513$F93633AC-A733-4012-83DA-400BE2D131B2","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":"Q791513$CF5B0000-184B-46F6-957F-5BC23D0A340B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"942c45c612d22981530956047ee432d2b44086e8","datavalue":{"value":{"entity-type":"item","numeric-id":5789057,"id":"Q5789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$74980FD7-A96A-401A-B198-368F0688B32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a743014b0165eb29a77845763cbb981c6672a1","datavalue":{"value":{"entity-type":"item","numeric-id":4722032,"id":"Q4722032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$53E9DB81-F335-4F05-81D3-DC42700DCE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849850b9ed12440696721a397c7b09f48058467e","datavalue":{"value":{"entity-type":"item","numeric-id":1258727,"id":"Q1258727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$971588FF-009D-4E01-A38D-C1C744EAD247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$27E655FD-F522-4A9F-903A-C6ECA76F752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$BF295B28-BF37-4861-915B-F0096A521BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aaae45b6dcf9194e9cb5d0016f36b4933eab898","datavalue":{"value":{"entity-type":"item","numeric-id":1140623,"id":"Q1140623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$FAE5C5C6-75A8-4A1B-B7B3-ED18DB464BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791513$4E63A50E-C453-49CF-AF2C-66F315246A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef6c3027c1371d832385390b46e8c7135a42bae","datavalue":{"value":{"entity-type":"item","numeric-id":4244193,"id":"Q4244193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7c0ce52276c4a23173e553f9a6081ca3bc1b34","datavalue":{"value":{"amount":"+0.7866362929344177","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":"Q791513$26BC5B16-A83B-4CC4-AC13-394CA2979444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1427e82a12994b1e7cdc652dae06f7c8c561d68b","datavalue":{"value":{"entity-type":"item","numeric-id":803117,"id":"Q803117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4993d227e4d1f795983bda949ffe220d3e1ec274","datavalue":{"value":{"amount":"+0.7863030433654785","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":"Q791513$35CDD35A-F2F9-4A3E-AFE1-5BDBF2910F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2a77c152949b4c1e6171c341c7e5dc06251047","datavalue":{"value":{"entity-type":"item","numeric-id":3987713,"id":"Q3987713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74719194eef86ae537ef53799f37f3c12eb047ef","datavalue":{"value":{"amount":"+0.7588933706283569","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":"Q791513$9118FFE9-A08C-4F3B-A3D8-7B8C6B5BB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b590b7bd17d9a92ea18a1fe3576ab76f9ebec4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2770967,"id":"Q2770967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737863a1ae004fdc68b2dca3e98fbdc8628a0ea6","datavalue":{"value":{"amount":"+0.7501425743103027","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":"Q791513$4866B82E-46B7-400B-8AC7-67FBF3FE453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c825f34f1616f17f380547e46c3c7ca16ab3d56e","datavalue":{"value":{"entity-type":"item","numeric-id":5411454,"id":"Q5411454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1111edddc86f450002b544fc9d1d994038159d46","datavalue":{"value":{"amount":"+0.7467947006225586","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":"Q791513$198BCB7D-764B-4581-8887-CF005B4F3621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:791513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:791513"}}}}}