Dieses Kapitel behandelt die Prädikatenlogik, die Aussagen in Individuen und Prädikate zerlegt und so Eigenschaften und Relationen darstellt. Ihre Sprache umfasst Konstanten, Variablen und Funktionen, aus denen mit Junktoren und Quantoren („Alle“, „Einige“) komplexe Aussagen gebildet werden. Semantik wird über Modelle erklärt. Ein Anwendungsfeld ist die Formalisierung semantischer Netze, die in der kognitiven Modellierung zur Wissensrepräsentation und zur Simulation von Gedächtnisprozessen dienen.