In der Dialektik der Kritk der reinen Vernunft entwickelt Kant eine Position, welche auf verschiedene Probleme anwendbar ist, bei denen die Vollständigkeit zu erfüllender Bedingungen wesentlicher Aspekt des Problems ist. Diese Position soll durch die hier angestellte Übertragung auf das systematische Problem der inferentiellen Rechtfertigung so klar wie möglich herausgearbeitet werden. Durch die Übertragung wird das Regressproblem und damit auch das Problem der Rechtfertigung in seiner gegenwärtigen Form aufgelöst.

In dem vorliegenden Aufsatz wird eine Herausforderung an die Philosophie diskutiert, die von verschiedenen Positionen, u. a. vom methodologischen Naturalismus, vorgetragen wird. Sie zielen allesamt darauf ab, das Ende des (herkömmlichen) Philosophierens, gleich welcher Richtung oder Schule, einzuläuten. Es wird versucht, diese Herausforderung zunächst begrifflich zu präzisieren, um ihr sodann auf diese Weise zu begegnen zu können. Wie sich zeigt, lassen sich die angestellten Überlegungen in Kants Überlegungen zum Begriff von Philosophie wiederfinden.

This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and (...) either its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)

Kolloquiumsbeiträge des XV. Deutschen Kongresses für Philosophie 1990 in Hamburg. Mit Beiträgen von Herbert Schnädelbach, Hilary Putnam, Karl-Otto Apel, Walter Ch. Zimmerli, Rudolf A. Makkreel, Wolfgang Bartuschat, Elke Hahn und Klaus Vieweg, Roland Simon-Schaefer, Ruedi Imbach, Georg Wieland, Jan Peter Beckmann, Pierre Aubenque, Annemarie Gethmann-Siefert, Gernot Böhme, Dietrich Böhler, Jürgen Habermas, Friedrich Kambartel, Oswald Schwemmer, Dieter Birnbacher, Karl-Friedrich Wessel, Friedrich Rapp, Otfried Höffe, Henning Ottmann und Terry Pinkard.