Logik für WiWis

Formale Logik sollte eigentlich ein propädeutisches Grundfach in jedem Studiengang sein. Ist aber leider nicht so, was ja zumindest in den Wirtschaftswissenschaften ein bisschen durch die Mathematik ausgeglichen wird. Die Logik ist aber auch eine Grundlage für Mathematik, wer sich also etwas in Logik auskennt, nicht nur intuitiv, dem wird es leichter fallen, Beweise zu führen.

Das Fach Logik müssen zumindest alle Philosophie-Studenten belegen. Als ich noch Philosophie (offiziell) studierte, musste ich das natürlich auch. Es war eines der wenigen Klausurenfächer, die ich während meines Philosophie-Studiums angetroffen habe, und es war auch eines der Fächer, das die Studenten nervös machte, wie auch Mathematik. Es gab jede Menge zu lernen - die Klausur bestand ich mit Ach und Krach.

Im Skripteverzeichnis hier auf wiwiclub.de habe ich nun für alle, die sich für die Logik interessieren, mein Klausurenskript von damals eingestellt: Einführung in die Logik (übrigens gibt es für das Skripteverzeichnis auch einen Feed, sobald ein neues Skript veröffentlicht wird, erscheint es im Feedreader). Das kann natürlich nicht als eine echte Einführung dienen, bietet aber einen kurzen Überblick über relevante Themengebiete der Logik.

Wer sich dafür mehr interessiert, kann sich Literatur besorgen. Ich empfehle, mit antiker Logik zu beginnen (z. B. Aristoteles oder die Stoa), vielleicht auch die Logik im Mittelalter (Scholastiker) zu betrachten, wobei die sehr an Aristoteles orientiert sind, und dann erst in die moderne Logik (Frege, Wittgenstein etc.) einzusteigen. Die Logik der Antike ist sehr viel intuitiver und anschaulicher als die moderne, sehr abstrakte und mathematisierte Logik.

Die Vorlesung Mathematik I für Informatiker und Bioinformatiker, die als Videostream über die Uni Tübingen anzuschauen ist, behandelt in der ersten Stunde übrigens auch die formale Logik und gibt einen kleinen Einblick in die Themengebiete, wenn auch sehr abstrakt.

Und hier noch eine kleine Aufgabe für Euch :

Gegeben sei eine Aussage (1), von der wir annehmen, dass sie wahr ist:

(1) Wenn es regnet, wird die Straße nass.

Frage: Können wir daraus folgenden Satz  (2) schließen? Wenn ja warum, wenn nein, warum nicht?

(2) Die Straße ist nass, also regnet es.