{"entities":{"Q1934956":{"pageid":1945698,"ns":120,"title":"Item:Q1934956","lastrevid":51646073,"modified":"2026-01-19T05:55:09Z","type":"item","id":"Q1934956","labels":{"en":{"language":"en","value":"A new conditional for naive truth theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6132727"}},"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":"Q1934956$97058CA5-603E-4304-804B-234EE5080860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd6e2f5ad08f6d2def7f67e582d66b2f874a30e","datavalue":{"value":{"text":"A new conditional for naive truth theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1934956$22A32DE6-50FE-4DE5-AFB5-BF5307518560","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8696410a1a333b6bb2c54b3d81d72c8a4eae812d","datavalue":{"value":"1273.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$C72DD0C6-0BF4-4718-92B3-D30BF5690EF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b81d59c5c67611dc9e8f5187905b2a97d8e0e9a9","datavalue":{"value":"10.1215/00294527-1731407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$EF58577E-9694-4BFD-AFC3-BEC93B32935F","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":"Q1934956$D50C33CA-107B-40AE-A90E-EA10B150E3A9","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":"Q1934956$7D946429-E0D2-4DC9-97F1-2600CB6952E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5478fba53a113a7516ce69e974ee388c2f24be0","datavalue":{"value":{"time":"+2013-01-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":"Q1934956$C64413F2-AEB7-4212-AF7C-BCCB0AEB4783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0e6ca41e7b89b685b0ca358892a89f124870db0","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1355494525","type":"string"},"datatype":"url"},"type":"statement","id":"Q1934956$64411EBD-2479-4174-8243-CCD5CBBCA165","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef17764b8c864ee8fb8019c8f27eec5532b33504","datavalue":{"value":"The paper presents a logical system \\(\\mathbf{TJK^+}\\) which is claimed to be suitable for securing a disquotational reasoning about truth. The intended formalism is constructed in the first-order language of Peano arithmetic enriched with a truth predicate Tr. The system \\(\\mathbf{TJK^+}\\) is defined as an extension of the negation-free fragment of the relevant logic \\(\\mathbf{TJ}\\) by the axiom schema \\(\\varphi\\rightarrow(\\psi\\rightarrow\\varphi)\\) known as \\(\\mathbf{K}\\). This system is supplied with a possible-worlds semantics dealing with both binary and ternary accessibility relations. A general form of a fixed-point theorem grasping the conditional of \\(\\mathbf{TJK^+}\\) is proved, thus allowing to accommodate any possible self-referential reasoning with this operator. The key Theorem 5.5 of the paper states the existence of a standard model for \\(\\mathbf{TJK^+}\\) plus intersubstitutivity rule: from \\(\\varphi\\) to infer \\(\\varphi^\\prime\\) and vice versa (\\(\\varphi^\\prime\\) is any sentence obtained from \\(\\varphi\\) by substituting some occurrences of \\(\\psi\\) for Tr(\\(\\ulcorner\\psi\\urcorner\\)), where \\(\\ulcorner\\psi\\urcorner\\) represents the numeral for the G\u00f6del number of \\(\\psi\\)). In the last section the possibility of adding to \\(\\mathbf{TJK^+}\\) some kind of an involutive negation operator is briefly discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$78F8D868-34D7-4E10-BFEB-87A90B3F59FC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$C0651EF7-8B8C-465F-A418-D287C185E56E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$8A0DCF0F-4424-468D-8725-C20F6303160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$EFE272D6-CF38-4A02-8DFD-1767A88D3579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0649f44f50551eeeb1157e8e53c9425ea978e248","datavalue":{"value":"6132727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$4EEC67A1-F6B9-4E91-BC7B-4599B2BFFD85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6a2f67e89bf6f132c0aa5df2fcd166c42c3aa4","datavalue":{"value":"liar paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$70D2C754-4BAC-46E2-BB29-FF1BEF1ABCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e5e7889be0d4303c532d512b158b8f7497f303","datavalue":{"value":"truth theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$47094CC0-4649-49FB-B0EC-BC3DF2790FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a1ace286580bbc404bdbef33af20003caeee59","datavalue":{"value":"intersubstitutivity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$08D47FB4-720C-4223-88AC-FD635075B983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4746a9185b80a593114ac78cbe9379f8f4e102ed","datavalue":{"value":"self-referential contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$25F2071F-73E0-4938-9346-6007AECA6DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07c3c2f02bd8b1bc56efdb24ab5110a5c3b0f3b","datavalue":{"value":"fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934956$6A67A0F1-15E3-41D0-8C76-E0FD00DF55CF","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":"Q1934956$E4833861-5B5D-49B9-858A-478CA0296D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"735a022a45f8d2ba2f712dcc3082d6502254c496","datavalue":{"value":"W1974530162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934956$B9D50367-83BC-401D-AACE-CF4CCBFF2DC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e0328f3f34f158b340c144dd5a9583b669d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":361866,"id":"Q361866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$BE9E2AD7-3ED1-43F6-8A37-8A7B1BC189A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$50DF70DF-0DA2-47DD-BEB2-6E06D9B30F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c0afb2ca6e03713a5d6aa1e83e85ca9638f6da","datavalue":{"value":{"entity-type":"item","numeric-id":1165845,"id":"Q1165845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$36503023-920D-4DE3-9107-9D4091C0E6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20eff1c19b24c98c48ffacc2f2d498e6fa5fd9e5","datavalue":{"value":{"entity-type":"item","numeric-id":3032252,"id":"Q3032252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$1FF70FE3-0FAF-4D30-9290-666F2FF805EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723be41a3130086c62a67c781fb6caf24e26d78","datavalue":{"value":{"entity-type":"item","numeric-id":3543573,"id":"Q3543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$7ED4C04E-920A-47B6-8D81-74CF1B18C094","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":"Q1934956$8FE10557-B48C-4CB5-98B1-F4BEC712437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df2ed3bccaf33db2911d0fbd26c5af6161bed60","datavalue":{"value":{"entity-type":"item","numeric-id":1123891,"id":"Q1123891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$6A3110B4-0C17-40D4-AA29-17D11EE8FA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1e485e82c7dc84d069a763eb4a11a2b42b250b","datavalue":{"value":{"entity-type":"item","numeric-id":4845457,"id":"Q4845457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$8A6F54F6-3490-4810-B60C-B8EDDFF13A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$6179251B-6E8D-453A-9712-B2FA5DFC9596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$11223B7A-167E-40BF-93BC-B0102D23D39D","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":"Q1934956$29806740-4E77-491E-82AD-57E26F905A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2725ae4cc5bc7c2a80eac068ea1ce81633438200","datavalue":{"value":{"entity-type":"item","numeric-id":5443924,"id":"Q5443924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934956$5ADEF79E-2D49-4D1C-A61E-C448A3834486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673b87744104949530112ac8fb5f1be0e6b41ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2397814,"id":"Q2397814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d7c9fb3dfb56db4bf1082ed30ed1b7fde03808","datavalue":{"value":{"amount":"+0.7327515482902527","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":"Q1934956$D8F4F5AE-3F9D-4A06-ADCF-C2732C898E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098ad24fecb604b587cb5b1481c6ffd929841939","datavalue":{"value":{"entity-type":"item","numeric-id":2804479,"id":"Q2804479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52ed58f74462f1031cbdc5d030ce5bb278f761f","datavalue":{"value":{"amount":"+0.7310459613800049","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":"Q1934956$6D94C8DB-53C7-46E6-B6E0-3F230A8E4995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79227949552cea31733a86b4f414815b7d836727","datavalue":{"value":{"entity-type":"item","numeric-id":2410892,"id":"Q2410892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0320a3e07410e1989d68b39ae6074f9e3b208f1","datavalue":{"value":{"amount":"+0.726682722568512","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":"Q1934956$9DCF37BA-AC05-4DA5-84C4-6878E992F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a7a47bb06efb568481a22fddb893b4697106be","datavalue":{"value":{"entity-type":"item","numeric-id":1810819,"id":"Q1810819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d37e0d818f4e41b8ef39852b65f9e0d1deade29","datavalue":{"value":{"amount":"+0.7233802676200867","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":"Q1934956$5460A921-65AF-402C-8AAD-C5404FA82BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e279e91368e9ea57f3f7819b93564c0d41d39e","datavalue":{"value":{"entity-type":"item","numeric-id":5951909,"id":"Q5951909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d37e0d818f4e41b8ef39852b65f9e0d1deade29","datavalue":{"value":{"amount":"+0.7233802676200867","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":"Q1934956$84420A70-A6B0-4D98-917C-E90AC5900691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1934956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1934956"}}}}}