{"entities":{"Q5931293":{"pageid":8108095,"ns":120,"title":"Item:Q5931293","lastrevid":41621576,"modified":"2025-05-06T11:33:55Z","type":"item","id":"Q5931293","labels":{"en":{"language":"en","value":"IF logic and the foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590806"}},"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":"Q5931293$CC49976A-2CB4-4356-8301-F4835276A05E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778810253f37c3e9b868df4ef04e3cb5dc8f6b1f","datavalue":{"value":{"text":"IF logic and the foundations of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5931293$44EE764E-E820-4B82-B86C-E11E22447E48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60c4efc3cd0b5b92aac250f3e88fd3202c26ba4","datavalue":{"value":"0984.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931293$DBBD3D1D-793D-40EF-8EA5-214E2EF0914B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7596d928a9d1dfa029a6bc1c0bd5087c7c9dc92","datavalue":{"value":"10.1023/A:1005231507310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931293$073A7976-5281-4CCD-AAE6-46F352F1F855","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf10ba91ac137fa03b29a145299a9342d8636d27","datavalue":{"value":{"entity-type":"item","numeric-id":169440,"id":"Q169440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931293$3D891827-C48C-441F-976A-61701F835284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931293$05F08DC3-181D-4B26-92D0-D252A02057B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931293$F235A648-5932-40C0-B4E2-626189A89258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90867f865b1b2e1499356a1ae718dfb4e0f4427d","datavalue":{"value":{"time":"+2002-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5931293$EC15C348-26B3-4080-9388-65707EC868E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1117ba7701c757ca1442391b909118335bde88d","datavalue":{"value":"One of the properties of independence friendly (IF) first-order logic as discussed, e.g., by \\textit{J. Hintikka} in his ``The principles of mathematics revisited'' [Cambridge University Press, Cambridge (1996; Zbl 0869.03003)] is that ``it defines its own truth-predicate in certain models, like for instance, in the standard model \\(N\\) of PA'' (p. 40). This property is proved in section 2 of the paper. Being used for formulating descriptively complete nonlogical theories, IF logic enables us ``to use more deductive methods in logic'' by finding ``stronger and stronger axioms for some of our mathematical concepts'' (p.\\ 43, paraphrasing Hintikka). The authors now show that the use of more deductive methods in the case where the underlying logic has the properties of IF logic leads to some undesirable consequences (p.\\ 44). They give evidence for this evaluation by considering a proof system \\(\\vdash\\) in IF languages for elementary arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$1DBF605F-25B5-4C38-8CAB-D64E3B34811E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fcd128e93a2aa08500ec4fffea2aa55eff2c136","datavalue":{"value":{"entity-type":"item","numeric-id":587369,"id":"Q587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931293$5101057D-53AC-4E9E-B41F-10D24F9EED0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931293$5F53C5D0-8C7A-4E5F-BE5F-64BCB962B895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca5fefe67fd53e42a830a4c3c08a9fed71a5e885","datavalue":{"value":"1590806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931293$D0851B6C-BE19-4CEE-A037-02A990EF3D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30e52259e2227cb68686a0094ace6707c533e87","datavalue":{"value":"independence friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$B106F4B4-7B1D-4324-BB1D-829CF8E36F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e2a2125da7771e55695dc865d20b7f909b8820","datavalue":{"value":"quantification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$A3D2B949-87FD-4937-B7C2-9FB500FF67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d062ce4700ed2b1fb5f123cc1ee90e5e50c2eaa1","datavalue":{"value":"truth theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$63EC93F2-5339-4495-9B96-07D847EDC30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf355539d21821bc2baa2fb1453b4e5a1b5b4e2","datavalue":{"value":"foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$0CA3D5C3-FCFB-4616-8915-9238D4CC92FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931293$F0388E30-C284-4F6D-9AC6-6C87376BD3B2","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":"Q5931293$DAE9DB54-E83C-49CB-816A-9340D13F926E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af50a8c166a9af49bf8bc70ffa8a2c7da3e986ae","datavalue":{"value":"https://doi.org/10.1023/a:1005231507310","type":"string"},"datatype":"url"},"type":"statement","id":"Q5931293$5CC37E8E-62F7-47BD-83D4-28616F5B22F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"557a617b28124c92fe7b143845c324d34ddbff09","datavalue":{"value":"W1504432195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931293$5B861A30-3719-4221-951F-660AAA29B503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2456b8993cf6f15dd1763cd34581ecda89f9a5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4266028,"id":"Q4266028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd81de91fab981fc0a4b00bdd59ead60470eac","datavalue":{"value":{"amount":"+0.92548776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$EF84BE59-94E0-426A-996F-ACA769CC03DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce47c78dea41a7cad5aa76af2975fcd99f7e10","datavalue":{"value":{"entity-type":"item","numeric-id":999139,"id":"Q999139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d8eb125f6f3a361e521bc6a29898ae35d17c02","datavalue":{"value":{"amount":"+0.91976106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$64BC87D3-9218-495B-8C4B-DAF3D468889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0e8e2d77051abb3c77bf8e65fe2ef51955916b","datavalue":{"value":{"entity-type":"item","numeric-id":3240230,"id":"Q3240230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18129e34090d228be052812b802dc66bfd9bc6a2","datavalue":{"value":{"amount":"+0.899668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$69ED6AF1-1D46-454D-9863-040034DBE302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1091445ce985b2e20dec0e724e65fc38baec7f87","datavalue":{"value":{"entity-type":"item","numeric-id":5431037,"id":"Q5431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b5bf9ab13e8aa4086acf80f992f2af69880aa2","datavalue":{"value":{"amount":"+0.89918625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$730C5377-F6F5-46E1-BF4D-B7A58009B6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f108b6589c6024abd7344cc12f030cc818736c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5431036,"id":"Q5431036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b5bf9ab13e8aa4086acf80f992f2af69880aa2","datavalue":{"value":{"amount":"+0.89918625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$19DCA655-84B7-499C-9254-2EA1D65D2E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b1475c1ea753a611500c339cea58a848a1e380","datavalue":{"value":{"entity-type":"item","numeric-id":3127564,"id":"Q3127564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0d0ac8cdf2f48f0b8cc1c6147a93a93427c143","datavalue":{"value":{"amount":"+0.89791375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$FAF77FA8-F114-496C-BA85-139387D1B2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d099b8fe424c1e689782a511828a1239dd56bafa","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2475e34e730ea1cb97356ddd1099a0781cdf0b","datavalue":{"value":{"amount":"+0.8939835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$BE379323-CD38-4865-8702-CB26CB8B571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0da96e4d6c8ac60de459584a5fa73bc5c29cb5","datavalue":{"value":{"entity-type":"item","numeric-id":253125,"id":"Q253125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45624261349a954f4692d9167677175ec330d02f","datavalue":{"value":{"amount":"+0.893678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$FC56D479-83B4-4064-9A00-7B7A09AB72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e162a1cba2b658b7b2c17885c2e49ab1c19950e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036272,"id":"Q4036272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbdc63a4a5033c212d636393feffd5e09f5b04c","datavalue":{"value":{"amount":"+0.892092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5931293$DCF45455-22C8-47F2-94F1-DFDA1EA90041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5931293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5931293"}}}}}