3. Der Kalkül BL$^{\vdash }$

Wir wollen das Rückschlußproblem hier für die sog. Reine Begriffslogik behandeln und legen dafür den Kalkül BL$^{\vdash }$ zugrunde⁵. Kurz gesagt handelt es sich dabei um eine Boolesche Algebra, deren Ausdrucks- und Beweismöglichkeiten zum Zwecke der Deutung gerade als Logik etwas erweitert worden sind; u.a. mit der Folge, daß in diesem Kalkül auch verneinte Beziehungen   $a \not\leq b$,   $a \not = b$   behandelt werden können.

Der Anschaulichkeit halber werden wir je nach Bedarf im Folgenden die v. Freytag Löringhoffsche und die Boole-Schrödersche Symbolik⁶, aber auch die Diagramme von Venn benutzen.