Formale Semantik und Natürliche Sprache