{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:40:02Z","timestamp":1750459202978,"version":"3.41.0"},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T00:00:00Z","timestamp":1254700800000},"content-version":"unspecified","delay-in-days":34,"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":[[2009,9]]},"abstract":"<jats:p>The paper addresses what we see as the four major issues in logic. The overriding issue is that of the choice of logic. We start with some discussion of the preliminary issue of whether there is such a \u2018one true logic,\u2019 but we reserve the main discussion for the first issue of \u2018classical logic versus non-classical logic.\u2019 Here, we discuss the role of meaning and truth, the relation between classical logic and classical negation, and whether and, if so, how classical logic should reside at the base world. Given the argument in favor of an overall use of non-classical logic, the second issue is that of the choice of non-classical logic. Brady\u2019s logic MC of meaning containment is argued for, with some comparison made with other relevant logics. For the remaining two issues, we make a case for relevant deduction, in comparison with classical deduction, and we explore possibilities for the appropriate meta-logic, comparing classical and non-classical approaches.<\/jats:p>","DOI":"10.1017\/s1755020309990219","type":"journal-article","created":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T16:58:53Z","timestamp":1254761933000},"page":"488-508","source":"Crossref","is-referenced-by-count":2,"title":["FOUR BASIC LOGICAL ISSUES"],"prefix":"10.1017","volume":"2","author":[{"given":"ROSS","family":"BRADY","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PENELOPE","family":"RUSH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,10,5]]},"reference":[{"volume-title":"Problems About \u2018if\u2019","year":"1972","author":"Hunter","key":"S1755020309990219_manual_ref-27"},{"volume-title":"Relevant Logic","year":"1988","author":"Read","key":"S1755020309990219_manual_ref-33"},{"key":"S1755020309990219_manual_ref-20","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870219"},{"volume-title":"Universal Logic","year":"2006","author":"Brady","key":"S1755020309990219_manual_ref-12"},{"key":"S1755020309990219_manual_ref-11","volume-title":"Relevant Logics and their Rivals","volume":"2","author":"Brady","year":"2003"},{"key":"S1755020309990219_manual_ref-1","doi-asserted-by":"publisher","DOI":"10.2307\/2268750"},{"journal-title":"Australasian Journal of Logic","article-title":"Extending metacompleteness to classical systems","author":"Brady","key":"S1755020309990219_manual_ref-16"},{"key":"S1755020309990219_manual_ref-4","doi-asserted-by":"publisher","DOI":"10.1080\/00048400012349751"},{"key":"S1755020309990219_manual_ref-10","first-page":"113","volume-title":"Frontiers of Paraconsistent Logic","author":"Brady","year":"2000"},{"key":"S1755020309990219_manual_ref-19","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199265176.003.0010"},{"key":"S1755020309990219_manual_ref-5","first-page":"1","volume-title":"Logical Consequences","author":"Beall","year":"2001"},{"key":"S1755020309990219_manual_ref-18","first-page":"535","volume-title":"Paraconsistency: The Logical Way to the Inconsistent","author":"Bueno","year":"2002"},{"key":"S1755020309990219_manual_ref-38","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.2004.tb00295.x"},{"volume-title":"A Concise Introduction to Logic","year":"2000","author":"Hurley","key":"S1755020309990219_manual_ref-28"},{"volume-title":"G\u00f6del\u2019s Proof","year":"2001","author":"Nagel","key":"S1755020309990219_manual_ref-31"},{"volume-title":"An Introduction to Non-Classical Logic","year":"2001","author":"Priest","key":"S1755020309990219_manual_ref-32"},{"key":"S1755020309990219_manual_ref-21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172240"},{"key":"S1755020309990219_manual_ref-30","doi-asserted-by":"publisher","DOI":"10.5840\/monist197760316"},{"volume-title":"Entailment Logic: Theory and Application","author":"Brady","key":"S1755020309990219_manual_ref-17"},{"key":"S1755020309990219_manual_ref-35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935747"},{"key":"S1755020309990219_manual_ref-22","first-page":"236","volume-title":"The Oxford Handbook of Philosophy of Mathematics and Logic","author":"Defletsen","year":"2005"},{"key":"S1755020309990219_manual_ref-36","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637560"},{"key":"S1755020309990219_manual_ref-39","doi-asserted-by":"publisher","DOI":"10.1111\/j.0309-7013.2004.00121.x"},{"key":"S1755020309990219_manual_ref-13","first-page":"127","volume-title":"Handbook of Paraconsistency","author":"Brady","year":"2007"},{"key":"S1755020309990219_manual_ref-14","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9129-3"},{"volume-title":"Truth and Other Enigmas","year":"1978","author":"Dummett","key":"S1755020309990219_manual_ref-23"},{"key":"S1755020309990219_manual_ref-8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01053260"},{"key":"S1755020309990219_manual_ref-6","first-page":"9","article-title":"Completeness proofs for the systems RM3 and BN4","volume":"25","author":"Brady","year":"1982","journal-title":"Logique et Analyse"},{"key":"S1755020309990219_manual_ref-26","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199265176.003.0015"},{"key":"S1755020309990219_manual_ref-29","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199265176.003.0017"},{"key":"S1755020309990219_manual_ref-15","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1140641162"},{"key":"S1755020309990219_manual_ref-9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247002"},{"key":"S1755020309990219_manual_ref-34","volume-title":"Relevant Logics and Their Rivals","volume":"1","author":"Routley","year":"1982"},{"key":"S1755020309990219_manual_ref-7","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870447"},{"key":"S1755020309990219_manual_ref-24","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373152"},{"volume-title":"Rational Belief Systems","year":"1979","author":"Ellis","key":"S1755020309990219_manual_ref-25"},{"key":"S1755020309990219_manual_ref-37","doi-asserted-by":"publisher","DOI":"10.2307\/2024549"},{"key":"S1755020309990219_manual_ref-3","first-page":"21","article-title":"Relevant derivability and classical derivability in Fitch-style and axiomatic formulations of relevant logics","volume":"28","author":"Batens","year":"1985","journal-title":"Logique et Analyse"},{"key":"S1755020309990219_manual_ref-2","volume-title":"Entailment, The Logic of Relevance and Necessity","volume":"1","author":"Anderson","year":"1975"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020309990219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:27:51Z","timestamp":1750458471000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020309990219\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["S1755020309990219"],"URL":"https:\/\/doi.org\/10.1017\/s1755020309990219","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2009,9]]}}}