{"entities":{"Q1098830":{"pageid":1109582,"ns":120,"title":"Item:Q1098830","lastrevid":70626213,"modified":"2026-04-13T15:49:10Z","type":"item","id":"Q1098830","labels":{"en":{"language":"en","value":"On the consistency of the first-order portion of Frege's logical system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037807"}},"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":"Q1098830$6D869D13-0E07-4BB3-99C8-96CAAA34E126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f31f26dd1f74ac32d142ccb4effc00bfd1127b22","datavalue":{"value":{"text":"On the consistency of the first-order portion of Frege's logical system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098830$E412CBFF-CF2E-412F-9D58-122E75993E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c81e094a254ede9e1cd794c389c36f4c6666303","datavalue":{"value":"0637.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$8D7F345F-E65B-46CB-9A74-E0832A50CEEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0f6b8ebe40f7c31a93cb3caf75bcf42b8bd630","datavalue":{"value":{"entity-type":"item","numeric-id":1098829,"id":"Q1098829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098830$30B5B357-F2B1-4D50-9438-C3E88D04EF91","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":"Q1098830$09333B4A-38D4-4526-B890-BD69A395672C","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":"Q1098830$0D12ECBC-0DC3-4475-A402-052EBED441C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"651072e71ef06a24183a79b51a63afa343fef424","datavalue":{"value":"The first-order part of Frege's logical system contains, in addition to the usual ingredients of predicate logic, a course-of-value (Wertverlaufs-) operator `\\(\\acute{\\;}\\)' which is characterized by the axiom (``Frege's abstraction principle''): \\((x)(Ax\\equiv Bx)\\equiv \\acute xA=\\acute xB\\) (for any open formulae A, B). The full Fregean system is obtained by admitting quantification over functions; this enables us to define membership as: \\(x\\epsilon y:=(\\exists f)(fx\\&y=\\acute xfz).\\) It is known that then the abstraction principle of naive set theory becomes provable which leads to inconsistencies (Russell's paradox).    The present paper shows that the first-order part is consistent: it is possible to extend a usual first-order interpretation to the set of course-of-value names such that all instances of the Fregean abstraction principle are satisfied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098830$88829455-5455-40DB-B4D1-0FCB6E787366","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$CBE422FA-63CC-479C-B812-6F4D06633C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$40B8E5DB-705B-47E9-9A11-43860C7A8385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58db002419cf6d7c73897150c6471481ea3c066f","datavalue":{"value":"4037807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$B63594E4-AA11-40E6-B0C8-E8F4B42A6C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83bcaedba0e1bcbbbabe50c4e199eea509431515","datavalue":{"value":"course-of-value operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098830$2F946426-F581-4602-8571-FC2742C031A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af3b1f72426ad5f7c93d24dd523889c00bf19e7","datavalue":{"value":"Wertverlaufsoperator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098830$54604E09-9A88-4202-8937-806F55899539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c49c5c283b2da270a715f1faf39cbfd367d66d","datavalue":{"value":"first-order part of Frege's logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098830$B50AE1B3-B978-486A-AAB4-122570732415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7e84cfd4c792b8ea2ff4500b126b44678c0b9f","datavalue":{"value":"Frege's abstraction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098830$1A92A9CE-DF6A-4684-8C8C-BB1F9FED3165","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b60aa5ae07adad6d3eb52fdc6e8969307a605db","datavalue":{"value":{"entity-type":"item","numeric-id":346756,"id":"Q346756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098830$016CBB0A-7525-489E-9CBE-4C5BEBF295EA","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":"Q1098830$A9A1D26C-1188-4CC0-9C95-98238847891A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1d0feae42bd0516d084223cf1347a2246a6be29","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636853","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098830$3808CEC0-A2EB-4281-8B55-20EA31E8A056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b6e6a60c904cee063c649e3929a27d5360b67a9","datavalue":{"value":"W2003673536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$247567BD-992B-4658-9E95-95D9581CE3CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f285dbb2fc4bd0e434c6932a14b91e373d4f23f","datavalue":{"value":"Q56659119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$0E08B758-8F97-49C5-A976-0E5FEEAE0F76","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"464c1266c4367e6367f7535a5bc0849766db106c","datavalue":{"value":"journals/ndjfl/Parsons87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$5B92FA56-1FB9-42DF-80C5-CE92200ADAB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1be667ec4017a84798b39a619751751da3c2ed","datavalue":{"value":"10.1305/NDJFL/1093636853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098830$33DB83B2-C348-466D-B570-AF6834A87087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb78a511a312d5166005d28c84591e2165a1528","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9888bb23c90b1ef9df237341b92c65ecf136e82e","datavalue":{"value":{"amount":"+0.8286224007606506","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":"Q1098830$3F257D2F-CFB0-42F7-94AC-0C542AA65246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58b144a92788782ff0f3471af41534d771b749","datavalue":{"value":{"entity-type":"item","numeric-id":1100457,"id":"Q1100457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9888bb23c90b1ef9df237341b92c65ecf136e82e","datavalue":{"value":{"amount":"+0.8286224007606506","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":"Q1098830$E26CD5DB-F5A0-44E5-8C92-417CEA7D4586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f74c2db6562d7bf942f3c79813489801a00d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4304145,"id":"Q4304145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff2c59743544e036a0117865fc1b0bb9b013f84","datavalue":{"value":{"amount":"+0.8060616850852966","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":"Q1098830$F8A0A556-0DC6-4749-812F-5D7E0CF497C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc386b2be4cc392c36a8b9ab614f5b7346c64de","datavalue":{"value":{"entity-type":"item","numeric-id":5960015,"id":"Q5960015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff2c59743544e036a0117865fc1b0bb9b013f84","datavalue":{"value":{"amount":"+0.8060616850852966","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":"Q1098830$39561360-B527-495A-9457-9719E25F88A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6268844507bbfe797b72c43fd9921a576a0cc91","datavalue":{"value":{"entity-type":"item","numeric-id":5187256,"id":"Q5187256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e943ea35745a7f4ca22a000987a0e3b8c531bb","datavalue":{"value":{"amount":"+0.7958263158798218","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":"Q1098830$78F91A9D-A954-46BE-8947-091D25D512C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the consistency of the first-order portion of Frege's logical system","badges":[]}}}}}