Логические счеты - Logical abacus
Логическая Abacus представляет собой механический цифровой компьютер .
Также называемые «логической машиной», логические счеты аналогичны обычным (математическим) счетам . Он основан на принципе таблиц истинности .
Он построен так, чтобы показать все возможные комбинации набора логических терминов с их отрицаниями и, кроме того, то, каким образом на эти комбинации влияет добавление атрибутов или других ограничивающих слов, т. Е. Для механического упрощения решения логической проблемы. Все эти инструменты представляют собой более или менее сложные разработки «логической доски», на которой в вертикальных столбцах были записаны все комбинации символов или букв, которые можно было бы логически составить из определенного числа терминов. Их сравнивали с любыми заданными предпосылками, а несовместимые из них вычеркивали. На счетах каждая комбинация начертана на листе дерева или подобном материале, который перемещается с помощью ключа; Таким образом, несовместимые комбинации могут быть механически удалены по желанию в соответствии с любой данной серией помещений.
Основными примерами таких машин являются машины Уильяма Стэнли Джевонса ( логическое фортепиано ), Джона Венна и Аллана Маркванда .
Ссылки
- Чисхолм, Хью, изд. (1911). Британская энциклопедия (11-е изд.). Издательство Кембриджского университета. .
- Уильям Стэнли Джевонс, Element. Уроки логики , c. xxiii.
- Аллан Маркуанд, Американская академия искусств и наук , 1885, стр. 303–7.
- Аллан Маркуанд, Исследования логики Университета Джона Хопкинса , 1883 г.).
- Барретт, Линдси; Коннелл, Мэтью (2005), «Джевонс и логическое 'фортепиано ' » , Rutherford Journal , 1.
- Уильям Стэнли Джевонс (1869). Подмена подобия, истинный принцип рассуждения, полученный из модификации изречения Аристотеля . Лондон: Макмиллан. - На стр. 55f Джевонс дает описание своих логических счётов.
Эта статья включает текст из публикации, которая сейчас находится в открытом доступе : Chisholm, Hugh, ed. (1911). « Абак ». Encyclopdia Britannica . 1 (11-е изд.). Издательство Кембриджского университета. С. 5–6.