Diferencia entre revisiones de «Curso de alemán para principiantes con audio/Lección 090»
Contenido eliminado Contenido añadido
Línea 120:
:Unter '''Logik''' (von altgriechisch „denkende Kunst“) versteht man die Lehre des vernünftigen Schlussfolgerns. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik und der theoretischen Informatik, behandelt wird.
:---
:Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für ''Der Apfel'' und f für ''ist rot'' steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (Dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
4158
| |||