Aussagenlogik in der formalen Semantik: Basisbegriffe der Linguistik

Die formale Semantik beschäftigt sich innerhalb der Semantik mit der exakten Bedeutung von Termen. Und dafür macht sie Gebrauch von rein formalen, logisch-mathematischen Methoden mit Hilfe der Logik. Die Logik beschreibt, wie die Wahrheit einer komplexen Aussage von der Wahrheit der Einzelaussagen abhängt. Mithilfe der Aussagenlogik kann man z.B.: ungültige Argumentationen aufzudecken. Ziel der Aussagenlogik ist es, die Schlüssigkeit eines Arguments zu begründen, wobei ein Argument, oder auch Schlussfolgerung genannt, aus einer Folge von Aussagesätzen besteht, die Propositionen genannt werden. Quelle: Lehmann, C. (2013, September 11). Christian Lehmann. Abgerufen 8. Februar 2020, von https://www.christianlehmann.eu/ling/logic/