een schematische rekenmanier met teekens, die de logische conclusies veraanschouwelijken en verscherpen zou. Het denkbeeld is van Leibniz en is nader uitgewerkt door E.
Schröder (1841—1902, hoogleeraar te Karlsruhe), de amerikaansche geleerden Jevons, S. Peirie, Boole, enz.