{"entities":{"Q1059062":{"pageid":1060910,"ns":120,"title":"Item:Q1059062","lastrevid":69534852,"modified":"2026-04-13T07:39:51Z","type":"item","id":"Q1059062","labels":{"en":{"language":"en","value":"What's so logical about the ''logical'' axioms?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902613"}},"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":"Q1059062$2E34FB80-D3F6-48ED-9F73-8859F90B5158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c09c7474d2bb5c24d919f51536d28c1e6a28cf85","datavalue":{"value":{"text":"What's so logical about the ''logical'' axioms?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059062$79933713-62C1-4EE5-A5D6-41DEF2F1E31C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c9cac6287ef060ac51b6adb994075e47713d67f","datavalue":{"value":"0566.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059062$174F3706-2C9D-4AC6-B124-DD769EB83931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f4f587c0b26c45f971b0178b6dc944c05f335b3","datavalue":{"value":"10.1007/BF00370342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059062$2F4F34CA-DFE0-4E5C-9C98-FA65CCB6C444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c2d4777f2744b402998b7945adfbeb22c23961","datavalue":{"value":{"entity-type":"item","numeric-id":1026046,"id":"Q1026046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059062$C7DDA9B5-20B5-4A50-B7EE-070D697477CE","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":"Q1059062$C9937EDF-B611-4B1A-8331-6E97A35F4B97","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":"Q1059062$4B929F4B-C817-4DD9-BED6-76B164934D89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbbceae13031ffbb82be8913222010f08f85617d","datavalue":{"value":"Logical axioms are supposed to be valid independent of the way the world is. Hence, peculiarities of the world will be of little help for us in learning the meaning of the logical connectives and quantifiers. What is left then, the author argues with a reference to Wittgenstein, but to learn their meaning from the way they are used. Models of dialogues, carried out in a metalanguage shared between the participants, are set up for the purpose. It is argued, on the basis of a dialogue between an intuitionist and a classical logician, that the intuitionistic axioms do characterize the logical connectives and quantifiers, both for the intuitionist and the classical logician. The thesis is suggested that a set \\(\\Lambda\\) of formulas and rules of inference in a language L form a logic for a set S of L-symbols if and only if the members of \\(\\Lambda\\) characterize the possible use of the S-symbols in the opinion of any two users of L.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$0651EBA4-3A44-40FD-8D7F-58757834E55E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059062$66ECA65F-E9CB-460E-A206-A1F70D9E090A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08d2b7dff69ae4df57c9a5c0e70ec52936216ebb","datavalue":{"value":"3902613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059062$F30A81BB-2479-4D8C-92F1-67442FC410C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"440f67f62ea65940e06d3fd96626807e0ebae72f","datavalue":{"value":"classical axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$C10DA0A1-EC82-4C57-91C3-A03050A1238C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fecf4ff92a166cdc4ccc8bd1fe7861671d11f3d","datavalue":{"value":"Logical axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$527B1958-CC04-4488-A9B3-58A949E2EEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9cd9567f87711bb9f1cb487f197d0582cead45","datavalue":{"value":"meaning of the logical connectives and quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$2898CBAF-F08C-44B4-A5D9-B41D541EE531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2d9cf561aaaa3631cd39a11e929350e451ed33","datavalue":{"value":"dialogues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$B7D74CA9-ED38-49A5-9E18-3B8D33E2ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f44d8216b36b1a4ae2efbda824e8d14cf6262c7","datavalue":{"value":"intuitionistic axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059062$DA6D7FA0-254D-42EA-8D43-E25A731DB337","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"496d61b625a49be712b6c1c517b644ef3a965be1","datavalue":{"value":"Q114694676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059062$E2BA2705-2DFB-4A58-9F42-E7F267D590FE","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":"Q1059062$AB834AE6-D558-4459-8201-35DD2B2ED9F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059062$AB588E8F-EBA8-4ABB-A140-F68D2102B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee47ad134da393d001802ea1898a9fb67f69ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5536236,"id":"Q5536236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059062$9EEE0F6D-8F48-41A3-A656-8F6DC2AE4E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba758c918370b2b93e7de04f7aa6ff5c05542b","datavalue":{"value":{"entity-type":"item","numeric-id":4414313,"id":"Q4414313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059062$1C79A12C-3F9D-4C13-8AF8-433E55C74709","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351917caf2f703b6dd6965cc140037b1484a08b1","datavalue":{"value":{"entity-type":"item","numeric-id":5855488,"id":"Q5855488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2533f61730bf45864e545bbde793d952aa34de","datavalue":{"value":{"amount":"+0.7102593183517456","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":"Q1059062$08FD5F73-6B3C-4845-9AB7-CED5EFBAA3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e2eb9c5144147c6f8998dc585cd2b1df86628c","datavalue":{"value":{"entity-type":"item","numeric-id":3081830,"id":"Q3081830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ed585f8873c8a3d629fb47211a6b1fc3c0ea42","datavalue":{"value":{"amount":"+0.688197135925293","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":"Q1059062$B33B6D1D-B4A8-4E10-AE2E-B644DBB71A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee281927f81e5c486c1045c5319cff46a9a7340","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b43dffd15b903c636dacb898926ba23c735e58","datavalue":{"value":{"amount":"+0.6825617551803589","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":"Q1059062$83D2CD05-6250-4592-A9AD-C86071ACA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d2e17b7b03add44d10953a7b47647cb843943e","datavalue":{"value":{"entity-type":"item","numeric-id":4698608,"id":"Q4698608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f1d4cbc6b60a545ac8a90e9dd3f0ebe821a23a","datavalue":{"value":{"amount":"+0.682091236114502","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":"Q1059062$FC8BFE72-2F24-4F18-BFFD-57A4684D4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55da49d5cca34f23bde3482480fdfac0e29f1f71","datavalue":{"value":{"entity-type":"item","numeric-id":3160151,"id":"Q3160151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e765239eb3d326562f3eea8b20c57d192550e2c","datavalue":{"value":{"amount":"+0.6802611947059631","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":"Q1059062$867367D8-5CF1-4A08-A9F1-6B0F34325877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What's so logical about the ''logical'' axioms?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What%27s_so_logical_about_the_%27%27logical%27%27_axioms%3F"}}}}}