Beweistheorie

Beweistheorie

Beweistheorie nennt man den Inbegriff der Grundsätze, die in Ansehung der Stellung des Gerichts zu einem im Prozeß geführten Beweis oder bezüglich der sogen. Beweiswürdigung gelten. Der Beweis (s. d.) soll bei dem Richter die Überzeugung von der Wahrheit gewisser Tatsachen begründen. Von einer wirklichen Überzeugung des Gerichts kann aber nur dann gesprochen werden, wenn es sich diese ganz frei bilden darf. Eine B., die dem Gerichte dies gestattet, nennen wir eine Theorie der freien Beweiswürdigung; sie wird auch eine materielle B. genannt. Das frühere Prozeßrecht hatte aus Besorgnis vor richterlicher Willkür dem Richter die freie Überzeugung durch sogen. Beweisregeln, d. h. aus der Logik und Erfahrung geschöpfte und mit bindender Kraft ausgestattete Sätze über die Zulässigkeit, die Form und den Wert einer Beweisführung, abgeschnitten. Diese B., die dem Richter vorschrieb, unter welchen Umständen er gewisse Tatsachen für wahr halten dürfe und wann nicht, nannte man formelle B. oder Theorie der gesetzlichen Beweisregeln. Sie mußte in zahlreichen Fällen zu unrichtigen Ergebnissen führen, weil die allgemeinen Regeln leicht im einzelnen Fall unzutreffend sein konnten. Daher stellt sowohl die Zivilprozeßordnung (§ 286) als die Strafprozeßordnung (§ 260) den Grundsatz der freien Beweiswürdigung auf. Immerhin sind einzelne gesetzliche Beweisregeln stehen geblieben (vgl. z. B. Zivilprozeßordnung, § 415–418, 445, 463; Strafprozeßordnung, § 61–63, 274). Die österreichische Zivilprozeßordnung geht (in § 272) ebenfalls von dem Grundsatze der freien Beweiswürdigung aus.


http://www.zeno.org/Meyers-1905. 1905–1909.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Beweistheorie — Beweistheorie,   Teilgebiet der Metamathematik, in dem Beweissysteme für formalisierte Theorien untersucht werden. Die Beweistheorie entstand zur Realisierung des Hilbert Programms. In ihr werden z. B. die Teilgebiete der Mathematik als… …   Universal-Lexikon

  • Beweistheorie — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… …   Deutsch Wikipedia

  • Beweisbarkeit — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… …   Deutsch Wikipedia

  • Mathematische Logik — Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen… …   Deutsch Wikipedia

  • Hilbert-Programm — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… …   Deutsch Wikipedia

  • Hilberts Programm — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… …   Deutsch Wikipedia

  • Hilberts zweites Problem — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… …   Deutsch Wikipedia

  • Kurt Schütte — (* 14. Oktober 1909 in Salzwedel; † 18. August 1998 in München) war ein deutscher Mathematiker und Hochschullehrer. Kurt Schütte Schütte studierte Mathematik, Physik, Chemie und Philosophie in Berlin und an der Universität Göttingen, wo er 1933… …   Deutsch Wikipedia

  • L.E.J. Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia

  • L. E. J. Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”