L ọ gikkalkül
eine Formalisierung (Kalkülisierung) der Logik durch Zeichensymbole und Operationsregeln, um mit diesen nach dem Vorbild der Arithmetik zu „rechnen“ ( Formalismus , Kalkül ). Im Einzelnen unterscheidet man den Aussagenkalkül , den Prädikaten- und den Klassenkalkül.