Erkenntnis

, Volume 53, Issue 1, pp 27–61

On The Logic Of Reducibility: Axioms And Examples

Authors

  • Karl-Georg Niebergall
    • Institut für Philosophie Logik & WissenschaftstheorieLudwig-Maximilians Universität
Article

DOI: 10.1023/A:1005692729370

Cite this article as:
Niebergall, K. Erkenntnis (2000) 53: 27. doi:10.1023/A:1005692729370

Abstract

This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.

Copyright information

© Kluwer Academic Publishers 2000