Extending Metacompleteness to Systems with Classical Formulae

  • Ross T. Brady Philosophy Program, La Trobe University

Abstract

In honour of Bob Meyer, the paper extends the use of his concept of metacompleteness to include various classical systems, as much as we are able. To do this for the classical sentential calculus, we add extra axioms so as to treat the variables like constants. Further, we use a one-sorted and a two-sorted approach to add classical sentential constants to the logic DJ of my book, Universal Logic. It is appropriate to use rejection to represent classicality in the one-sorted case. We then extend these methods to the quantified logics, but we use a finite domain of individual constants to do this.

Author Biography

Ross T. Brady, Philosophy Program, La Trobe University
Published
2010-09-22
How to Cite
BRADY, Ross T.. Extending Metacompleteness to Systems with Classical Formulae. The Australasian Journal of Logic, [S.l.], v. 8, sep. 2010. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1811>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v8i0.1811.