Демонстратор Стэнхоупа
Демонстратор Стэнхоупа был первой машиной, решавшей логические задачи. [1] Он был разработан Чарльзом Стэнхоупом, 3-м графом Стэнхоупом, для символической демонстрации логических следствий.
Первая модель была построена в 1775 году. Она состояла из двух слайдов красного и серого цвета, установленных в квадратной латунной рамке. Это можно было использовать для демонстрации решения силлогистической задачи , в которой объекты могли иметь два разных свойства, и вопрос заключался в том, сколько из них имели бы оба свойства. Шкалы, промаркированные от нуля до десяти, использовались для установки количества или пропорций объектов с двумя свойствами. [2] [3] [4] Эта форма вывода предвосхитила численно определенный силлогизм , который Август де Морган изложил в своей книге «Формальная логика » в 1847 году. [5]
Строительство
Устройство представляло собой латунную пластину размером около четырех квадратных дюймов , которая была установлена на куске красного дерева толщиной три четверти дюйма. В дереве имелось отверстие с углублением размером около полутора квадратных дюймов и глубиной в полдюйма. Это отверстие называлось холоном , что означает «целый», и представляло собой полный набор рассматриваемых объектов. [3]
Слайд из красного полупрозрачного стекла можно было вставить справа через холон. Слайд из серого дерева можно было вставить под красный слайд. Когда устройство использовалось для «Правила логики определенности», серый слайдер вставлялся слева. Когда оно использовалось для «Правила логики вероятности», серый слайдер вставлялся сверху. Красный и серый слайдеры представляли два утвердительных предложения, которые объединялись. Стэнхоуп назвал их ho и los . [3]
Было построено по крайней мере четыре устройства с этим квадратным стилем. [3] В 1879 году Роберт Харли написал, что у него есть одно, которое ему подарил правнук Стэнхоупа, Артур , который сохранил одно. [3] [6] Два других принадлежали Генри Превосту Бэббиджу — сыну Чарльза Бэббиджа , который продолжил его работу над аналитической машиной . [3] Одно из устройств было подарено Музею науки в Лондоне последним графом в 1953 году. [7] Были построены и другие стили, такие как круглые модели, но они были менее удобны. [3] [8]
Смотрите также
Ссылки
- ^ Мартин Гарднер (март 1952 г.). «Логические машины» . Scientific American . 186 (3): 68– 69. Bibcode : 1952SciAm.186c..68G. doi : 10.1038/scientificamerican0352-68. JSTOR 24950629. Архивировано из оригинала 23 марта 2023 г. Получено 20 февраля 2023 г. ...
первая настоящая логическая машина, Stanhope Demonstrator
- ↑ FM Beatty (март 1955 г.). «Научная работа третьего графа Стэнхоупа» . Заметки и записи Лондонского королевского общества . 11 (2): 206– 208. doi :10.1098/rsnr.1955.0008. JSTOR 530960. S2CID 144051656. Архивировано из оригинала 15 февраля 2023 г. Получено 14 февраля 2023 г.
- ^ abcdefg Роберт Харли (апрель 1879). «The Stanhope Demonstrator» . Mind . 4 (14). Oxford University Press: 192– 210. doi :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
- ^ "Некрологи умерших членов общества". Труды Лондонского королевского общества. Серия A. 91 ( 623): i– v. Ноябрь 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
