Logischer Abakus - Logical abacus
Ein logischer Abakus ist ein mechanischer digitaler Computer .
Der logische Abakus wird auch als "logische Maschine" bezeichnet und ist analog zum gewöhnlichen (mathematischen) Abakus . Es basiert auf dem Prinzip der Wahrheitstabellen .
Es ist so konstruiert, dass es alle möglichen Kombinationen eines Satzes logischer Terme mit ihren Negativen zeigt und ferner die Art und Weise, wie diese Kombinationen durch das Hinzufügen von Attributen oder anderen einschränkenden Wörtern beeinflusst werden, dh die Lösung von logischen Begriffen mechanisch zu vereinfachen Probleme. Diese Instrumente sind allesamt mehr oder weniger ausgefeilte Entwicklungen der "logischen Tafel", auf die in vertikalen Spalten alle Kombinationen von Symbolen oder Buchstaben geschrieben wurden, die logisch aus einer bestimmten Anzahl von Begriffen gebildet werden könnten. Diese wurden mit bestimmten Räumlichkeiten verglichen und inkompatible durchgestrichen. Im Abakus sind die Kombinationen jeweils auf einem einzelnen Stück Holz oder einer ähnlichen Substanz eingeschrieben, das mit einem Schlüssel bewegt wird. Inkompatible Kombinationen können somit nach Belieben gemäß einer bestimmten Reihe von Prämissen mechanisch entfernt werden.
Die Hauptbeispiele für solche Maschinen sind die von William Stanley Jevons ( Logikklavier ), John Venn und Allan Marquand .
Verweise
- Chisholm, Hugh, hrsg. (1911). Encyclopædia Britannica (11. Aufl.). Cambridge University Press. .
- William Stanley Jevons, Element. Lektionen in Logik , c. xxiii.
- Allan Marquand, Amerikanische Akademie der Künste und Wissenschaften , 1885, S. 303–7.
- Allan Marquand, Johns Hopkins University Studium der Logik , 1883).
- Barrett, Lindsay; Connell, Matthew (2005), "Jevons and the Logic 'Piano ' " , Rutherford Journal , 1.
- William Stanley Jevons (1869). Die Substitution von Ähnlichkeiten, das wahre Argumentationsprinzip, leitet sich aus einer Modifikation von Aristoteles 'Diktum ab . London: MacMillan. - Auf S.55f gibt Jevons eine Beschreibung seines logischen Abakus.
Dieser Artikel enthält Text aus einer Veröffentlichung, die jetzt gemeinfrei ist : Chisholm, Hugh, ed. (1911). " Abakus ". Encyclopædia Britannica . 1 (11. Aufl.). Cambridge University Press. S. 5–6.