{"entities":{"Q2240552":{"pageid":2251295,"ns":120,"title":"Item:Q2240552","lastrevid":54132944,"modified":"2026-01-26T07:47:44Z","type":"item","id":"Q2240552","labels":{"en":{"language":"en","value":"Proof-theoretic semantics and inquisitive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7420145"}},"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":"Q2240552$EA36981D-FF3A-4895-9F95-6BDD91365F9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b9da7d9a3f1fbe2cfd161df07fa17a3a501ee5","datavalue":{"value":{"text":"Proof-theoretic semantics and inquisitive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2240552$BFA0EA6E-0544-407C-817F-19A37E186E98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0c41a7300d2f4ff21f22291b592630df4d1cbe0","datavalue":{"value":"1485.03232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$C8FACB6C-4A26-42AE-9DBE-0E0D4DBEEC2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2164abe604265d40b0b8c66c645b94fd4edab735","datavalue":{"value":{"entity-type":"item","numeric-id":2240551,"id":"Q2240551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$88663C43-01A0-4BF7-AD2F-6F87741CC31F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$5B704E30-3EB4-4AAA-BFE2-EC89BED51DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f0220dcd7207657e9465a422526ed9ffb9675e","datavalue":{"value":{"time":"+2021-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2240552$9DE6F574-6296-48FB-A7D3-F8222D77DF30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce414540418ed8cba56892bf5416384b7f5ea2a6","datavalue":{"value":"Inquisitive semantics is made in order to offer a uniform approach to assertions and questions, where propositions are treated as sets of sets of possible worlds closed under subsets, naturally followed by the corresponding general inquisitive logic obtained as its generalisation. \\textit{D. Prawitz}'s conjecture that proof-theoretic validity offers a semantics for intuitionistic logic [Stud. Logic Found. Math. 63, 235--307 (1971; Zbl 0226.02031)] has been proven false by \\textit{T. Piecha} and \\textit{P. Schroeder-Heister} [Stud. Log. 107, No. 1, 233--246 (2019; Zbl 07055418)]. In this paper, the author resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$C4E4CF0F-AE4D-4357-BCCD-C9E7C7FEA587","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$77DD3BFA-583E-4828-8111-B30331CE0D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$1EB75E0F-66BB-4532-A7AE-5FC0102F4882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$937F3046-4FDB-488A-8BFA-9F1FC5A5195B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1a7e7f22fb8459eabc4b0753377fd8b284582fe","datavalue":{"value":"7420145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$AD816C11-D4D7-40FD-8DAF-F11D0B6A047F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$85D5EC48-DDE5-4707-8C10-4379E0E9DC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf705c3b0ab97896a883e41d21241fd7649af2e8","datavalue":{"value":"proof-theoretic validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$179F9BB9-529D-4D63-B7B5-9B5570082F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a836d34ee195068b9fc4cec9c99c76f970b75710","datavalue":{"value":"weak logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$9290D675-5F8B-4632-AD83-852C56F81387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd294108d4cb720ed3de02d43ef7f5ad9abc95a","datavalue":{"value":"nonstructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$F65FCB50-3167-468F-9475-178E0CBFB833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849ed7d685aa3658c414f200e4b0625e2a7aabe3","datavalue":{"value":"inquisitive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$733A7545-0017-4523-A324-AB6FE39E9804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49626e8a7507c18b6d579b399cf23e3f34b52b3","datavalue":{"value":"inquisitive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240552$8673502C-8D9A-4A8C-A068-916015A1AA7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$14439750-EF03-4F36-A16B-F298C24CA854","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":"Q2240552$1BB0ED7A-0A21-4810-9BFC-D8DD31124B20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"542f703966e26e2a00b7d05cfed1afa8de0a47db","datavalue":{"value":"https://doi.org/10.1007/s10992-021-09596-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2240552$B1DC07C0-986A-43CF-BF1D-08BAD89257E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"635f029c4ea494b6218327ab50c54c195272b425","datavalue":{"value":"W3171816366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$78BDCBDD-711E-41B5-9FCD-2ACE2BB9608D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d610a175e1d5ec7434da154b57f1401dd6850e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4684343,"id":"Q4684343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$61658F78-5B27-4894-8F4E-3BD94E9F3764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07dec7989f149f16f2fcbdd901b8620f1a7fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$C0B41088-96AC-4A22-A398-872F12CEF3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$E436DAF0-967C-4CDF-B1D6-3F942BDEBE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ca84f7aa53b5e71e8f370677fd5783a21ad679","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$490C072A-7828-4DF0-9BE4-D3AA70F6C1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$6D358CDA-D963-458F-A903-67C68B8FE5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$A9BA3F8D-669C-4C89-8A24-55C9CF70657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$4536F489-F5D8-455F-91A8-C94A2F04A421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0c87cd8b8bc3e6cb7802c08419c8aacc23f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$AE6BBB2A-BFB5-49D8-BD55-8F0E63B1F0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b23e37d5b01b7246de2b30ee7616c2451b331","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$36BB24FE-8171-4049-83A8-D67D85E16E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$1299D1CD-9FE1-427C-894A-9BF5FF3019F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e36cdfcffb6756443d0154b39ea19a9439be7","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$7E4F7F8C-749F-4A0F-AFC8-5A2725B5E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$BD6B12BD-1E28-4D90-8C4D-283750FF7942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b367403ec2a0406a4c2a9602b4c6d49bc399b02","datavalue":{"value":{"entity-type":"item","numeric-id":312497,"id":"Q312497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$14A8258B-CE8A-4BE9-AE4D-5207B717D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$8F6202A1-BD05-4DC3-B7B1-895ED8B91CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$08DE521C-046D-43AD-8BDC-8C7991DCB7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f2ed585675445105296e79ddac0ff3daca0a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4619902,"id":"Q4619902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$60181508-A557-48E4-B781-AE163CAD2AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb14d82bae2694263178a48f84b169a7fa1ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5275749,"id":"Q5275749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$D846D5B9-F4E6-43E0-AE41-DD8D0C1C3EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240552$CFC54EF1-BE99-4EE2-B4A6-B178EAA4B666","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":"Q2240552$F44FE5F6-AD1D-4299-A649-117827364BAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d08c6f8767efcd156b6c74702f34c544795a77b","datavalue":{"value":"10.1007/S10992-021-09596-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240552$4623B31A-ABEF-488D-B4A4-D16815B77225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0486914e6cbbd20c627df606d5ce9883ba79116","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b60f3b49385493165710dd357a7815d0b6e13d","datavalue":{"value":{"amount":"+0.7777076363563538","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":"Q2240552$38F30136-84D2-4507-9C66-6DCBEAC4DC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8863097a9b1e012fcfb008328e1284084f33ed32","datavalue":{"value":{"entity-type":"item","numeric-id":1650365,"id":"Q1650365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc4bd47071b056e2958954d28e31dd715d68629","datavalue":{"value":{"amount":"+0.7643270492553711","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":"Q2240552$D7964FC4-33E7-4227-A7E4-1A8D5F85D86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de095c6563f92afaf21fc9d690f9f222aa95733","datavalue":{"value":{"entity-type":"item","numeric-id":2938134,"id":"Q2938134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a84ab5580572d58032a1b2a3991e42cb923094a","datavalue":{"value":{"amount":"+0.7630480527877808","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":"Q2240552$AF40B726-1A2B-4118-BBA4-D9DC92F6199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcdcafbe4d3ff479174bdb16fecae93d598f616","datavalue":{"value":{"entity-type":"item","numeric-id":312497,"id":"Q312497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db81869696d45367528c3d7cb9f4a016a038027","datavalue":{"value":{"amount":"+0.7585384249687195","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":"Q2240552$98952D00-47FA-4074-AEF6-B2A09A0A53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8f1258febc13293c01d5ee765558cb4f8a8ad1","datavalue":{"value":{"amount":"+0.7551743388175964","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":"Q2240552$E1CC9C5F-5FFA-44D5-A8AF-387513A0671A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2240552","badges":[]}}}}}