Ausgewählte Beiträge
Kritik der formalen Logik, insbesondere mit Hilfe der drei Sprachebenen in der Logik
Es ist merkwürdig, dass die Logik und das logische Denken heute so wenig miteinander zu tun haben. In der modernen Literatur über Logik findet man fast immer die formale Logik, welche die echte Implikation (Schlussfolgerung) ziemlich unmotiviert durch die "materiale Implikation" ersetzen möchte. Für…
Nachweismethoden für deduktive Systeme und das Axiomensystem der Logik
Möglicherweise denken wir beim Stichwort „Beweis“ zunächst an den Nachweis der Wahrheit für einen bestimmten Lehrsatz der Mathematik. Dies aber wäre eine verengte Sichtweise. Es gibt nämlich sieben weitere Beweisziele: der Nachweis für die Unwahrheit einer Aussage, für…
Eine wichtige Unterscheidung in der Logik: die abstrakte Negation und konkrete Negationen
Ein bestimmter Vorschlag wird abgelehnt. Ein bestimmter Tatbestand ist nicht gegeben. Die Wahrheitsfrage bezogen auf eine bestimmte Behauptung wird negativ beantwortet. Die Negation einer Aussage brauchen wir, wenn wir einem bestimmten Irrtum respektive Lüge entgegentreten. Viele Signalwörter für die…
Logische Verknüpfungen: die Konjunktion und die Adjunktion, speziell die Superkonjunktion
Durch die Verknüpfung der Aussagen A, B und C mit Hilfe des Bindeworts „und“ entsteht eine neue Aussage. Diese nennt man „Konjunktion“. Für die Konjunktion schreibt man kurz: (A und B und C). Berichte sind Konjunktionen, wobei das Wort „und“ oft weggelassen beziehungsweise…