Logik
Logik
Logik ist die Wissenschaft des richtigen Denkens, Argumentierens und Schließens. Sie analysiert die Struktur von Aussagen, Schlussfolgerungen und Argumenten und untersucht die Bedingungen, unter denen diese gültig oder widersprüchlich sind. Zu den klassischen Teilbereichen gehören Aussagenlogik, Prädikatenlogik und Modallogik. Logik dient sowohl als eigenständige Disziplin als auch als methodische Grundlage für Mathematik, Informatik, Philosophie und Linguistik. Die Entwicklung formaler Logiksysteme hat die Basis für moderne Beweisverfahren, algorithmische Ansätze und künstliche Intelligenz gelegt.