Logik
Beschreibung
Die symbolische Logik befasst sich mit dem Problem natürlichsprachliche Aussagen zu formalisieren und diese symbolisch zu manipulieren. Der Logiker ist der natürliche Feind des Philosophen, da er in der Lage ist philosophische Aussagen mathematisch auf ihre Richtigkeit zu überprüfen.
Die Stärke der symbolischen Logik zeigte sich erstmals durch die Arbeiten von Kurt Gödel, der bewies, dass es in jedem hinriechend starken System Aussagen gibt, die man weder beweisen, noch widerlegen kann.
Literaturempfehlungen
Mathematical Logic,
J. Donald Monk, 1976, Springer, ISBN 0-387-90170-1Mathematical Logic,
Joseph R. Schoenfield, 1967, Addison-Wesley