{"entities":{"Q1020577":{"pageid":1022425,"ns":120,"title":"Item:Q1020577","lastrevid":65965077,"modified":"2026-04-12T06:38:00Z","type":"item","id":"Q1020577","labels":{"en":{"language":"en","value":"Wittgensteinian tableaux, identity, and co-denotation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5559874"}},"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":"Q1020577$068BBC74-5569-4695-B3BE-1ECC09DEE48F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c549db7355f93a743b702524f271bb4df4495c","datavalue":{"value":{"text":"Wittgensteinian tableaux, identity, and co-denotation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1020577$B03E48B8-2969-4477-8CBB-770B8D82616A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e0677c84cc4b4d8218074b64937f7d5d263c8d","datavalue":{"value":"1170.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$639A0C27-B203-4AB8-88C9-6BC78EC89F22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$DD620D61-E156-4E2C-86CC-DC2651412F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c1214b366be0e4645b55d47fe60be82f198f986","datavalue":{"value":{"time":"+2009-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1020577$CAB54539-B6A4-4FC0-B27B-8CB9FFB62DEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26cefa030bc52964aef9e94996c7f7fac8f1d48f","datavalue":{"value":"The article investigates an alternative way of doing first-order logic which is suggested in Wittgenstein's famous 1922 \\textit{Tractatus}. The suggestion is that, in a quantified formula \\(\\forall x \\, \\phi\\), the bound variable \\(x\\) should range not over all objects of the domain -- as is customary -- but over all objects of the domain \\textit{except those mentioned in \\(\\phi\\)}. For instance, \\(\\forall x \\, \\exists y \\, Rxy\\) says that for all \\(x\\) there is a \\(y\\) \\textit{other than \\(x\\)} such that \\(x\\) bears \\(R\\) to \\(y\\). The resulting logic is called \\(W\\)-logic and was first investigated by Hintikka, who in 1956 showed that -- provided no individual constants or function symbols are present -- first-order logic without identity but with Wittgenstein's alternative semantics has the same expressive power as ordinary first-order logic with identity.  The present article presents a tableaux calculus which is proved to be sound and complete for \\(W\\)-logic. The article then discusses issues of translatability between Wittgensteinian and standard first-order logic in languages with and without individual constants. In particular, a metalinguistic co-denotation predicate is used to bestow the full expressive power of first-order logic with identity on \\(W\\)-logic in the presence of individual constants. However, the co-denotation predicate has the awkward feature that it is only defined between individual constants, which prevents us from replacing constants to which the predicate is applied by variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$1CE4930C-F715-4390-9600-0D7452D60FB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8913ea3a87a63fe7c2d19fc9987965c4ea39b15a","datavalue":{"value":{"entity-type":"item","numeric-id":263081,"id":"Q263081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$C87BF0F2-18D4-4969-B6AB-F7158709C0DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$E034DB84-CC32-4F0A-A7C6-A67457599F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$2D51259C-108E-44D4-A535-361ECBB48887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e1e754f2812eb638d8a6c8968b25efbd7fb238","datavalue":{"value":"5559874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$F2B8912C-6A09-4388-96A6-0F0FF047CE60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$4E722662-AB48-4F65-9CDC-7946AAB4C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$7A0F90DC-7A90-4161-82BA-D97C4DA536F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6675ed5e4ecb484790166db7aba86bef24105cf5","datavalue":{"value":"tableaux calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$41A2DEEE-6669-4F35-AD7C-9B2F3D30441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e3eba828feba56fbfc9fb98cd640308e2668c2","datavalue":{"value":"Wittgenstein","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$9ED9C352-D75E-4306-98B2-BC1EDF1B3DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52dcc1ff6fc23902fca093ebb4c43c7bbef25972","datavalue":{"value":"Tractatus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$C0D03C2A-A115-4390-B3D3-831EAB57E3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0462932a8814bd30c45d997cc909c216e98ef0b6","datavalue":{"value":"Hintikka","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020577$ABE6618A-CBB5-4217-B5D7-B6CAF05A7F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$9C137979-375A-40B9-8E21-27F7D39E0CA4","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":"Q1020577$1972A548-1FBF-4525-8A51-B819E6296CF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cfe5028c83c7fad82e8d419bc48cb77f4b54476","datavalue":{"value":"https://doi.org/10.1007/s10670-008-9118-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1020577$225DF38B-6C70-40F9-98BC-EE0DEEEBD169","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd08fa11361c35538281991039c383d29b4e547","datavalue":{"value":"W2067757169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$6F732181-F094-4B36-8699-8537585872AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b870c5a4177c1f7a3760cbc2a567c2bb013e","datavalue":{"value":{"entity-type":"item","numeric-id":2565989,"id":"Q2565989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$9CDDADF9-35A9-455F-8184-1B718A4A29C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4a502cda6819b674937be201c013c8fcba705a","datavalue":{"value":{"entity-type":"item","numeric-id":2266003,"id":"Q2266003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$45D21586-9DD1-4DCD-80C6-AFFF61D951ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$0E3F7FE7-E764-4FA3-9BC5-37B0F4945CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9326faf3b80417a57d11f2f5e0c4629a6dc48d01","datavalue":{"value":{"entity-type":"item","numeric-id":3233205,"id":"Q3233205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$7E1FD7D8-50E8-4141-9470-A1D63E81F6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaac2d3e7c3b507365be4d6df54659adce00a06","datavalue":{"value":{"entity-type":"item","numeric-id":4236324,"id":"Q4236324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$D21C38C6-04A9-45CE-AEC4-E1E73009D31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$A12BA43B-76BF-4721-B6F4-5C524E97262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$A743C00F-379D-493B-893F-666816510BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$B679F234-258B-489D-9CE8-F2D17FD885F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2583a950d4c6874a0e4ed2ba33772fe013b28d","datavalue":{"value":{"entity-type":"item","numeric-id":558413,"id":"Q558413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020577$EEBF3026-C2ED-4C52-9B71-DAC2D858D38C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8fab1fd8fe306270cc12dd1252a9ebe811443ae","datavalue":{"value":"10.1007/S10670-008-9118-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020577$4C6093ED-CBBA-4FB0-B30A-DF0055DEE611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2deadfc7874e3c1e59acf70dd28845f54c58edc","datavalue":{"value":{"entity-type":"item","numeric-id":558413,"id":"Q558413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0eaec4ec5d9d49867257ed8fff859ff65b20b1","datavalue":{"value":{"amount":"+0.8360760807991028","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":"Q1020577$A7135231-E993-4923-876C-33C0F611FD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e867e1b7c51390b4aff94812e73976ed382e6f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4899960,"id":"Q4899960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2846c69d8db7db3ad933a7a70cfb478b7cf671","datavalue":{"value":{"amount":"+0.779140830039978","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":"Q1020577$19F0BCC1-3225-434A-BA27-9EAF78915795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0322cde8813be79789fd80855b4c38867b281fd5","datavalue":{"value":{"entity-type":"item","numeric-id":5001549,"id":"Q5001549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b13d5841ab0f7f837d4e374093eaf6b72132885","datavalue":{"value":{"amount":"+0.7749020457267761","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":"Q1020577$5DF21936-BA69-4CD0-A1DA-802317A8983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6fe6428ae7c9e6bb12996e21a0fe4d0d2d9b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2671597,"id":"Q2671597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f09708f7fca35bccd1574c1179841886e520f47","datavalue":{"value":{"amount":"+0.7669655084609985","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":"Q1020577$42BE7C2E-5BAF-4C53-9BF9-EDD38D62692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fd4cf9340abe269264383eb65c4bd7d292fb2d","datavalue":{"value":{"entity-type":"item","numeric-id":2051131,"id":"Q2051131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ef6f8a40af56493f2dfb4865364280e70d5a30","datavalue":{"value":{"amount":"+0.7594142556190491","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":"Q1020577$6A50F6DF-C213-462F-9AB6-D78752844A74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wittgensteinian tableaux, identity, and co-denotation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wittgensteinian_tableaux,_identity,_and_co-denotation"}}}}}