{"entities":{"Q1097254":{"pageid":1108006,"ns":120,"title":"Item:Q1097254","lastrevid":66967419,"modified":"2026-04-12T14:03:01Z","type":"item","id":"Q1097254","labels":{"en":{"language":"en","value":"Modality, invariance, and logical truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033696"}},"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":"Q1097254$1A99F34B-7F05-46CF-95B8-81B36D02232E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"093a271d94039486681509c2dd9d5e2589631bca","datavalue":{"value":{"text":"Modality, invariance, and logical truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097254$7D16350B-EADC-4280-A152-9EC991236F61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94de4ec88faf27fc047f38398d962bea15e26dc8","datavalue":{"value":"0635.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$10B22856-66A9-4FCC-B036-99ACABBC2319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"245198ff748f4487a3217e8057d48e7ad4601e53","datavalue":{"value":"10.1007/BF00431187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$B4D1985E-72AC-4A3B-A0B1-FA4C359D863D","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":"Q1097254$CAB45F5B-44F0-40F1-86B7-95BA7B160337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097254$2A782BAD-BBBB-476B-A82B-8D57ABCE0E7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5531b1b47d79b203d423d85758d26666cc1753fc","datavalue":{"value":"I shall discuss the conditions under which a model-theoretic characterization of validity for a language leads to a class of logical truths which exemplify certain necessity properties. Our question is this. Let us think of a notion of possibility for a language L as being characterized by a class \\({\\mathbb{M}}\\) of theories in L; a statement of L is possible (in the sense of \\({\\mathbb{M}})\\) if it occurs in some theory in \\({\\mathbb{M}}\\) and is necessary if its negation is not possible. Under what conditions will the model-theoretically valid statements of L be necessary? This question will receive a general answer in terms of certain properties of the expressions of L which are treated as constants in the characterization of validity. Each notion of possibility \\({\\mathbb{M}}\\) for L will be associated with a property, to be termed invariance over \\({\\mathbb{M}}\\), defined for expressions in L. In Section 4 it is shown that if the logical expressions of L are invariant over \\({\\mathbb{M}}\\), then a sentence is valid in L only if it is necessary in the sense of \\({\\mathbb{M}}\\). The languages which I consider arise by supplementing first-order logic with generalized quantifiers. The results can, however, be extended to other languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$C38D889B-E4B4-4006-A7EC-7CB088C275AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$361415DC-7C21-4A4A-8D0D-C0CCD289E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$EBD9E0ED-5193-40D4-B8D1-1CF64406F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$8A5758A3-B2A4-4713-9048-F74C989689E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14d0dabede34de1416f99bb97badaa0258d78c63","datavalue":{"value":"4033696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097254$ED680AEF-7226-48F4-B88D-75548A914F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2c00972235b04392658cda31253ab3e1bb5dae","datavalue":{"value":"model-theoretic characterization of validity for a language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$AA9DADA0-D994-4F30-8726-337C80A1AF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$C52258C1-0B2B-4BC3-A4FC-68230982FDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92e116e99c8f34d4419dc1500c687a24342a4b4","datavalue":{"value":"possibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$19D1FCEA-F891-4DE0-8252-E8DA2C50944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$DA3F3EDB-7BFE-4FBC-B215-D211FD4188FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1c98adbc52846832bd6c37411d4efc65c1ba87","datavalue":{"value":"first-order logic with generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097254$82B590A9-FF4F-4ADF-B640-6EAA8FF518B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407afe521926f9a9983f2a2b6e85a210783a9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1332146,"id":"Q1332146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097254$C185160D-83F1-4DFB-93A1-FE4CD2D30408","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":"Q1097254$7296699F-DBA4-463E-BB5C-88CD62978735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49eb071380334d25322d7936424989d3a4730873","datavalue":{"value":{"entity-type":"item","numeric-id":2549690,"id":"Q2549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097254$DC614EDB-1569-4956-8737-4C3F07D58FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097254$DA3FF2F0-DC53-4ADC-A3E2-D5CD23562E72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9358d68e86f6e1ddcf5e6e4f301314f69f22036","datavalue":{"value":{"entity-type":"item","numeric-id":1595294,"id":"Q1595294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d673b42dbbeee46fd94127f326ad390ce04120","datavalue":{"value":{"amount":"+0.7818127274513245","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":"Q1097254$FB285BEB-D66C-49AC-8962-B51F5D7B01D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59af3c91891595e72e257c34b109b36cefc117ba","datavalue":{"value":{"entity-type":"item","numeric-id":3643311,"id":"Q3643311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19403433eced87e74af86fb26f0b0cd36f50eac3","datavalue":{"value":{"amount":"+0.7554683089256287","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":"Q1097254$F9E18B5E-27F0-4344-B985-6F37627149FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f4a7580f6a5f70c04e7d1930f5d1e7c2f74efd","datavalue":{"value":{"entity-type":"item","numeric-id":5926253,"id":"Q5926253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92285e9cae8184f8457f85a3120615b280d0ac1d","datavalue":{"value":{"amount":"+0.7525044679641724","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":"Q1097254$F5222A44-EDDD-4AF6-B59A-6A3FCF62CD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d84da3a2186f75ed2c935628f34917096f0d148","datavalue":{"value":{"entity-type":"item","numeric-id":792997,"id":"Q792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440dc796aa2c272255fc2a00840c17c861c1e15a","datavalue":{"value":{"amount":"+0.7438152432441711","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":"Q1097254$677D7908-B659-4D16-8F8D-9DB4B5BF063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42debe6fdd085c527fcd22a4e950f12d6ee9221c","datavalue":{"value":{"entity-type":"item","numeric-id":5365499,"id":"Q5365499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29ce0026473a17c7202b147e828909f33b08885","datavalue":{"value":{"amount":"+0.7428317666053772","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":"Q1097254$7AF144F3-B00D-4056-BBBE-A3CFA0AEBF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modality, invariance, and logical truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modality,_invariance,_and_logical_truth"}}}}}