{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T23:40:02Z","timestamp":1723592402190},"reference-count":34,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T00:00:00Z","timestamp":1600992000000},"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":[[2020,12,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we investigate epistemic predicates in extensions of arithmetic. We use as our case study Kurt G\u00f6del\u2019s 1951 thesis that either the power of the human mind surpasses that of any finite machine or there are absolutely unsolvable problems. Because G\u00f6del also claimed that his disjunction was a mathematically established fact, we must ask the following: what sort of syntactical object should formalize human reason? In this paper, we lay the foundations for a predicate treatment of this epistemic feature. We begin with a very general examination of the G\u00f6del sentence in the arithmetical context. We then discuss two systems of modal predicates over arithmetic. The first, called coreflective arithmetic or ${\\textsf{CoPA}}$, extends ${\\textsf{PA}}$ with a coreflective modal predicate but does not contain a consistency statement. The second, called doxastic arithmetic or ${\\textsf{DA}}$, has as its characteristic feature the consistency statement but does not contain coreflection or its instance, the ${\\textsf{4}}$ axiom. We examine the logical properties of, motivations for and criticisms of both systems. We close with a brief comparison of the systems in the context of G\u00f6del\u2019s disjunction.<\/jats:p>","DOI":"10.1093\/logcom\/exaa051","type":"journal-article","created":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T15:52:57Z","timestamp":1600271577000},"page":"1695-1709","source":"Crossref","is-referenced-by-count":1,"title":["Epistemic predicates in the arithmetical context"],"prefix":"10.1093","volume":"30","author":[{"given":"V Alexis","family":"Peluce","sequence":"first","affiliation":[{"name":"Department of Philosophy, Graduate Center, The City University of New York, 365 Fifth Avenue, New York, NY 10016, USA"}]}],"member":"286","published-online":{"date-parts":[[2020,9,25]]},"reference":[{"article-title":"The provability of consistency","year":"2019","author":"Artemov","key":"2020120307171912300_ref1"},{"key":"2020120307171912300_ref2","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"},{"volume-title":"The Logic of Provability","year":"1993","author":"Boolos","key":"2020120307171912300_ref3"},{"key":"2020120307171912300_ref4","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1093\/oso\/9780195072556.003.0014","article-title":"Introductory note to $^{\\ast }1951$","volume-title":"Kurt G\u00f6del: Collected Works, Volume III: Unpublished Essays and Lectures","author":"Boolos","year":"1995"},{"key":"2020120307171912300_ref5","first-page":"1","article-title":"Minds, machines, and mathematics: a review of shadows of the mind by Roger Penrose","volume":"2","author":"Chalmers","year":"1995","journal-title":"Psyche"},{"key":"2020120307171912300_ref6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","article-title":"Arithmetization of metamathematics in a general setting","volume":"49","author":"Feferman","year":"1960","journal-title":"Fundamenta Mathematica"},{"volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","year":"1962","author":"Hintikka","key":"2020120307171912300_ref7"},{"key":"2020120307171912300_ref8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00413543","article-title":"\u2018Knowing that one knows\u2019 reviewed","volume":"21","author":"Hintikka","year":"1970","journal-title":"Synthese"},{"key":"2020120307171912300_ref9","first-page":"304","article-title":"Some basic theorems on the foundations of mathematics and their implications","volume-title":"Kurt G\u00f6del: Collected Works, Volume III: Unpublished Essays and Lectures","author":"G\u00f6del","year":"1951"},{"volume-title":"Kurt G\u00f6del: Collected Works, Volume III: Unpublished Essays and Lectures","year":"1995","author":"G\u00f6del","key":"2020120307171912300_ref10"},{"key":"2020120307171912300_ref11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1023080715357","article-title":"Possible-worlds semantics for modal notions conceived as predicates","volume":"32","author":"Halbach","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"2020120307171912300_ref12","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198759591.001.0001","volume-title":"G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge","author":"Horsten","year":"2016"},{"key":"2020120307171912300_ref13","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1093\/acprof:oso\/9780198759591.003.0007","article-title":"G\u00f6del\u2019s disjunction","volume-title":"G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge","author":"Koellner","year":"2016"},{"key":"2020120307171912300_ref14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.5840\/jphil2018115721","article-title":"On the question of whether the mind can be mechanized, I: from G\u00f6del to Penrose","volume":"115","author":"Koellner","year":"2018","journal-title":"The Journal of Philosophy"},{"key":"2020120307171912300_ref15","doi-asserted-by":"crossref","first-page":"453","DOI":"10.5840\/jphil2018115926","article-title":"On the question of whether the mind can be mechanized, II: Penrose\u2019s new argument","volume":"115","author":"Koellner","year":"2018","journal-title":"The Journal of Philosophy"},{"key":"2020120307171912300_ref16","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1017\/S0031819100057983","article-title":"Minds, machines and G\u00f6del","volume":"36","author":"Lucas","year":"1961","journal-title":"Philosophy"},{"key":"2020120307171912300_ref17","first-page":"8","article-title":"The consistency of arithmetic","volume-title":"The Consistency of Arithmetic and Other Essays","author":"McCall","year":"2014"},{"key":"2020120307171912300_ref18","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability","volume":"16","author":"Montague","year":"1962","journal-title":"Acta Philosophica Fennica"},{"key":"2020120307171912300_ref19","first-page":"273","article-title":"From epistemic paradox to doxastic arithmetic","volume-title":"Logical Foundations of Computer Science. LFCS 2018","author":"Peluce","year":"2018"},{"key":"2020120307171912300_ref20","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emperor\u2019s New Mind: Concerning Computers, Minds and the Laws of Physics","author":"Penrose","year":"1989"},{"key":"2020120307171912300_ref21","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195106466.001.0001","volume-title":"Shadows of the Mind: A Search for the Missing Science of Consciousness","author":"Penrose","year":"1996"},{"key":"2020120307171912300_ref22","first-page":"1","article-title":"The ways of paradox","volume-title":"The Ways of Paradox and Other Essays","author":"Quine","year":"1966"},{"key":"2020120307171912300_ref23","first-page":"177","article-title":"The consistency of a variant of Church\u2019s thesis with an axiomatic theory of an epistemic notion","volume-title":"Revista Colombiana de Matem\u00e1ticas","author":"Reinhardt","year":"1985"},{"key":"2020120307171912300_ref24","first-page":"150","article-title":"Duino Elegies","volume-title":"The Selected Poetry of Rainer Maria Rilke","author":"Rilke","year":"1982"},{"key":"2020120307171912300_ref25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","article-title":"Epistemic and intuitionistic arithmetic","volume":"118","author":"Shapiro","year":"1985","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"2020120307171912300_ref26","doi-asserted-by":"crossref","first-page":"273","DOI":"10.2307\/421032","article-title":"Incompleteness, mechanism, and optimism","volume":"4","author":"Shapiro","year":"1998","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2020120307171912300_ref27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/acprof:oso\/9780198759591.003.0008","article-title":"Idealization, mechanism, and Knowability","volume-title":"G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge","author":"Shapiro","year":"2016"},{"key":"2020120307171912300_ref28","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1094061859","article-title":"A smart child of Peano\u2019s","volume":"35","author":"Shavrukov","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2020120307171912300_ref29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139149105","volume-title":"An Introduction to G\u00f6del\u2019s Theorems","author":"Smith","year":"2013"},{"key":"2020120307171912300_ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-22557-9","volume-title":"Toward Predicate Approaches to Modality","author":"Stern","year":"2016"},{"key":"2020120307171912300_ref31","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093635077","article-title":"Peano\u2019s smart children: a provability logical study of systems with built-in consistency","volume":"30","author":"Visser","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"volume-title":"A Logical Journey: From G\u00f6del to Philosophy","year":"1996","author":"Wang","key":"2020120307171912300_ref32"},{"article-title":"The paradoxes of rational agency and systems that verify their own soundness","year":"2013","author":"Weaver","key":"2020120307171912300_ref33"},{"article-title":"The semantic conception of proof","year":"2013","author":"Weaver","key":"2020120307171912300_ref34"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/8\/1695\/34673310\/exaa051.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/8\/1695\/34673310\/exaa051.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T22:36:27Z","timestamp":1723588587000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/8\/1695\/5911569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,25]]},"references-count":34,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2020,9,25]]},"published-print":{"date-parts":[[2020,12,10]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa051","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2020,12]]},"published":{"date-parts":[[2020,9,25]]}}}