Einführung in die nicht-sprachliche Logik

Kann ein nicht-sprachliches Zeichen aus einer Menge nicht-sprachlicher Zeichen folgen? Lassen sich Beweise führen, deren Schritte nicht-sprachliche Repräsentationen sind? Können nicht-sprachliche Logiksysteme entwickelt werden, die den Sicherheitsanforderungen genügen, welche üblicherweise an sprachliche Systeme gestellt werden? Und wenn ja: Sind sie ebenso gut geeignet, um logische Probleme zu lösen?