In diesem Strang will ich mich mit Interessierten über ein paar Begriffe unterhalten, die nach meiner Auffassung grundlegend für die Logik sind:
- Wahrheit
- Existenz
- Möglichkeit
Die Aussagenlogik kreist um die Implikationen des Wahrheitsbegriffs, die Prädikatenlogik um den der Existenz, die Modallogik um die Möglichkeit. Obwohl die Begriffe selbst einigermaßen verworren sind und sich wohl bei keinem davon zwei Philosophen auf eine Definition werden einigen können, sind die daraus entwickelten logischen Kalküle erstaunlich präzise.
Worüber ich gerne diskutieren würde, ist die Abgrenzung eines philosophischen Zugangs zur Logik vom inhaltsleeren mathematischen Formalismus. Trotzdem ist die symbolische Logik natürlich ein wunderbares Instrument. Interessant ist in diesem Zusammenhang vielleicht auch, dass sich sehr unterschiedliche Kalküle konstruieren lassen, die ein ganz unterschiedliches Verständnis von Logik zum Ausdruck bringen.
Wohin sich die Diskussion bewegen kann, lasse ich offen. Ob hier mehr die Formeln und ihre Interpretationen im Fokus stehen oder die Frage, was denn Wahrheit, Existenz und Möglichkeit überhaupt sei, und inwiefern diese Begriffe für die erwähnten Logik-Zweige relevant sind, wird sich zeigen.