Logische Form

Zwei Ausdrücke haben genau dann die gleiche logische Form, wenn der eine aus dem anderen durch Austausch (Substitution) seiner nicht-logischen Wörter durch andere nicht-logische Wörter zustande kommt.

Der Austausch eines nicht-logischen Wortes muss universell, d. h. immer möglich sein und mit Hilfe von Wörtern der gleichen logischen Kategorie geschehen, d. h. singulare Ausdrücke müssen durch andere singulare Ausdrücke ersetzt werden.

Die Lehre von der logischen Form wird bisweilen auch als Dianoilogik bezeichnet.