Special Issue of the AJL on Robert K. Meyer's Relevant Arithmetic

[Thomas Ferguson]

Hello FOM!

I'd like to announce that the Australasian Journal of Logic (https://ojs.victoria.ac.nz/ajl) has published a special issue on Robert K. Meyer's work on the relevant arithmetic R#, i.e., Peano arithmetic formulated against the relevant logic R.

The special issue notably includes edited and typeset presentations of Meyer's 1975 unpublished monographs on the topic, in which Meyer laid out a challenging and philosophically clear account of arithmetic considered according to the principles of relevant logic. The two monographs are joined by an annotated bibliography of Meyer’s published work on R#, several reprinted papers/technical reports providing important context, and a number of original research papers on the impact and legacy of Meyer's project.

Although Harvey Friedman's 1992 result showing that classical Peano arithmetic is not contained in R# was a setback for Meyer's vision for R#, the monographs include an abundance of philosophical remarks and technical results that remain interesting and—in my estimation—largely underappreciated.

The AJL is open access and all articles in the special issue can be freely accessed at the following link: https://ojs.victoria.ac.nz/ajl/issue/view/751

Best,

Thomas M. Ferguson
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210725/68701a20/attachment-0001.html>