Open AccessArithmetic Formulated in a Logic of Meaning Containment
Author(s) -
Ross T. Brady
Publication year - 2021
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v18i5.6920
Subject(s) - peano axioms , arithmetic , recursion (computer science) , containment (computer programming) , meaning (existential) , mathematics , second order arithmetic , key (lock) , algebra over a field , computer science , discrete mathematics , algorithm , programming language , epistemology , pure mathematics , philosophy , computer security
We assess Meyer’s formalization of arithmetic in his [21], based on the strong relevant logic R and compare this with arithmetic based on a suitable logic of meaning containment, which was developed in Brady [7]. We argue in favour of the latter as it better captures the key logical concepts of meaning and truth in arithmetic. We also contrast the two approaches to classical recapture, again favouring our approach in [7]. We then consider our previous development of Peano arithmetic including primitive recursive functions, finally extending this work to that of general recursion.