Logik

Mathematische Logik. Mathematische Logik. Die mathematische Logik (ältere Bezeichnung: Logistik) 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 der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematischen Logik, welche nicht mit Grundlagenfragen verbunden sind. Früher wurde die mathematische Logik auch symbolische Logik (als Gegensatz zur philosophischen Logik) oder Metamathematik genannt. Der erste Ausdruck wird immer noch verwendet (z. Logik. Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?).

Die beiden Hunde veritas und falsitas jagen den Hasen problema, die Logik eilt mit dem Schwert syllogismus bewaffnet hinterher. Links unten Parmenides, mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle. Unterschiedliche Bedeutungen des Begriffs „Logik“[Bearbeiten] Der Ausdruck „Logik“, im Griechischen logiké technē, steht sowohl in der älteren Stoa wie im älteren Peripatos für eine Lehre vom Argumentieren bzw. Schließen, ist in dieser Bedeutung jedoch nicht vor dem 1. Philosophie.