Arithmetic Formulated in a Logic of Meaning Containment

Ross Brady
2021 The Australasian Journal of Logic  
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
more » ... imitive recursive functions, finally extending this work to that of general recursion.
doi:10.26686/ajl.v18i5.6920 fatcat:lsuzih6pdvgn7exiq4tujpg67u