Wollen wir etwas ausdrücken, benötigen wir eine Sprache.
Diese muss selbstverständlich ausdrucksstark genug sein, um unser (teilweise unvollständiges) Wissen über die Welt ausdrücken zu können.
Natürliche Sprachen, so wie Deutsch oder Englisch, sind sicherlich ausdrucksstark, entwickelten sich jedoch aus einem Bedürfnis der Kommunikation und wurden als solches nicht zur Repräsentation eindeutiger Aussagen geschaffen.
Die Interpretation einer natürlichsprachigen Aussage ist oft mehrdeutig oder von implizitem Wissen abhängig.
Beispiel – Mehrdeutigkeit natürlicher Sprache
- Angenommen jemand sagt „Nasse Strassen und Dächer …“ – meint er, dass sowohl Straßen, als auch Dächer nass sind?
- Der Ausspruch „Schau!“ wird nur aus dem Kontext verstanden.
Da wir uns für die eindeutige Repräsentation von Fakten in mechanischen Systemen und daraus resultierende mechanische Schlussfolgerungen interessieren, benötigen wir die Exaktheit einer formalen Sprache.
Bevor wir näher auf die Definition einer formalen Sprache eingehen,
- müssen wir uns zunächst mit dem, für den Nicht-Theoretiker im ersten Augenblick oft befremdlichen Konzept der Trennung von Form (Syntax) und Bedeutung (Semantik) beschäftigen,
- und definieren, was Atome und Junktoren sind.
Weiterlesen »Formale Sprachen Logik Einführung Kapitel 4