{"entities":{"Q2579586":{"pageid":2590329,"ns":120,"title":"Item:Q2579586","lastrevid":44398419,"modified":"2025-11-22T16:16:43Z","type":"item","id":"Q2579586","labels":{"en":{"language":"en","value":"On Quine's axioms of quantification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502129"}},"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":"Q2579586$D3ECCFD1-6BCE-4232-8DD1-5E89207A38A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a44f92b7fc301a675ecf26a44765d435da676ac4","datavalue":{"value":{"text":"On Quine's axioms of quantification.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579586$EAF9A241-3F58-4CFA-AC2E-81006FA36B67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75f6adbf855dd2459258f669112121e6e96f4485","datavalue":{"value":"67.0042.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579586$0791C952-B78F-4092-A20A-3C3638F9DDFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c3acffe2bdff6b18ca730b0819dfb30372d0125","datavalue":{"value":"10.2307/2267283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579586$9E2BBE89-525B-4196-B5BF-081F52F1E05E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95174d30fee3a927525c34d5957fa1d12545dc9b","datavalue":{"value":{"entity-type":"item","numeric-id":2529620,"id":"Q2529620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579586$DB0A0061-84F1-4039-AD25-9A8BDC0F16CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579586$2E855210-39A4-49D7-AD17-BDE1FE398BFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cca95660e12de31ec31b8ab60453ef7cbc15c66","datavalue":{"value":"Die beiden hier angegebenen Studien von \\textit{Fitch} und \\textit{Berry} beziehen sich auf einen neuen, dem Referenten nicht zug\u00e4nglichen Logik-Kalk\u00fcl von \\textit{W. V. Quine}: Mathematical logic, New York, W. W. Norton u. Co., 1940 (F. d. M. 66, 27 (JFM 66.0027.*)). H sei ein Ausdruck dieses \\(Q\\)-Kalk\u00fcls. Dann ist unter der Abschlie\u00dfung von \\(H\\) der \u00dcbergang zur Generalisierten von \\(H\\) zu verstehen. Aus der Studie von F. ist f\u00fcr diesen \u00dcbergang ein Doppeltes zu erschlie\u00dfen: (1) Er ist nicht beschr\u00e4nkt auf Variable, die in \\(H\\) vorkommen. (2) Um die Eindeutigkeit f\u00fcr die Generalisierte von \\(H\\) zu erzwingen, wird f\u00fcr die zu verwendenden Allheitssymbole die ``alphabetische'' Reihenfolge verlangt. F. ersetzt diese Konstruktion a) durch den \u00dcbergang zu \\textit{einer} Generalisierten von \\(H\\), f\u00fcr den diese Reihenfolge zum Verschwinden gebracht ist, b) durch eine induktive Charakteristik der Generalisierten von \\(H\\), die gleichfalls von der alphabetischen Anordnung der zugelassenen Allheitssymbole abstrahiert. Beide Konstruktionen haben den Effekt, da\u00df ein Axiomenschema f\u00fcr die Permutierbarkeit der Allheitssymbole nicht notwendig ist.  Denselben Effekt hat die durch F. inspirierte Umredigierung des \\(Q\\)-Kalk\u00fcls durch B.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579586$A540D7CD-27E2-4C0D-9E2B-2CF82E9D4F4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17404ef70bf1c94b3e7578799c36fd83a3bbb74b","datavalue":{"value":"2502129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579586$82A7F7A4-2516-4619-985B-CEA935C85C87","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":"Q2579586$C82227B9-735E-4DF8-A56A-63CE94BFEA32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f830391253bb7ed0499415dee6b7e89e3d3622bb","datavalue":{"value":"https://doi.org/10.2307/2267283","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579586$D6E7E459-9070-49AC-8548-48359F62FDE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdfa3d472afd64e09a6d3791f13a1ef435c88200","datavalue":{"value":"W1968619110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579586$EF92516D-934B-4D1E-ABAF-7222CE252FFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"12535e07147f8e5aed2c6c95641e38753f9b720e","datavalue":{"value":"Q114589264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579586$70780420-98B0-4FA2-BBF6-93609ACFEBA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579586$74CEF5C1-6553-49C9-86AC-775FC5CE12AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579586"}}}}}