{"entities":{"Q908900":{"pageid":910748,"ns":120,"title":"Item:Q908900","lastrevid":65326212,"modified":"2026-04-12T01:49:42Z","type":"item","id":"Q908900","labels":{"en":{"language":"en","value":"Logical constants across varying types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135923"}},"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":"Q908900$69557E18-A465-4CDD-A4BF-58E47080CF20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5379bfd2f620d055f1c339b6b9204a6edb6b92eb","datavalue":{"value":{"text":"Logical constants across varying types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908900$C03ABD16-B68F-4377-B3D8-E53408CF1A87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6807c6a9ca66a8b3a490456fc0f3243b3456b430","datavalue":{"value":"0694.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$5B931F2C-5416-46D8-A1D8-3CD29A43E322","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908900$5F1BC396-D56F-41BD-A349-F8F9B91755CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q908900$44B68750-0E7A-4D02-97FC-34440A9B7B18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f9b329556a416f012e9b58a9e6366fe857ce1cf","datavalue":{"value":"The author's (right and actual) assumption (known also from his other works) is that logic is not ``primarily concerned with the study of logical constants...'' but rather ``with the study of logical phenomena'', which ``occur all across language, not just with any distinguished group of actors'' (pp. 336-337). Therefore, he is justified to pose and gradually solve the problems of ``logicality'', i.e. which are relevant aspects of logicality, whether one can speak about `degrees of logicality', and how can be logically investigated its dependence on logical types. The topics being investigated in this respect are ``general invariance'' (individual neutrality, context neutrality), monotonicity (including Boolean homomorphism and continuity), ``inverse logic'' (looking for constants which validate the given inference), computational complexity, (\\(\\lambda\\)-)definability, polymorphism and changing types, intensional logic (traditionally ignoring the stimuli coming from transparent intensional logic), dynamic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q908900$4C0F3CC5-3BB5-4B51-8D50-C018C1829107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$C9FE26C7-6F0E-4908-B34E-F6A864FD5415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$B0F4EFB7-A508-46E0-B72D-3FD70D84176F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c006ad2abfc2ceb807a0a5d3b2f28908f8b20c","datavalue":{"value":"4135923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$E462E27A-DD0C-4F2A-B1F3-AAF6BCB76A70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q908900$1B1E06B3-44F4-4F4C-BB06-8EB54F4254B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q908900$36CF8B2A-40B3-43D5-A1FF-E281DB8E9BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f392ed35c5dade10cc22bb075afc9d03d77cbafa","datavalue":{"value":"logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q908900$444E2D3E-1F8E-40E5-97F5-227C72E4B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305f396544750615b8805407cb26020e34d8a8c3","datavalue":{"value":"logicality","type":"string"},"datatype":"string"},"type":"statement","id":"Q908900$E1F5880C-A9BC-48E9-BDA1-E329633C91EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908900$36407364-DBFE-4182-8155-C2840927E004","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908900$8EF1C7A7-F6EB-4EF5-80C9-6C6242294606","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":"Q908900$9290C1B3-63AE-46F3-A37F-84DE8633F0B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0cfa658082deae563184b2b5a216ca211c58d6a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635152","type":"string"},"datatype":"url"},"type":"statement","id":"Q908900$3EC178D5-B5E2-4987-9D2E-AF53EA89010A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58c873db51c55d0dabd13d0e5a3c868a17cf0891","datavalue":{"value":"W2142525178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$3260965B-CF86-40E4-9AD4-F0BCF420E81B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b335ffd782d286e15f1ff02fd6156504db8edb9","datavalue":{"value":"10.1305/NDJFL/1093635152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908900$0BDB449B-98D6-4451-866E-30D686AC85F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5691fe36ce3b83caed72bf4f8def58e0db8d64ed","datavalue":{"value":{"entity-type":"item","numeric-id":4793042,"id":"Q4793042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494d0bc905ac0152df492f9c78ae4ad0d052e332","datavalue":{"value":{"amount":"+0.7626810073852539","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":"Q908900$93883D77-EA0B-42C5-8F85-6ED5B5079DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f9e3540107718672f31fe527bf25fe9dbf0531","datavalue":{"value":{"entity-type":"item","numeric-id":4532726,"id":"Q4532726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bc8fa2e8eff25b3826473629aafcda04d17cd7","datavalue":{"value":{"amount":"+0.7540576457977295","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":"Q908900$DE149CD6-72E9-4958-829F-EE8C2351B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c0d6e7f06ed5fbced8581bc9e7097f82dc4296","datavalue":{"value":{"entity-type":"item","numeric-id":5387295,"id":"Q5387295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a1474568604e952947cacc1c8952ca2c1fe887","datavalue":{"value":{"amount":"+0.7393244504928589","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":"Q908900$B567630F-820C-42B3-B0BE-17F6FD35F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edee5d753a0bc9fa0645072d6fcea9b30e9ec00","datavalue":{"value":{"entity-type":"item","numeric-id":3727961,"id":"Q3727961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf3888a733a5811ff255bdacb6e791acd4fc67b","datavalue":{"value":{"amount":"+0.724992573261261","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":"Q908900$3DD29457-D82E-48FB-853F-67C420636CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee2343c0ca610e80d2e3da578d34de54f5f3b98","datavalue":{"value":{"entity-type":"item","numeric-id":1632049,"id":"Q1632049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199ff90e91b8e97702a6f59df4ec65ec2af63bc4","datavalue":{"value":{"amount":"+0.7090186476707458","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":"Q908900$43B67FDB-9C0B-431A-B9F2-C3275ED4B247","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical constants across varying types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_constants_across_varying_types"}}}}}