{"entities":{"Q1107507":{"pageid":1118256,"ns":120,"title":"Item:Q1107507","lastrevid":69659232,"modified":"2026-04-13T08:31:30Z","type":"item","id":"Q1107507","labels":{"en":{"language":"en","value":"Kripke and the logic of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4064950"}},"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":"Q1107507$87B3C620-FD1C-4BF9-AE39-1DE37DC54215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b404e2aa5717190250b00f0c702c125362e9f771","datavalue":{"value":{"text":"Kripke and the logic of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107507$C921D994-987B-495F-A9B6-704A9363C531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82bebdc868938d61e99ee9a589331c952d8ffe0d","datavalue":{"value":"0653.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$E4AC7144-9AC4-4782-A8A6-1207FD97006C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43a46518f5c6da2ab52efe50d082f278614aff07","datavalue":{"value":"10.1007/BF00247954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$BCABE6FA-905D-4FA0-9A3C-6D3E3BBF5594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f89aff511c01a08fc03bc35cc8e4550318ab1de","datavalue":{"value":{"entity-type":"item","numeric-id":1107506,"id":"Q1107506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107507$B57FDC54-FD94-45A5-AF00-C1577E6CE783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107507$72403EF4-C6F2-4AB8-9BF1-425F2E4ABADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1107507$4349FF94-17B8-4B1D-B12A-5B9751463C88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70c096a25816d0c71cf8d20ab1bbb27b1d3051b5","datavalue":{"value":"The paper discusses Kripke's semantics for truth and establishes some facts about related proof-theories. Let C be the class of Kripke interpretations, based on any one of a number of standard 3-valued logics, L, in which the interpretation of the truth predicate, T, is a fixed-point. The paper suggests that this class may characterise truth as a logical constant. Let \\(\\vDash_ L\\) be the notion of validity defined in terms of truth preservation forward and falsity preservation backwards in all members of C. The paper shows that if there is a Gentzen system, sound and complete with respect to L, then this, augmented by the rules: \\(A\\vdash T<A>\\), \\(T<A>\\vdash A\\), \\(\\neg A\\vdash \\neg T<A>\\), \\(\\neg T<A>\\vdash \\neg A\\) (and some structural rules), is sound and complete with respect to \\(\\vDash_ L\\) (where \\(<A>\\) is a name of A). It then goes on to give a cut-free Gentzen system and prove soundness and completeness with respect to \\(\\vDash_ L\\), where L is the Kleene strong 3-valued logic. Interestingly, these result hold if there are no constraints as to whether or not non-sentences may be counted true. If we insist that non- sentences are all false or all truth-valueless then, as the paper shows, \\(\\vDash_ L\\) is not compact, and hence not axiomatisable. Since any other treatment of non-sentences is somewhat odd, and the paper identifies the meaning of a logical constant with its rules of proof, this is a rather unwellcome consequence. For more general problems with Kripke's account of truth, see the review by \\textit{G. Hellman}, J. Symb. Logic 50, 1068-1071 (1985).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$5FD37691-1DA4-437D-B37E-13699A75E7F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$C396E024-4805-439B-BB3F-1C2C73E8AC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$A295DBD1-8728-4866-A927-95693256FCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$FAD15D81-CB51-47B5-834A-BA83B1B2251E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0b91b52fef16ee78a4954da5f3b89644208a890","datavalue":{"value":"4064950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$0472CD34-2DA1-41FD-88CE-0AD0C43F1ADA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1baed7eb7d8b9104319d56e5aafb0ec11e8e267","datavalue":{"value":"Kripke's semantics for truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$912F71AC-BC09-48B2-88E7-D60143A1E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5d1171e8e0ebe41396daeba2b5b1dad853ded0","datavalue":{"value":"Kripke interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$C334600B-CAB6-446B-95EF-796209BD7B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c4a2aef9a237ff4c1b489b607b734dd4cffc2f","datavalue":{"value":"fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$7B032A08-704E-48C8-B165-5A57C6E3BCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$D43FF6D4-B121-4B35-B084-8E7A4B4C0361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ebe454b06534125f9ddcbd61313710345e3c96a","datavalue":{"value":"Kleene strong 3-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107507$B03CFFCC-190B-4E26-90AF-6B2C5837E47C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107507$B2F8275A-54C3-4997-9335-F694BA16149E","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":"Q1107507$607B037C-F30F-4678-9E22-501D8035DE4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fef97e9397e21e411b7c47ef6cfce4b719893d20","datavalue":{"value":"https://doi.org/10.1007/bf00247954","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107507$6F6422F1-2238-4973-83FB-E1F9132F0454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"485f88cacee5a5c98efcc3ae0e9dc7b757b63d82","datavalue":{"value":"W2089266758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107507$DE04899F-E097-4F40-8B3D-1B6F7BF71739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffcb92eef2acd46d07bcb1bcef5809f45e36607","datavalue":{"value":{"entity-type":"item","numeric-id":1893137,"id":"Q1893137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48601232bfcd40d77e2f8caa65bf5d06bd0d39dc","datavalue":{"value":{"amount":"+0.7501482367515564","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":"Q1107507$ACBBC66C-252E-446E-B5A7-66A11BC6FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528df1220fde7455302a92af772619440c2fe2d","datavalue":{"value":{"entity-type":"item","numeric-id":795819,"id":"Q795819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce706a15fdb4b07480771b368db2e6c453d1c5ba","datavalue":{"value":{"amount":"+0.7479864954948425","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":"Q1107507$C5ECD1CE-2C94-40DB-9DD6-993B09C6254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaea4f35ba906a59af9b07eb5f5e4b3d8c4aabe","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11214b246b02eb7c4801beaae107224c4895348","datavalue":{"value":{"amount":"+0.7479315400123596","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":"Q1107507$5CEC1460-45EA-4A22-9319-B7239FF2F9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb151e4f20fa9317607fea9159ee6d7d50b4d44","datavalue":{"value":{"entity-type":"item","numeric-id":4933591,"id":"Q4933591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872a17240fb091a8ee332a2a383daabe98a32067","datavalue":{"value":{"amount":"+0.7472041249275208","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":"Q1107507$E54649B0-A21C-48C8-A54C-B5E7EE7067C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b31dd3d35c61a9ff967f89625e797b83f51ab9e","datavalue":{"value":{"amount":"+0.7418246269226074","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":"Q1107507$4B5C0425-4E86-4337-BC05-E7B44050C316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke and the logic of truth","badges":[]}}}}}