FehlerAntinomien - Prof. Dr. Horst Völz

Übergang zum Beweisen
Bereits auf der Grundlage der traditionellen Logik schuf ARISTOTELES die Syllogistik (griechisch Zusammenzählen).
Dieser deduktive Beweis gewinnt aus zwei Voraussetzungen (Prämissen) mittels einer Schlussfolgerung (Konklusion)
das Ergebnis, z. B.:
Wenn Sokrates (A) ein Mensch (B) ist Wenn A allen (einigen) B [nicht] zukommt
und alle Menschen (B) sterblich (C) sind, oder allgemein und B allen (einigen) C [nicht] zukommt,
dann ist Sokrates (A) sterblich (C). dann kommt A allen (einigen) C [nicht] zu.
Heute gibt es eine Vielzahl von Beweisen, zuweilen auch Begründungen genannt.
Neben dem obigen deduktiven den induktiven und indirekten sowie die vollständige Induktion und den Analogieschluss.
Dabei wird durch mehrfache Umformungen über die Gültigkeit von Aussagen, Thesen, Theorien usw. entschieden.
Auf weitere Details sei hier verzichtet (vgl. [8] S. 241 ff. und 260 ff.). Es wird noch später auf sie eingegangen.
Eine Abart des Beweises ist die Bewährung = schwacher Beweis durch die Praxis.
Das gilt z. B. dann, wenn eine Hypothese (Theorie) durch viele Einzelfälle bestätigt wird.
Auf Grundlage dieser Betrachtungen ist nun ein Übergang zu Fehlern möglich.
FehlerAntinomien.doc Horst Völz angelegt 27.5.123 aktuell 19.05.2013 Seite 45 von 71