АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Stanhope Demonstrator

Stanhope Demonstrator — первая машина для решения задач логики[1]. Она была разработана Чарльзом Стэнхоупом, 3-м графом Стэнхоупом, для наглядной демонстрации логических следствий в символическом виде.

Первая модель была создана в 1775 году. Она состояла из двух ползунков — красного и серого цвета — установленных в квадратной латунной рамке. Устройство позволяло демонстрировать решение задач силлогистического типа, в которых объектам могли приписываться два различных свойства, а целью было определить, сколько объектов обладают обоими свойствами. Для задания количества или доли объектов с данным свойством использовались шкалы с делениями от нуля до десяти.[2] Такой подход к выводу предвосхитил численно определённые силлогизмы, которые Август Де Морган описал в своей книге «Formal Logic» в 1847 году.[3]

История создания

Предпосылками к появлению машины послужили интеллектуальный климат эпохи Просвещения с её стремлением к систематизации и формализации знаний, а также личный научный интерес Чарльза Стэнхоупа. Изобретатель около тридцати лет работал над собственной логической системой, стремясь доказать, что выводы из утверждений можно получать механическим путём. В результате в 1775 году Стэнхоуп создал устройство, которое стало первым в истории механизмом, специально предназначенным для механического решения логических задач[4].[5][6].

Конструкция

Устройство представляло собой латунную пластину квадратной формы, размером около четырёх дюймов, установленную на блоке из красного дерева (махагони) толщиной три четверти дюйма. В основании имелось углубление размером приблизительно полтора дюйма в квадрате и глубиной полдюйма. Это отверстие называлось «холон» (англ. holon, «целое») и символизировало всё множество объектов, рассматриваемых в задаче.[7] Конструкция также включала подвижные части (слайдеры): один из них изготавливался из красного прозрачного стекла и устанавливался в тонкую раму из красного дерева, а другой был выполнен из серого дерева[8].

Принцип работы

Справа через холон можно было вставить слайд из красного полупрозрачного стекла. Слайд из серого дерева прокладывался под красным. Если устройство использовалось для вывода по «правилу логики достоверности», серый слайдер вставлялся слева; при применении по «правилу логики вероятности» он вставлялся сверху. Красный и серый слайдеры отражали две утвердительные посылки, объединённые в ходе рассуждения. Стэнхоуп называл их «хо» и «лос».[7]

В ходе работы оператор устанавливал ползунки согласно посылкам силлогизма, а область их пересечения в «холоне» механически демонстрировала логический вывод. Машина могла решать численно-определённые силлогизмы и задачи на вероятность[8].[5]

Сохранившиеся экземпляры

Известно не менее четырёх экземпляров такого квадратного устройства.[7] Достоверно подтверждено местонахождение только одного экземпляра — он был передан в Научный музей (Лондон) последним графом Стэнхоупом в 1953 году[5]. В 1879 году Роберт Харли писал, что обладает одним из таких аппаратов, полученным от правнука Стэнхоупа Артура, который сохранил один экземпляр.[9] Ещё два устройства находились в собственности Генри Провоста Бэббиджа — сына Чарльза Бэббиджа, продолжившего его работу над Аналитической машиной.[7] Текущее местонахождение остальных исторических экземпляров, включая те, что принадлежали Роберту Харли и Генри Бэббиджу, неизвестно. Собирались также и устройства других форм, например круглые, но они оказались менее удобны.[10]

Значение и влияние

Историческая роль «Демонстратора» заключается в том, что он стал первой логической машиной, доказавшей принципиальную возможность механизации логического вывода. Устройство предвосхитило концепцию численно-определённого силлогизма Августа Де Моргана (1847) и выступило историческим предшественником логической машины Уильяма Стэнли Джевонса (1869). Однако прямого влияния на разработку Джевонса оно не оказало, поскольку изобретение Стэнхоупа стало широко известно лишь после публикации Роберта Харли в 1879 году[11][8][12].

Примечания

  1. ↑ Gardner.
  2. ↑ Beatty, Harley, Levy.
  3. ↑ Jevons.
  4. ↑ Logic in the 17th and 18th Centuries. Routledge Encyclopedia of Philosophy. Дата обращения: 28 мая 2026.
  5. ↑ 1 2 3 Stanhope Square Demonstrator, c. 1805. Science Museum Group Collection. Дата обращения: 28 мая 2026.
  6. ↑ Логическая машина Стэнхоупа. ВИКЕНТ. Дата обращения: 28 мая 2026.
  7. ↑ 1 2 3 4 Harley.
  8. ↑ 1 2 3 The Stanhope Demonstrator. Sophia Rare Books. Дата обращения: 28 мая 2026.
  9. ↑ Harley, PAM.
  10. ↑ Harley, Wess.
  11. ↑ Демонстратор Стэнхоупа — первая логическая машина. math.nsc.ru. Дата обращения: 28 мая 2026.
  12. ↑ Before Computers Were Logic Diagrams and Machines. EE Journal. Дата обращения: 28 мая 2026.

Литература

  • Beatty, F. M. (март 1955). “The Scientific Work of the Third Earl Stanhope”. Notes and Records of the Royal Society of London [англ.]. 11 (2): 206—208. DOI:10.1098/rsnr.1955.0008. JSTOR 530960. Архивировано из оригинала 15 февраля 2023. Дата обращения 14 февраля 2023. Проверьте дату в |date= (справка на английском)
  • Harley, Robert (апрель 1879). “The Stanhope Demonstrator”. Mind [англ.]. Oxford University Press. 4 (14): 192—210. DOI:10.1093/mind/os-4.14.192. JSTOR 2246667. Архивировано из оригинала 16 февраля 2023. Дата обращения 14 февраля 2023. Проверьте дату в |date= (справка на английском)
  • Levy, David. Robots Unlimited. — CRC Press, 2005. — P. 9–11. — ISBN 9781439865637.
  • Stanhope square demonstrator, c.1805. (англ.). The Science Museum. Дата обращения: 17 февраля 2023. Архивировано 17 февраля 2023 года.
  • Jevons, William Stanley. The Principles of Science. — Macmillan, 1877. — P. ix–x.
  • Gardner, Martin (март 1952). “Logic Machines”. Scientific American [англ.]. 186 (3): 68—69. DOI:10.1038/scientificamerican0352-68. Архивировано из оригинала 23 марта 2023. Дата обращения 20 февраля 2023. Проверьте дату в |date= (справка на английском)
  • Wess, Jane (июль 1997). “The logic demonstrators of the 3rd Earl Stanhope (1753–1816)”. Annals of Science [англ.]. 54 (4): 375—395. DOI:10.1080/00033799700200291. Проверьте дату в |date= (справка на английском)
  • “Obituary notices of fellows deceased”. Proceedings of the Royal Society of London. Series A [англ.]. 91 (623): i—v. ноябрь 1914. DOI:10.1098/rspa.1914.0097. S2CID 159875267. Проверьте дату в |date= (справка на английском)

Категории