{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T06:26:41Z","timestamp":1671085601380},"reference-count":50,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2022,11,2]],"date-time":"2022-11-02T00:00:00Z","timestamp":1667347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Artemov, building upon a tradition beginning with Kolmogorov and G\u00f6del, developed a paradigm for understanding Constructive Reasoning in terms of classical proofs. Kolmogorov\u2013G\u00f6del\u2013Artemov constructivism flies in the face of the usual understanding of Constructive Reasoning as being distinguished from Classical Reasoning in terms of its theory of truth. Is there something that stands to traditional Classical Reasoning as Kolmogorov\u2013G\u00f6del\u2013Artemov constructivism stands to Constructive Reasoning? In this paper, we develop an affirmative answer to this question by presenting a justification account of Classical Reasoning in terms of explicit justification. The traditional truth paradigm account of Classical Reasoning leads to the well-known paradoxes of material implication. We show that the justification account of Classical Reasoning avoids this problem.1<\/jats:p>","DOI":"10.1093\/logcom\/exac076","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T03:54:10Z","timestamp":1667447650000},"page":"1796-1814","source":"Crossref","is-referenced-by-count":0,"title":["Classical reasoning in the justification paradigm"],"prefix":"10.1093","volume":"32","author":[{"given":"V Alexis","family":"Peluce","sequence":"first","affiliation":[{"name":"Department of Philosophy , The Graduate Center at the City University of New York, New York, NY, 10016"}]}],"member":"286","published-online":{"date-parts":[[2022,11,2]]},"reference":[{"key":"2022121408225505400_ref1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"Anderson","year":"1975"},{"issue":"1","key":"2022121408225505400_ref2","doi-asserted-by":"crossref","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","author":"Artemov","year":"2001","journal-title":"Bulletin of Symbolic Logic"},{"key":"2022121408225505400_ref3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-007-0714-6_2","article-title":"Why do we need justification logic","author":"Artemov","year":"2011","journal-title":"Games, Norms and Reasons"},{"key":"2022121408225505400_ref4","volume-title":"Manifesto of Justification Logic","author":"Artemov"},{"key":"2022121408225505400_ref5","doi-asserted-by":"crossref","DOI":"10.1017\/9781108348034","volume-title":"Justification Logic: Reasoning With Reasons","author":"Artemov","year":"2019"},{"key":"2022121408225505400_ref6","article-title":"Justification logic","volume-title":"The Stanford Encyclopedia of Philosophy (Spring 2021 Edition)","author":"Artemov"},{"key":"2022121408225505400_ref7","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2178\/jsl\/1185803617","article-title":"The basic intuitionistic logic of proofs","volume":"72","author":"Artemov","year":"2007","journal-title":"Journal of Symbolic Logic"},{"key":"2022121408225505400_ref8","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1017\/S1755020315000374","article-title":"Intuitionistic epistemic logic","volume":"9","author":"Artemov","year":"2016","journal-title":"The Review of Symbolic Logic"},{"key":"2022121408225505400_ref9","article-title":"Epistemic logic with justifications","volume-title":"Technical Report CFIS 99\u201312","author":"Artemov","year":"1999"},{"key":"2022121408225505400_ref10","article-title":"The development of intuitionistic logic","volume-title":"The Stanford Encyclopedia of Philosophy (Winter 2017 Edition)","author":"van Atten"},{"key":"2022121408225505400_ref11","first-page":"3","article-title":"Constraints, channels and the flow of information","volume-title":"Situation Theory and Its Applications (Volume 3)","author":"Barwise","year":"1993"},{"key":"2022121408225505400_ref12","doi-asserted-by":"crossref","first-page":"144","DOI":"10.2307\/2964210","article-title":"Entailment and relevance","volume":"25","author":"Belnap","year":"1960","journal-title":"The Journal of Symbolic Logic"},{"key":"2022121408225505400_ref13","article-title":"The unreliability of logical principles","volume-title":"15","author":"Brouwer","year":"1908"},{"key":"2022121408225505400_ref14","article-title":"Intuitionism and formalism","volume-title":"15","author":"Brouwer","year":"1912"},{"key":"2022121408225505400_ref15","volume-title":"Collected Works, 1","author":"Brouwer","year":"1975"},{"key":"2022121408225505400_ref16","volume-title":"Cambridge Lectures on Intuitionism","author":"Brouwer","year":"1981"},{"key":"2022121408225505400_ref17","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1070\/RM2004v059n02ABEH000717","article-title":"Kolmogorov and Brouwer on constructive implication and the Ex Falso rule","volume":"59","author":"van Dalen","year":"2004","journal-title":"Russian Math Surveys"},{"key":"2022121408225505400_ref18","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1093\/logcom\/exp041","article-title":"Arithmetical completeness of the intuitionistic logic of proofs","volume":"21","author":"Dashkov","year":"2009","journal-title":"Journal of Logic and Computation"},{"key":"2022121408225505400_ref19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00260740","article-title":"The first axiomatization of relevant logic","volume":"21","author":"Do\u0161en","year":"1992","journal-title":"Journal of Philosophical Logic"},{"key":"2022121408225505400_ref20","first-page":"97","article-title":"The philosophical basis of intuitionistic logic. 1975","volume-title":"Philosophy of Mathematics: Selected Readings","author":"Dummett","year":"1964"},{"key":"2022121408225505400_ref21","first-page":"11","article-title":"Lecture Notes in Computer Science","volume-title":"The Relevance of Relevance to Relevance Logic","author":"Dunn","year":"2015"},{"key":"2022121408225505400_ref22","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","article-title":"Truth-maker semantics for intuitionistic logic","volume":"43","author":"Fine","year":"2014","journal-title":"Journal of Philosophical Logic"},{"key":"2022121408225505400_ref23","volume-title":"Intuitionistic Logic Model Theory and Forcing","author":"Fitting","year":"1969"},{"key":"2022121408225505400_ref24","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/2271439","article-title":"An embedding of classical logic in S4","volume":"35","author":"Fitting","year":"1970","journal-title":"The Journal of Symbolic Logic"},{"key":"2022121408225505400_ref25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2022121408225505400_ref26","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-94-007-0714-6_4","article-title":"The realization theorem for S5: a simple, constructive proof","volume-title":"Games, Norms and Reasons: Logic at the Crossroads","author":"Fitting","year":"2011"},{"key":"2022121408225505400_ref27","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1007\/s11225-017-9714-3","article-title":"Paraconsistent logic, evidence, and justification","volume":"105","author":"Fitting","year":"2017","journal-title":"Studia Logica"},{"key":"2022121408225505400_ref28","article-title":"Personal Communication Regarding Origin of $\\square \\lozenge $-translation","author":"Fitting"},{"key":"2022121408225505400_ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"2022121408225505400_ref30","volume-title":"Eine Interpretation des Intuitionistischen Aussagenkalk\u00fcls","author":"G\u00f6del","year":"1933"},{"key":"2022121408225505400_ref31","volume-title":"Collected Works, Vol. I","author":"G\u00f6del","year":"1986"},{"key":"2022121408225505400_ref32","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1093\/analys\/ant043","article-title":"Recent work in relevant logic","author":"Jago","year":"2013","journal-title":"Analysis"},{"key":"2022121408225505400_ref33","volume-title":"The Development of Logic","author":"Kneale","year":"1962"},{"key":"2022121408225505400_ref34","first-page":"40","article-title":"On the tertium non datur principle","volume-title":"Selected Works of A.N. Kolmogorov: Volume I, Mathematics and Mechanics","author":"Kolmogorov","year":"1991"},{"key":"2022121408225505400_ref35","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/BF01186549","article-title":"Zur Deutung der intuitionistischen logik","volume":"35","author":"Kolmogorov","year":"1932","journal-title":"Math Z"},{"key":"2022121408225505400_ref36","doi-asserted-by":"crossref","DOI":"10.4159\/9780674040335","volume-title":"The Great Chain of Being","author":"Lovejoy","year":"1963"},{"key":"2022121408225505400_ref37","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00763646","article-title":"Why we need a relevant theory of conditionals","volume":"13","author":"Mares","year":"1994","journal-title":"Topoi"},{"key":"2022121408225505400_ref38","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF00413865","article-title":"Relevant logic and the theory of information","volume":"109","author":"Mares","year":"1997","journal-title":"Synthese"},{"key":"2022121408225505400_ref39","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-29300-4_7","article-title":"Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic","volume-title":"J. Michael Dunn on Information Based Logics","author":"Mares","year":"2016"},{"key":"2022121408225505400_ref40","doi-asserted-by":"crossref","DOI":"10.1002\/9780470996751.ch39","article-title":"Relevance Logic","volume-title":"The Stanford Encyclopedia of Philosophy (Winter 2020 Edition)","author":"Mares"},{"key":"2022121408225505400_ref41","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","volume":"45","author":"McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"key":"2022121408225505400_ref42","article-title":"Note on some explicit modal logics","volume-title":"Technical Report PP-2006-29","author":"Pacuit","year":"2006"},{"key":"2022121408225505400_ref43","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/978-94-009-1005-8_7","article-title":"Analytic implication; its history, justification and varieties","volume-title":"Directions in Relevant Logic","author":"Parry","year":"1989"},{"key":"2022121408225505400_ref44","doi-asserted-by":"crossref","DOI":"10.1017\/9781108674485","volume-title":"Mathematical Intuitionism","author":"Posy","year":"2020"},{"key":"2022121408225505400_ref45","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","author":"Priest","year":"2008","journal-title":"An Introduction to Non-Classical Logic: From If to Is"},{"key":"2022121408225505400_ref46","first-page":"463","article-title":"Information flow and relevant logics","volume-title":"Logic, Language and Computation (Volume 1)","author":"Restall","year":"1996"},{"key":"2022121408225505400_ref47","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/11753728_32","article-title":"Evidence reconstruction of epistemic modal logic S5","volume-title":"Computer Science\u2014Theory and Applications. CSR 2006","author":"Rubtsova","year":"2006"},{"key":"2022121408225505400_ref48","volume-title":"Set Theory and the Continuum Problem","author":"Smullyan","year":"2010"},{"key":"2022121408225505400_ref49","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","article-title":"Semantics for relevant logics","volume":"37","author":"Urquhart","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"2022121408225505400_ref50","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","article-title":"Facts and tautological entailments","volume":"66","author":"Van Fraassen","year":"1969","journal-title":"Journal of Philosophy"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/8\/1796\/47846263\/exac076.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/8\/1796\/47846263\/exac076.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T11:43:45Z","timestamp":1671018225000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/8\/1796\/6794240"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,2]]},"references-count":50,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2022,11,2]]},"published-print":{"date-parts":[[2022,12,9]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac076","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,12]]},"published":{"date-parts":[[2022,11,2]]}}}