Gottlob Frege hat in seiner berühmten ``Begriffsschrift'' aus dem Jahre 1879 [Fre79] in einer Analyse der natürlichen Sprache eine formale Sprache entwickelt, die, abgesehen von syntaktischen Details, mit der Sprache der Prädikatenlogik (nicht notwendig erster Ordnung) übereinstimmt, von der in diesem Abschnitt die Rede sein wird. Wir werden natürlich keine Einführung in diese Logik geben, worauf wir bereits in der Einleitung hingewiesen haben, sondern nur an einige wichtige Begriffe daraus erinnern.