Formalismus (Logik)

In Logik und Mathematik bezeichnet man eine Theorie dann als Formalismus, wenn deren Sätze durch einen Kalkül (also insbesondere unter Absehen von allen Bedeutungen) aus Axiomen gewonnen werden. Beispiele hierfür sind die kalkülisierten Fassungen der Aussagen- und Prädikatenlogik (etwa das System der »Principia Mathematica« von B. Russell und A. N. Whitehead,