Стэнхоуп Демонстратор
Стэнхоуп -демонстратор был первой машиной, решавшей логические задачи. [1] Он был разработан Чарльзом Стэнхоупом, 3-м графом Стэнхоупом, чтобы символически продемонстрировать логические последствия.
Первая модель была построена в 1775 году. Она состояла из двух слайдов красного и серого цветов, закрепленных в квадратной латунной рамке. Это можно было использовать для демонстрации решения задачи силлогического типа, в которой объекты могли иметь два разных свойства, и вопрос заключался в том, сколько из них будет иметь оба свойства. Шкалы с отметкой от нуля до десяти использовались для установки количества или пропорций объектов с двумя свойствами. [2] [3] [4] Эта форма вывода предвосхитила численно определенный силлогизм, который Огастес Де Морган изложил в своей книге «Формальная логика » в 1847 году. [5]
Строительство
[ редактировать ]Устройство представляло собой латунную пластину площадью около четырех квадратных дюймов , прикрепленную к куску красного дерева толщиной три четверти дюйма. В дереве было отверстие с углублением примерно в полтора дюйма и глубиной в полдюйма. Это отверстие называлось холон , что означает «целое», и представляло собой полный набор рассматриваемых объектов. [3]
Слайд из красного полупрозрачного стекла можно было вставить справа через холон. Под красную горку можно было засунуть горку из серого дерева. Когда устройство использовалось для «Правила логикиУверенность», серый ползунок был вставлен слева. Когда он использовался для «Правила логики вероятности», серый ползунок был вставлен сверху. Красный и серый ползунки представляли два утвердительных суждения, которые объединялись. Стэнхоуп шлюхами их называл . [3]
Было построено как минимум четыре устройства такого квадратного типа. [3] В 1879 году Роберт Харли написал, что у него есть один, подаренный ему правнуком Стэнхоупа, Артуром , который сохранил его. [3] [6] Два других принадлежали генералу Бэббиджу — сыну Чарльза Бэббиджа , продолжившего работу над Аналитической машиной . [3] Одно из устройств было подарено Музею науки в Лондоне последним графом в 1953 году. [7] Были созданы и другие стили, такие как круглые модели, но они были менее удобными. [3] [8]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Мартин Гарднер (март 1952 г.). «Логические машины» . Научный американец . 186 (3): 68–69. Бибкод : 1952SciAm.186c..68G . doi : 10.1038/scientificamerican0352-68 . JSTOR 24950629 . Архивировано из оригинала 23 марта 2023 года . Проверено 20 февраля 2023 г.
...первая настоящая логическая машина, Stanhope Demonstrator
- ^ Ф. М. Битти (март 1955 г.). «Научная работа третьего графа Стэнхоупа» . Заметки и отчеты Лондонского королевского общества . 11 (2): 206–208. дои : 10.1098/rsnr.1955.0008 . JSTOR 530960 . S2CID 144051656 . Архивировано из оригинала 15 февраля 2023 года . Проверено 14 февраля 2023 г.
- ↑ Перейти обратно: Перейти обратно: а б с д и ж г Роберт Харли (апрель 1879 г.). «Демонстратор Стэнхоупа» . Разум . 4 (14). Издательство Оксфордского университета: 192–210. дои : 10.1093/mind/os-4.14.192 . JSTOR 2246667 . Архивировано из оригинала 16 февраля 2023 года . Проверено 14 февраля 2023 г.
- ^ Дэвид Леви (2005), Robots Unlimited , CRC Press, стр. 9–11, ISBN 9781439865637
- ^ Уильям Стэнли Джевонс (1877), Принципы науки , Macmillan, стр. ix–x.
- ^ «Некрологи умерших товарищей» . Труды Лондонского королевского общества. Серия А. 91 (623): и – т. Ноябрь 1914 г. doi : 10.1098/rspa.1914.0097 . S2CID 159875267 .
- ^ Демонстрант на площади Стэнхоуп, около 1805 года. , Музей науки , заархивировано из оригинала 17 февраля 2023 г. , получено 17 февраля 2023 г.
- ^ Джейн Весс (июль 1997 г.), «Демонстраторы логики 3-го графа Стэнхоупа (1753–1816)», Annals of Science , 54 (4): 375–395, doi : 10.1080/00033799700200291