Logische Maschine

Bereis Lullus Lullus konstruierte eine logische Maschine. Sie bestand aus sieben um ein Zentrum drehbaren konzentrischen Scheiben. Auf jeder dieser Scheiben waren Wörter notiert, die verschiedene Begriffe (z. B. Mensch, Wissen, Wahrheit, Ruhm, Wohl und Quantität) und logische Operatoren (z. B. Unterschied, Übereinstimmung, Widerspruch und Gleichheit) bezeichneten.

Durch Drehen dieser Scheiben ergeben sich verschiedene Verknüpfungen von Begriffen, die Schlussformen syllogistischen Typs entsprechen.

Jevons entwickelte eine logische Maschine. Sie war einem Klavier ähnlich und hatte 21 Tasten. Auf den Tasten der linken Hälfte der logischen Maschine waren Buchstaben notiert, die das Subjekt eines Urteils symbolisieren, auf den Tasten der rechten Seite Buchstaben, die das Urteilsprädikat symbolisieren. Die Mitteltaste spielte die Rolle der Kopula im Urteil. Seitentasten dienten zum Arretieren der der Maschine, und Tasten mit Punkten bezeichneten disjunktive Verknüpfungen. Zur Lösung einer logischen Gleichung musste man die Tasten entsprechend den Symbolen der Ausgangsprämissen drücken. Sobald die Maschine alle Prämissen erhalten hatte, gab sie den sich ergebenden Schlusssatz der Ableitung aus.

Zu den logischen Maschinen gehören auch die syllogistischen Maschinen.