Skip to main content

Article 188 - Induktive Logik

Canon 2626
Induktive Logik, auch bekannt als induktives Denken, ist eine formale Methode zur Erzielung einer Schlussfolgerung durch bivalente lineare Logik durch die Ableitung allgemeiner Prinzipien aus bestimmten Fällen oder Vorwissen.
Canon 2627
Während die deduktive Logik versucht, die Gültigkeit in Bezug auf Absolutheiten zu begründen, weist die induktive Logik darauf hin, dass ein logisches Argument eine Schlussfolgerung bis zu einem gewissen Grad (induktive Wahrscheinlichkeit) ohne absolute Gewissheit stützt. Daher ermöglicht die induktive Logik die Berücksichtigung bestimmter Unsicherheiten der realen Welt, die sich in höheren Formen der Logik innerhalb des untergeordneten Rahmens der bivalenten linearen Logik widerspiegeln.
Canon 2628
Die induktive Logik basiert auf zwei (2) Schlüsselkonzepten: den Gesetzen der Wahrscheinlichkeit und der Gewissheit. Daher ist die stärkste Form der Schlussfolgerung durch induktive Logik, wenn man über „begründeten Zweifel" hinaus sicher ist, dass eine Schlussfolgerung wahrscheinlich wahr ist.
Canon 2629
Da die induktive Logik dem System der bivalenten linearen Logik, das für alle unter dem positiven Gesetz gebildeten geringeren Gesetze verwendet wird, eine gewisse Relevanz für die Unsicherheit der realen Welt verleiht, ist sie die bevorzugte Form der bivalenten linearen Logik zur Lösung schwerwiegender Probleme im Zusammenhang mit solchen Gesetzen.