1. Guest Editor's Note

   • Godehard Link

   OriginalPaper Pages: 1 - 2

2. The Interpretability Logic of all Reasonable Arithmetical Theories

   • Joost J. Joosten
   • Albert Visser

   OriginalPaper Pages: 3 - 26

3. On The Logic Of Reducibility: Axioms And Examples

   • Karl-Georg Niebergall

   OriginalPaper Pages: 27 - 61

4. Does Reductive Proof Theory Have A Viable Rationale?

   • Solomon Feferman

   OriginalPaper Pages: 63 - 96

5. Truth and Reduction

   • Volker Halbach

   OriginalPaper Pages: 97 - 126

6. Proof-Theoretic Reduction As A Philosopher's Tool

   • Thomas Hofweber

   OriginalPaper Pages: 127 - 146

7. On The Untenability Of Nelson's Predicativism

   • St. Iwan

   OriginalPaper Pages: 147 - 154

8. A Negationless Interpretation Of Intuitionistic Theories

   • Victor N. Krivtsov

   OriginalPaper Pages: 155 - 172

9. Reductionism as Resource-Conscious Reasoning

   • Godehard Link

   OriginalPaper Pages: 173 - 193

10. An Analysis Of Quine's ``Ontological Reduction And The World Of Numbers''

    • St. Iwan

    OriginalPaper Pages: 195 - 218

11. Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics

    • Edward N. Zalta

    OriginalPaper Pages: 219 - 265

12. A Reduction Of Doxastic Logic To Action Logic

    • Heinrich Wansing

    OriginalPaper Pages: 267 - 283