{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T03:51:51Z","timestamp":1759117911682},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T00:00:00Z","timestamp":1320624000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>The concept of<jats:italic>truth<\/jats:italic>arguably plays a central role in many areas of philosophical theorizing. Yet, what seems to be one of the most fundamental principles governing that concept, i.e. the equivalence between \u2018 \u2018<jats:italic>P<\/jats:italic>\u2019 is true\u2019 and \u2018<jats:italic>P<\/jats:italic>\u2019, is inconsistent in full classical logic, as shown by the<jats:italic>semantic paradoxes<\/jats:italic>. I propose a new solution to those paradoxes, based on a principled revision of classical logic. Technically, the key idea consists in the rejection of the unrestricted validity of the structural principle of<jats:italic>contraction<\/jats:italic>. I first motivate philosophically this idea with the metaphysical picture of the states-of-affairs expressed by paradoxical sentences as being distinctively \u201c<jats:italic>unstable\u201d<\/jats:italic>. I then proceed to demonstrate that the theory of truth resulting from this metaphysical picture is, in many philosophically interesting respects, surprisingly stronger than most other theories of truth endorsing the equivalence between \u2018 \u2018<jats:italic>P<\/jats:italic>\u2019 is true\u2019 and \u2018<jats:italic>P<\/jats:italic>\u2019 (for example, the theory vindicates the validity of the traditional laws of<jats:italic>excluded middle<\/jats:italic>and of<jats:italic>non-contradiction<\/jats:italic>, and also vindicates the traditional constraint of<jats:italic>truth preservation<\/jats:italic>on logical consequence). I conclude by proving a<jats:italic>cutelimination<\/jats:italic>theorem that shows the consistency of the theory.<\/jats:p>","DOI":"10.1017\/s1755020311000177","type":"journal-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T09:26:47Z","timestamp":1324027607000},"page":"498-535","source":"Crossref","is-referenced-by-count":93,"title":["TRUTH WITHOUT CONTRA(DI)CTION"],"prefix":"10.1017","volume":"4","author":[{"given":"ELIA","family":"ZARDINI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,11,7]]},"reference":[{"key":"S1755020311000177_ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020311000177_ref1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001"},{"key":"S1755020311000177_ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"},{"key":"S1755020311000177_ref5","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzl567"},{"key":"S1755020311000177_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"S1755020311000177_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"S1755020311000177_ref2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634995"},{"key":"S1755020311000177_ref18","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"S1755020311000177_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/0199247293.001.0001"},{"key":"S1755020311000177_ref21","doi-asserted-by":"publisher","DOI":"10.1111\/j.1520-8583.2008.00157.x"},{"key":"S1755020311000177_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2269292"},{"key":"S1755020311000177_ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2026380"},{"key":"S1755020311000177_ref19","volume-title":"Doubt Truth to Be a Liar","author":"Priest","year":"2006"},{"key":"S1755020311000177_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"S1755020311000177_ref13","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8284.2007.00681.x"},{"key":"S1755020311000177_ref9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"S1755020311000177_ref3","volume-title":"Universal Logic","author":"Brady","year":"2006"},{"key":"S1755020311000177_ref14","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/anr044"},{"key":"S1755020311000177_ref12","volume-title":"De vitis, dogmatibus et apophthegmatibus clarorum philosophorum","author":"Laertius"},{"key":"S1755020311000177_ref16","volume-title":"Truth, Vagueness, and Paradox","author":"McGee","year":"1991"},{"key":"S1755020311000177_ref17","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/39.3.124"},{"key":"S1755020311000177_ref22","article-title":"The role of utterances in Bradwardine\u2019s theory of truth","author":"Zardini","year":"2011","journal-title":"Recherches de th\u00e9ologie et philosophie m\u00e9di\u00e9vales"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020311000177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,28]],"date-time":"2020-06-28T22:36:56Z","timestamp":1593383816000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020311000177\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,7]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["S1755020311000177"],"URL":"https:\/\/doi.org\/10.1017\/s1755020311000177","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,7]]}}}