Formale Semantik und natürliche Sprache