A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
The Australasian Journal of Logic
We assess Meyer's formalization of arithmetic in his , 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 . 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 . We then consider our previous development of Peano arithmetic includingdoi:10.26686/ajl.v18i5.6920 fatcat:lsuzih6pdvgn7exiq4tujpg67u