Logik-Grundlagen: richtig schließen

Kurz: Logik untersucht, wann aus Aussagen etwas folgt. Ein Argument ist gültig, wenn die Schlussfolgerung zwingend aus den Prämissen folgt, und stichhaltig, wenn zusätzlich die Prämissen wahr sind.

Genauer: Klassisches Beispiel: Alle Menschen sind sterblich; Sokrates ist ein Mensch; also ist Sokrates sterblich.

Im Detail

• Deduktion: Zwingender Schluss vom Allgemeinen aufs Besondere.
• Induktion: Verallgemeinern aus Beobachtungen, wahrscheinlich, nicht sicher.
• Abduktion: Beste Erklärung für eine Beobachtung suchen.
• Aussagenlogik: Verknüpfungen mit UND, ODER, NICHT, WENN-DANN.
• Wahrheitstabellen: Prüfen, wann zusammengesetzte Aussagen wahr sind.
• Gültig ≠ wahr: Auch ein gültiger Schluss mit falschen Prämissen führt zu falschen Ergebnissen.
• Fehler vermeiden: Typische Denkfehler kennen (trugschluesse-erkennen).
• Anwendung: Programmierung, Mathematik, Diskussionen (was-ist-philosophie).