{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:45Z","timestamp":1774953885024,"version":"3.50.1"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T00:00:00Z","timestamp":1401753600000},"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":[[2014,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Logical inferentialists claim that the meanings of the logical constants are given by their inference rules. To rule out <jats:italic>tonk<\/jats:italic>-like expressions, it is often demanded that pairs of inference rules must be <jats:italic>harmonious<\/jats:italic>. The usual inference rules for the identity predicate are not harmonious, but most inferentialists want identity to be logical. Stephen Read has tried to formulate alternative, harmonious inference rules for identity. It will be proved, however, that his rules are precisely as strong as the old rules and that, because the old rules are not harmonious (as Read argues), nor are his. Further, it will be shown that no <jats:italic>sound<\/jats:italic> rules will be any improvement. Identity remains in need of satisfactory inferentialist treatment.<\/jats:p>","DOI":"10.1017\/s1755020314000161","type":"journal-article","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T14:10:24Z","timestamp":1401804624000},"page":"499-510","source":"Crossref","is-referenced-by-count":6,"title":["HARMONIOUS RULES FOR IDENTITY"],"prefix":"10.1017","volume":"7","author":[{"given":"OWEN","family":"GRIFFITHS","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,6,3]]},"reference":[{"key":"S1755020314000161_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzm023"},{"key":"S1755020314000161_ref5","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S1755020314000161_ref14","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/109.436.781"},{"key":"S1755020314000161_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1923-1_14"},{"key":"S1755020314000161_ref1","volume-title":"Making it Explicit","author":"Brandom","year":"1994"},{"key":"S1755020314000161_ref17","volume-title":"The Taming of the True","author":"Tennant","year":"1997"},{"key":"S1755020314000161_ref12","unstructured":"Read S . (2012). Identity and harmony revisited. Unpublished. Available at: http:\/\/www. st-andrews.ac.uk\/\u223c slr\/identity_revisited.pdf."},{"key":"S1755020314000161_ref6","first-page":"157","article-title":"Read on identity and harmony \u2013 a friendly correction and simplification","volume":"67","author":"Kremer","year":"2007","journal-title":"Analysis"},{"key":"S1755020314000161_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/64.2.113"},{"key":"S1755020314000161_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/anp100"},{"key":"S1755020314000161_ref16","doi-asserted-by":"publisher","DOI":"10.1080\/00048402.2010.528781"},{"key":"S1755020314000161_ref9","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/41.2.66"},{"key":"S1755020314000161_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9133-7"},{"key":"S1755020314000161_ref2","volume-title":"Frege: Philosophy of Language","author":"Dummett","year":"1973"},{"key":"S1755020314000161_ref3","volume-title":"The Logical Basis of Metaphysics","author":"Dummett","year":"1991"},{"key":"S1755020314000161_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10988-011-9088-3"},{"key":"S1755020314000161_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T01:07:02Z","timestamp":1555895222000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000161\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,3]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["S1755020314000161"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000161","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,3]]}}}