{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:34:40Z","timestamp":1648762480552},"reference-count":1,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":17268,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1966,12]]},"abstract":"<jats:p>In [1], page 85, Quine states: \u201c\u2026 ponentials of logically true statements are logically true.\u201d It is perhaps of some interest that this assertion is not completely precise as can be seen from counterexamples. One simple example is the following:<\/jats:p><jats:p>Let <jats:italic>L<\/jats:italic> be some language in which \u2018<jats:italic>c<\/jats:italic>\u2019 and \u2018<jats:italic>b<\/jats:italic>\u2019 are atomic sentential constants. Let \u2018<jats:italic>c<\/jats:italic>\u2019 be false and \u2018<jats:italic>b<\/jats:italic>\u2019 true. Suppose that <jats:italic>L<\/jats:italic> includes parentheses and the material conditional \u2018\u2283\u2019 as logical notation, but that \u2018<jats:italic>b<\/jats:italic>\u2019, at least, counts as extra-logical.<\/jats:p>","DOI":"10.2307\/2269690","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T20:36:19Z","timestamp":1146947779000},"page":"561-561","source":"Crossref","is-referenced-by-count":1,"title":["Logical truth and logical implication"],"prefix":"10.1017","volume":"31","author":[{"given":"William S.","family":"Hatcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200065993_ref001","volume-title":"Mathematical Logic","author":"Quine","year":"1961"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200065993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T19:40:17Z","timestamp":1557690017000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200065993\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1966,12]]},"references-count":1,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1966,12]]}},"alternative-id":["S0022481200065993"],"URL":"https:\/\/doi.org\/10.2307\/2269690","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1966,12]]}}}