{"entities":{"Q1782246":{"pageid":1792988,"ns":120,"title":"Item:Q1782246","lastrevid":73624395,"modified":"2026-04-14T16:42:05Z","type":"item","id":"Q1782246","labels":{"en":{"language":"en","value":"On the status of reflection and conservativity in replacement theories of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6939330"}},"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":"Q1782246$5820C430-09DC-427E-AB94-3BB2EA8ED54B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4990e1605bc0549b2a0e236dccb839def377588","datavalue":{"value":{"text":"On the status of reflection and conservativity in replacement theories of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1782246$DAD1954E-168F-4FC8-A979-67D43C4EACD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"061c2f458ddca1767dee3c7fdcb9d6d1fd83ea28","datavalue":{"value":"1406.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$771F2EDD-41AC-4BDD-B42A-2C4F686A3A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce96a326b4aeba44d62066c25d8a9b0fffe02536","datavalue":{"value":"10.1215/00294527-2018-0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$1629F273-BA67-4DCD-BE43-F35DAA20D985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c9354f0e4a03917fa35ae554e6ac8f8945cc9c","datavalue":{"value":{"entity-type":"item","numeric-id":1782245,"id":"Q1782245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$F0793B30-0B2D-490B-886C-F959DA20BCC0","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":"Q1782246$C17DD30E-72F3-4559-B6CD-A35E4C050918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718193faeaf945fe9ce440e932847a0b843702ae","datavalue":{"value":{"time":"+2018-09-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":"Q1782246$BE6F3E78-BBFC-4D5D-9E90-8DAD662F87C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"696667b7d9e09be6dfa23bebf89d3e281e0d1dfe","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1529978580","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782246$DC17E0F5-BE40-4AA5-A574-8D183F28B60B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33972a744a08fc0d85bd46750304019c41a0064f","datavalue":{"value":"The Liar and related paradoxes seem to show an inconsistency in our ordinary concept of truth. \\textit{K. Scharp}, in [Replacing truth. Oxford: Oxford University Press (2013)] and subsequent works, has proposed replacing the ordinary concept of truth with two distinct concepts, ascending truth and descending truth (ADT).  The present paper argues two points against Scharp's strategy.   (i) A reflection principle for descending truth (If a sentence is proven, then it is D-true) is inconsistent with ADT, but a reflection principle for ascending truth (If a sentence is proven, then it is A-true), though consistent with ADT, is insufficient to validate the sentence, and hence cannot act as a reflection principle.   (ii) \\textit{W. Dean} has argued [Philos. Math. (3) 23, No. 1, 31--64 (2015; Zbl 1380.03068)] that reflection principles are linked to mathematical induction within the relevant theory from this and the failure of its reflection principles, it follows that ADT must reject some ordinary mathematical uses of ``true''.  \\textit{H. Field} [Saving truth from paradox. Oxford: Oxford University Press (2008; Zbl 1225.03006)] argues on G\u00f6delian grounds that consistency statements and reflection principles need not be derivable; this may exempt ADT from proving its own reflection principle, but not from its inability to prove reflection principles for Peano arithmetic or Zermelo Fraenkel. ADT thus fails to provide for all ordinary uses of a truth predicate in mathematics.  In appendices, there is a proof that ADT is consistent (more constructive than those previously published), and that ADT is conservative for ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$EA960AF5-4242-4094-B837-FD351C128DD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$86EC746D-9E65-4910-B66A-C8F25FB100F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f96eb611447aa0d048f1362176d421430af1125","datavalue":{"value":"6939330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$F858C77C-1712-4281-A975-97A67551D45C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5841085373049d85b8008f3ff9e61a398d891c","datavalue":{"value":"philosophical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$4216D9D4-5927-4A1C-8865-12CA67342E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faee82381b3d65915729219dff0882ce846c2b1f","datavalue":{"value":"formal theories of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$C4B6B4CD-1DFD-4767-99DC-A45EF3C5A407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bcaff2ab3bfdd79e30bcefc7eb146dadc9e6de","datavalue":{"value":"replacement principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$147E0049-F0D9-40CD-A015-77D69BD3D21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$C9C78BAA-71F0-4F58-9FEC-4775998F45ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6a2f67e89bf6f132c0aa5df2fcd166c42c3aa4","datavalue":{"value":"liar paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782246$348FBDA9-CDF2-49FE-8D0E-8A5756CFAC37","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":"Q1782246$5123F3F8-C9E4-43E8-B86F-98F4922B04A8","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":"Q1782246$75E83792-117B-44D8-B224-ACED69B789E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25f3597cc3b6d8f52e2a32e3ab317f9252c5a703","datavalue":{"value":"W2811002465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$2C9CBB15-8833-4015-931C-C4876710EB91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f138e3bf3a9b7d86ac408691c64410c76772a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2965618,"id":"Q2965618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$D78B49B9-C7DD-4096-973D-A8D6FD6B7F51","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":"Q1782246$2B19BA50-8372-457D-AEDE-160FE4C3DAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$8687AB9E-01AF-464F-9926-3C2EA10A9A94","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":"Q1782246$B9F977DE-35C2-4AAA-9AF1-2AF3E41F080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7690d6e129422393921d20335378cb27d2f76350","datavalue":{"value":{"entity-type":"item","numeric-id":2650013,"id":"Q2650013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$60DB9F63-8652-4E3C-844E-49145509482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$724A41F9-5483-4BE9-83C1-DD34713EB65B","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":"Q1782246$BF1303E1-75A1-4E3F-8412-2E61E807EDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa07fa285f97bb327445ace4f4a204c76b60aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3464622,"id":"Q3464622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782246$7F62DFB1-E2F7-48CF-80E0-3C10F2124004","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0819c3233aff50ca7849fc6ff8d9682ee00a917","datavalue":{"value":"Q129649606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782246$D750C17D-9DC7-4A6D-9122-9E03AD6BED8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bf29e5c5405efa9a88800f874502213a5541f3","datavalue":{"value":{"entity-type":"item","numeric-id":3464622,"id":"Q3464622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b88e6e619e7d261254a8267e8dff32c5bc5e1da","datavalue":{"value":{"amount":"+0.83809793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$FB7E04D7-969F-44AB-BF42-A4EDCA56A0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b73150a2b895a02ec53c00fef51acbd4769195","datavalue":{"value":{"entity-type":"item","numeric-id":1876081,"id":"Q1876081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a5016b44a6d5e9eda071ea6d16eec79f0d983a","datavalue":{"value":{"amount":"+0.8025652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$937CFD62-8743-4F68-AA91-B70C7306B873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da740d287f0018e89c8f620c9920eb412e42e09a","datavalue":{"value":{"entity-type":"item","numeric-id":1404392,"id":"Q1404392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a11f9985363e5202a60bf6dfb1e11f049b3dd9b","datavalue":{"value":{"amount":"+0.7842337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$C59ADD7F-770E-4325-9EB9-BC0E7B45D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df300ddb3dbdc50c43e4266a617eef6bdad02f09","datavalue":{"value":{"entity-type":"item","numeric-id":2693135,"id":"Q2693135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15219e4e30965dc1145233be01f100233bf59d0","datavalue":{"value":{"amount":"+0.7805549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$CBD4B934-328C-416C-85D4-7F8DD161A19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cb6c9a0db85eb1e245d3c181193a0dea73b3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3760496,"id":"Q3760496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fb4d6b1b9ccb68a8b95cd7b539fa49d7c59ac3","datavalue":{"value":{"amount":"+0.77236384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$D5A4F399-FE3D-457C-B3C4-5C8C9FA91C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f15356506d8f7f1bafb4c5b1e5e38a7185804e","datavalue":{"value":{"entity-type":"item","numeric-id":4609447,"id":"Q4609447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29eece55773f614eb42b5a7aeaea7f6725034ad3","datavalue":{"value":{"amount":"+0.7709428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$ABAFB75B-C507-410F-8AEA-ECFCC948EECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b9a079cfda0dce2e10ef304d060899a127d376","datavalue":{"value":{"entity-type":"item","numeric-id":3580671,"id":"Q3580671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af88ad4a552f690f4123cb96f5ab802cf94e6623","datavalue":{"value":{"amount":"+0.77032673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$39D007FF-92B2-48AF-827F-2C3A84E14270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b1918ccce1b6d22216b1f96e5c4fea56896233","datavalue":{"value":{"entity-type":"item","numeric-id":4328846,"id":"Q4328846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90a341e13b0ebc566c03092dc8db74d13a52248","datavalue":{"value":{"amount":"+0.76748216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$92DDBD30-5490-43A9-ABC5-4F70294967A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04079daaddcef8b9ba76dd6027b4e4cf963bea12","datavalue":{"value":{"entity-type":"item","numeric-id":5737963,"id":"Q5737963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10caf75bfed1e47206daccd29e448676dd8e5f6","datavalue":{"value":{"amount":"+0.7657991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$EA7BD2D2-EC68-4A15-9757-A02C29797F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45e3e4bf22ca4479e37c9d3136d5f8bc1571f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2093036,"id":"Q2093036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125a3468f4e7f4e8cf3d7ea01a91124314999368","datavalue":{"value":{"amount":"+0.764085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782246$9F6A5590-F89F-4C32-8B4D-2DD3EFC9FF22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the status of reflection and conservativity in replacement theories of truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_status_of_reflection_and_conservativity_in_replacement_theories_of_truth"}}}}}