- alle logischen Theorien, die sich eines Kalküls, einer Kunstsprache bedienen, d.h. eines auf Symbolen ruhenden zumeist hermetischen Modells
- als Begründer gilt LEIBNIZ, fortgesetzt durch J.H. Lambert, G. PLOUCQUET und G. Boole;
- Leibniz entwarf das Ideal eines Kalküls, indem er jedem Gegenstand ein ZEICHEN zuordnete
- zusammengesetzte Gegenstände werden durch Zeichen vertreten, die aus Zeichen der Teile des Gegenstandes zusammengesetzt sind
- Verhältnisse zwischen den Zeichen sind nur statthaft, wenn zwischen den BEDEUTUNGen ein Folgeverhältnis besteht (Leibniz)