{"entities":{"Q361866":{"pageid":363633,"ns":120,"title":"Item:Q361866","lastrevid":61286055,"modified":"2026-04-10T22:22:54Z","type":"item","id":"Q361866","labels":{"en":{"language":"en","value":"Curry's paradox and \\(\\omega \\)-inconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199439"}},"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":"Q361866$7BDE0A13-5679-405A-973F-248AA297AACA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"021131f12b14a4a6cae0001c9678e74a583294df","datavalue":{"value":{"text":"Curry's paradox and \\(\\omega \\)-inconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q361866$0C042647-E09C-4F3E-8BB1-60F32C098869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3019dc7db0b8a650809d222c34e2184618395f62","datavalue":{"value":"1316.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$B15BF389-E507-4754-8B83-9C40561AE75C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6b506e2c1ef9080954a3294a1464fd85d2619b","datavalue":{"value":{"entity-type":"item","numeric-id":361865,"id":"Q361865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$144B8908-B144-4101-89F3-233FC7B9B11C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$004A3070-FDE3-4EB5-A4DD-BBA6DC94396D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q361866$48FD6245-A861-4273-BCE9-26F06E563D53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d74afc6226abc074be951defa82bc42ead197daf","datavalue":{"value":"It is shown that a number of logics with only the connectives \\(\\to\\), \\(\\perp\\) and \\(\\exists\\) can be reduced to triviality by a strengthened version of Curry's paradox. The infinite-valued \u0141ukasiewicz logic \u0141\\(_\\infty\\) avoids this but is \\(\\omega\\)-inconsistent as had been shown model-theoretically by \\textit{G. Restall} [Log. Anal., Nouv. S\u00e9r. 35, No. 139--140, 303--312 (1992; Zbl 0832.03010)].  Here, we have a proof-theoretic argument for the same conclusion, and the isolation of the principle \\((\\phi\\to \\exists x \\psi ) \\vdash\\exists x (\\phi\\to\\psi)\\) as responsible. It is shown that two subsystems of \u0141\\(_\\infty\\) each lacks that principle. Neither has the contraction axiom \\((\\phi\\to(\\phi\\to\\psi))\\to(\\phi\\to\\psi)\\), and each is more intuitionist in flavor than the original.","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$EECBB73C-BD8C-4E43-9B97-226E0AEC1BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$8ED410F5-B49A-469E-B1BB-10916695F30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$164C70DA-D33E-4501-974E-EF31F30877F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$D56D5DD0-2AF2-4396-9AE1-7953C0578D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"599566393c1137e69ddca93add00ad6d234c8f78","datavalue":{"value":"6199439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$DA93B22D-100B-4F1C-8E56-97693C4788D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$1253FB39-381D-44BD-97D3-79827804EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53c357730d2687183e09ec0206e603f8dab8fc75","datavalue":{"value":"\\(\\omega\\)-inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$4ADA872C-213C-4088-B4F5-D85A87334E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$2DC7E877-D791-41AE-A41C-D46F9557F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$2ACECC2D-6E76-4759-9608-FAC17E3B94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a35dc66e7c1aa65f9107ff8b0888fc6c14dfc90","datavalue":{"value":"na\u00efve truth theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q361866$7CDD8BD6-168B-4E12-90EA-689786BEB172","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$8301C558-7659-46CE-A10B-BAB975330254","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":"Q361866$D08994C0-1BCD-4562-B1AB-C83C14BB8C01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b0e738189ede09f0d0b6330771a682859dd6723","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9373-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q361866$B6FA194A-1BC1-4589-8842-B71325C9E7DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c39e559a9bd6bef5ea3098b9cf3367be3af06a4","datavalue":{"value":"W2001595614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$B819402B-F0F4-4774-9857-06C563B5F1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4047fe79a046a0035e35a0de53459e063111ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2463481,"id":"Q2463481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$59A22373-BC7F-4E1D-A289-7FC1F1D6FE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$F92628BB-A296-4C40-9684-29FA8F0535C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$B331611F-B841-49B5-8061-DBD6B8E17DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00ab87ee5216736656443bcf70b195b2449cabf","datavalue":{"value":{"entity-type":"item","numeric-id":4953224,"id":"Q4953224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$1C877D73-6E09-41CE-9912-A37B8EE5C6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$B0B8E99D-E647-4FD6-817C-D593AD0A07DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a3919f9fbc08d2ace7d212351169a83e3d7810","datavalue":{"value":{"entity-type":"item","numeric-id":4856958,"id":"Q4856958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$09EC3ECD-6061-4752-A4DE-93B9F67930D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ee268e196a9fa9a6623ed046a1a5941d2595bd","datavalue":{"value":{"entity-type":"item","numeric-id":1313081,"id":"Q1313081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$D62D3FE7-AAA3-497C-AF8D-004E7FF52C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$1D09C74C-B526-4374-8D41-DF5F98F25B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625a1032a9064c69ee432725740ec3d0145bd0ec","datavalue":{"value":{"entity-type":"item","numeric-id":1611254,"id":"Q1611254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$667BC186-785C-404C-982B-90E892611E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24750ac692695a44f73abfa210a6f8d128ed26","datavalue":{"value":{"entity-type":"item","numeric-id":1771203,"id":"Q1771203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$0D30F98F-1399-42AE-908C-6F4220905692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf1a0998b3dbc9cdc29d8bf440d007dd3efdc42","datavalue":{"value":{"entity-type":"item","numeric-id":5825663,"id":"Q5825663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361866$7D37DF92-5E39-4765-9185-EC4293EBF86C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99798eb0d72bf5c142d429fc788ddc6387260427","datavalue":{"value":"10.1007/S11225-012-9373-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361866$C9C30770-2B3B-4C2E-B2D6-C7613B90536C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95e072a84ca9ce3cda9c53cff4a3215ed33daed","datavalue":{"value":{"entity-type":"item","numeric-id":2576421,"id":"Q2576421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1556962c8cede65fadfc2a1630d90443ba86efe","datavalue":{"value":{"amount":"+0.9146141","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":"Q361866$C526F190-92F1-4253-BA40-356D87B4AEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2fb0c2fb7a485530955f52245cbc51ee065a9d","datavalue":{"value":{"entity-type":"item","numeric-id":1914375,"id":"Q1914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3009aa747eadf8d66cf1dc34c4e2a07c597a962c","datavalue":{"value":{"amount":"+0.88905114","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":"Q361866$7CF4A824-9BA2-4F3E-B0A8-8C5591655CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88484ff179a4664b207f9a860aa626cdec0e337e","datavalue":{"value":{"entity-type":"item","numeric-id":5354808,"id":"Q5354808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb23b7a29f4cf9a36410e984993ee5976c3b745c","datavalue":{"value":{"amount":"+0.88337034","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":"Q361866$4DA1B39B-4DB7-40C0-81B7-9CA08E0A3A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d60419fc26a7927aef2b3757cefef27f7f65e2","datavalue":{"value":{"entity-type":"item","numeric-id":3413071,"id":"Q3413071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615a552de1715ad49c6f7804fcdcba414f2abf13","datavalue":{"value":{"amount":"+0.8743555","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":"Q361866$73E6DDAF-516B-48EE-A8FA-C234A2070A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c535b973f9bbf738b00a70c6d08bd7e9a3143a95","datavalue":{"value":{"entity-type":"item","numeric-id":1670488,"id":"Q1670488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6acf4906f730287e89d8a4e9536f7717ba81022","datavalue":{"value":{"amount":"+0.8739412","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":"Q361866$6CC6D518-D16C-452F-9BF9-AC3DC966248C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe71268fca1573c810dbad3f1b4155815e7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5006833,"id":"Q5006833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8114a7a24f562774fea0f8d0eec5469bebc7a6f1","datavalue":{"value":{"amount":"+0.872786","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":"Q361866$E820132A-5EB8-4A85-87AB-EC6EB09E45D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91f94fe891449ef6632b77c930f1396ec03907","datavalue":{"value":{"entity-type":"item","numeric-id":5116453,"id":"Q5116453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54220aed9c95228cb92f28d71338137a5bbd6445","datavalue":{"value":{"amount":"+0.86174583","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":"Q361866$9A6A468A-BF56-438A-A020-4C2C041E5591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5995d61d49c1690acb4a7601b600864fa553ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012972,"id":"Q4012972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab186a673128506584768db8d9f478591225418","datavalue":{"value":{"amount":"+0.861101","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":"Q361866$6B00AB99-7263-4250-B136-3F833EC7EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceef2bc2b2839034952c2a2fed2fb3e6c22cb504","datavalue":{"value":{"entity-type":"item","numeric-id":2016072,"id":"Q2016072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee20dbb470186d43e1ef44448472342b78eff38d","datavalue":{"value":{"amount":"+0.85742253","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":"Q361866$6B562617-1062-43E1-9584-42A7F849EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da640a70738388ac20925154463f37d4ff9695d5","datavalue":{"value":{"entity-type":"item","numeric-id":4375025,"id":"Q4375025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da2b84eec9cd56ee19048e5e91c0bafee2da1ba","datavalue":{"value":{"amount":"+0.854783","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":"Q361866$BFED7E72-CCC9-425E-A66D-0E8B3B4D3B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Curry's paradox and \\(\\omega \\)-inconsistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Curry%27s_paradox_and_%5C(%5Comega_%5C)-inconsistency"}}}}}