Seite parallel anzeigen
Du befindest dich hier: Logik Einführung
Abschließende Betrachtung von Logiken
(Logik Einführung Kapitel 8)
Grundsätzlich besteht eine Logik aus einer
Für verschiedene Problemstellung lassen sich verschiedene Logiken aufbauen.
In diesem Kapitel wollen wir einige wichtige Konzepte und Fragestellungen zur Klassifizierung anführen,
bemerken, dass ein und dieselbe Logik durch unterschiedliche Kalküle definiert werden kann,
und Fragen zu Einsatzmöglichkeiten von Logiken stellen.
- Syntax (meist im Rahmen eines Kalküls definiert), durch die die formale Sprache definiert wird
- und einer dazugehörigen Semantik, die den abstrakten Zeichenfolgen wiederum Bedeutung zuweist.
Für verschiedene Problemstellung lassen sich verschiedene Logiken aufbauen.
In diesem Kapitel wollen wir einige wichtige Konzepte und Fragestellungen zur Klassifizierung anführen,
bemerken, dass ein und dieselbe Logik durch unterschiedliche Kalküle definiert werden kann,
und Fragen zu Einsatzmöglichkeiten von Logiken stellen.
- zurück zu Semantische Gültigkeit & logischer Beweis
- zum Seitenanfang
- weiter zu
