Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

On the Logic of Reducibility: Axioms and Examples

Karl-Georg Niebergall
Erkenntnis (1975-)
Vol. 53, No. 1/2, Concepts of Reduction in Logic and Philosophy (2000), pp. 27-61
Published by: Springer
Stable URL: http://www.jstor.org/stable/20013005
Page Count: 35
  • Download ($43.95)
  • Cite this Item
On the Logic of Reducibility: Axioms and Examples
Preview not available

Abstract

This paper is an investigation into what could be a good explication of "theory S is reducible to theory T". I present an axiomatic approach to reducibility, which is developed metamathematically and used to evaluate most of the definitions of "reducible" found in the relevant literature. Among these, relative interpretability turns out to be most convincing as a general reducibility concept, proof-theoretical reducibility being its only serious competitor left. This relation is analyzed in some detail, both from the point of view of the reducibility axioms and of modal logic.

Page Thumbnails

  • Thumbnail: Page 
[27]
    [27]
  • Thumbnail: Page 
28
    28
  • Thumbnail: Page 
29
    29
  • Thumbnail: Page 
30
    30
  • Thumbnail: Page 
31
    31
  • Thumbnail: Page 
32
    32
  • Thumbnail: Page 
33
    33
  • Thumbnail: Page 
34
    34
  • Thumbnail: Page 
35
    35
  • Thumbnail: Page 
36
    36
  • Thumbnail: Page 
37
    37
  • Thumbnail: Page 
38
    38
  • Thumbnail: Page 
39
    39
  • Thumbnail: Page 
40
    40
  • Thumbnail: Page 
41
    41
  • Thumbnail: Page 
42
    42
  • Thumbnail: Page 
43
    43
  • Thumbnail: Page 
44
    44
  • Thumbnail: Page 
45
    45
  • Thumbnail: Page 
46
    46
  • Thumbnail: Page 
47
    47
  • Thumbnail: Page 
48
    48
  • Thumbnail: Page 
49
    49
  • Thumbnail: Page 
50
    50
  • Thumbnail: Page 
51
    51
  • Thumbnail: Page 
52
    52
  • Thumbnail: Page 
53
    53
  • Thumbnail: Page 
54
    54
  • Thumbnail: Page 
55
    55
  • Thumbnail: Page 
56
    56
  • Thumbnail: Page 
57
    57
  • Thumbnail: Page 
58
    58
  • Thumbnail: Page 
59
    59
  • Thumbnail: Page 
60
    60
  • Thumbnail: Page 
61
    61