Principia Metalogica
Aufgabe der Logik in der Mathematik.
Thomas Warzog
In diesem Essay ist die Logik im Fokus der Betrachtung. Da die Logik den Wahrheitsbegriff voraussetzt, wird dieser zu Beginn erörtert. Dabei ist mir bewusst, dass dieser schwierige, aber für das Leben eines jeden Menschen grundlegende Begriff im Rahmen dieses Essays nur näherungsweise und sicher unzulänglich beschrieben werden kann. Im Unterschied zu den in der Philosophie aufgestellten Wahrheitstheorien, wird in diesem Essay ein möglicher Bezug der Wahrheit zur Transzendenz nicht ausgeschlossen. Daher beginnt dieser Essay mit der Suche nach der Wahrheit in der Religion, wobei in diesem Essay primär auf die christliche Bibel Bezug genommen wird, welche von der Frage nach der Wahrheit hergesehen vermutlich auch für Anhänger anderer Religionsauffassungen nachvollziehbar sein dürfte. Anschließend wird dargestellt, wie die Philosophie verschiedene Versuche zur formalen Definition und Bestimmung des Wahrheitsbegriffs unternommen hat. Seit der Aufklärung wird keine Anstrengung in der Philosophie unternommen, der Wahrheit eine Heimat in transzendenten Gefilden der Wirklichkeit zu geben. Ebenso schwierig ist der Versuch, das Verhältnis des Rechtswesens zur Wahrheit zu ergründen. Anschließend wird auf die Verwendung des Wahrheitsbegriffs in der Mathematik und in den Naturwissenschaften eingegangen.
