Während sich die grammatische Beschreibung der natürlichen Sprache in Alltag und Forschung etabliert hat, werden inhaltsseitige - semantische - Beschreibungen oft beargwöhnt, da sie nur schlecht verifizierbar sind. Diesem Defizit kann der Computer als 'unvoreingenommener' Diskurspartner abhelfen, da die Kommunikation mittels natürlichsprachlicher Benutzerschnittstellen zwangsläufig Auskunft gibt über 'Sprachkompetenzen' der Maschine. Nicht nur aus dem Blickwinkel der KI-Forschung gebührt daher der maschinellen Analyse natürlicher Sprache ein großes theoretisches und praktisches Interesse. Ausgehend von einschlägiger sprachwissenschaftlicher Literatur, werden in diesem Buch Elemente des argumentierenden Sprachgebrauchs linguistisch charakterisiert und mit den Ausdrucksmöglichkeiten der formalen Logik verglichen. Durch einen Standardisierungsvorschlag für natürlichsprachliche Schlußprozesse (das 'operationale Konditional') werden die Voraussetzungen geschaffen, Information in sprachli...