Новосибирский государственный университетФакультет информационных технологий |
А.М.Федотов |
Стэнхоуп работал над своими логическими машинами около 30 лет, создав несколько версий. Самыми удачными логическими устройствами, так называемые демонстранты оказались два круговой и прямоугольный демонстраторы, которые могут делать правильные выводы из логических утверждений..
Демонстратор Стэнхоупа представляет собой устройство в состоянии механически решать как традиционные силлогизмы и численные силлогизмы, так и элементарные проблемы теории вероятности. На фотографии изображен круговой демонстратор, созданный в конце XVIII века.
Квадратный демонстратор, как и круглый, можно применять для решения силлогизмов с числовыми квантификаторами (Стенхоуп снова указывает: “Добавь ho к los и отними holos”). Таким образом, демонстратор успешно решает силлогизмы и при использовании квантификаторов “более половины”, “менее половины”, “все”, “некоторые”, и при числовом квантифицировании терминов.
Дополнительная:
Факультативная:
Ключевые термины (головные): логическая машина;
Федотов Анатолий Михайлович |
НГУ ФИТ НГУ ИВТ СО РАН |