formal (Logik)

Bezeichnung für Überlegungen, die, unabhängig von Kenntnissen über die behandelten Gegenstände, nur mit sprachlichen Konventionen und Definitionen argumentieren. In der Logik wird von formalwahren Aussagen gesprochen (Tautologie); das sind solche, die aufgrund ihres Aufbaus (d. h. ihrer logischen Verknüpfungen) wahr sind, gleichgültig, welche Wahrheitswerte die sie konstituierenden Aussagen haben.