Liczydło logiczne
Liczydło logiczne to mechaniczny komputer cyfrowy .
Nazywany również „maszyną logiczną”, liczydło logiczne jest analogiczne do zwykłego (matematycznego) liczydła . Opiera się na zasadzie tablic prawdy .
Jest skonstruowany tak, aby pokazać wszystkie możliwe kombinacje zestawu terminów logicznych wraz z ich przeczeniami, a ponadto sposób, w jaki na te kombinacje wpływa dodanie atrybutów lub innych słów ograniczających, tj. mechaniczne uproszczenie rozwiązania logicznego problemy. Wszystkie te instrumenty są mniej lub bardziej rozbudowanymi rozwinięciami „tablicy logicznej”, na której zapisane są w pionowych kolumnach wszystkie kombinacje symboli lub liter, które można logicznie ułożyć z określonej liczby terminów. Porównywano je z dowolnymi przesłankami, a te, które były niezgodne, skreślano. W liczydle kombinacje są wypisane na pojedynczym kawałku drewna lub podobnej substancji, który jest poruszany kluczem; niekompatybilne kombinacje można zatem dowolnie usuwać mechanicznie, zgodnie z dowolną serią przesłanek.
Głównymi przykładami takich maszyn są William Stanley Jevons ( fortepian logiczny ), John Venn i Allan Marquand .
- Jevonsa, Williama Stanleya (1869). Zastępowanie podobieństw, prawdziwa zasada rozumowania, wywodzi się z modyfikacji dictum Arystotelesa . Londyn : MacMillan – przez archiwum internetowe . — Na s. 55 i nast. Jevons podaje opis swojego liczydła logicznego.
Ten artykuł zawiera tekst z publikacji znajdującej się obecnie w domenie publicznej : Chisholm, Hugh, wyd. (1911). „ Abakus ”. Encyklopedia Britannica . Tom. 1 (wyd. 11). Wydawnictwo Uniwersytetu Cambridge. s. 5–6.
