22:
87:
A slide of red translucent glass could be inserted from the right across the holon. A slide of gray wood could be slid under the red slide. When the device was used for the "Rule for the Logic of
Certainty", the gray slider was inserted from the left. When it was used for the "Rule for the Logic
47:
type of problem in which objects might have two different properties and the question was how many would have both properties. Scales marked zero to ten were used to set the numbers or proportions of objects with the two properties. This form of inference anticipated the numerically definite
445:
503:
88:
of
Probability", the gray slider was inserted from above. The red and the gray sliders represented the two affirmative propositions which were being combined. Stanhope called these
78:
which was three-quarters of an inch thick. There was a opening with a depression in the wood about one and a half inches square and half an inch deep. This opening was called the
43:
The first model was constructed in 1775. It consisted of two slides coloured red and gray mounted in a square brass frame. This could be used to demonstrate the solution to a
99:
At least four of the devices with this square style were built. In 1879, Robert Harley wrote that he had one which he had been given by
Stanhope's great-grandson,
435:
37:
100:
362:
120:
528:
518:
523:
498:
508:
201:
331:
513:
265:
377:
116:
26:
177:
168:
123:
in 1953. Other styles, such as circular models, were constructed, but these were less convenient.
441:
417:
323:
257:
249:
193:
80:
54:
49:
358:
112:
475:
407:
315:
241:
185:
21:
108:
104:
181:
466:
Jane Wess (July 1997), "The logic demonstrators of the 3rd Earl
Stanhope (1753–1816)",
157:
189:
492:
421:
261:
132:
137:
44:
319:
479:
84:, meaning whole, and represented the full set of objects under consideration.
412:
395:
245:
75:
197:
162:
327:
302:
253:
228:
36:
was the first machine to solve problems in logic. It was designed by
67:
20:
71:
214:...the first true logic machine, the Stanhope Demonstrator
400:
Proceedings of the Royal
Society of London. Series A
40:to demonstrate consequences in logic symbolically.
504:Computer-related introductions in the 18th century
301:
227:
161:
103:, who had kept one. The other two were owned by
234:Notes and Records of the Royal Society of London
229:"The Scientific Work of the Third Earl Stanhope"
8:
411:
115:. One of the devices was donated to the
314:(14). Oxford University Press: 192–210.
295:
293:
291:
289:
287:
285:
283:
149:
74:square which was mounted on a piece of
396:"Obituary notices of fellows deceased"
448:from the original on 17 February 2023
437:Stanhope square demonstrator, c.1805.
334:from the original on 16 February 2023
268:from the original on 15 February 2023
7:
38:Charles Stanhope, 3rd Earl Stanhope
204:from the original on 23 March 2023
14:
190:10.1038/scientificamerican0352-68
111:, who continued his work on the
1:
300:Robert Harley (April 1879).
406:(623): i–v. November 1914.
357:, CRC Press, p. 9–11,
303:"The Stanhope Demonstrator"
226:F. M. Beatty (March 1955).
545:
384:, Macmillan, pp. ix–x
480:10.1080/00033799700200291
382:The Principles of Science
320:10.1093/mind/os-4.14.192
529:One-of-a-kind computers
519:Mechanical calculators
413:10.1098/rspa.1914.0097
378:William Stanley Jevons
246:10.1098/rsnr.1955.0008
117:Science Museum, London
52:laid out in his book,
29:
27:Science Museum, London
25:Now on display in the
34:Stanhope Demonstrator
24:
524:Mechanical computers
499:Automated reasoning
353:David Levy (2005),
182:1952SciAm.186c..68G
169:Scientific American
16:Early logic machine
509:English inventions
442:The Science Museum
50:Augustus De Morgan
30:
468:Annals of Science
113:Analytical Engine
70:plate about four
66:The device was a
536:
514:History of logic
483:
482:
463:
457:
456:
455:
453:
432:
426:
425:
415:
392:
386:
385:
374:
368:
367:
355:Robots Unlimited
350:
344:
343:
341:
339:
305:
297:
278:
277:
275:
273:
231:
223:
217:
216:
211:
209:
165:
163:"Logic Machines"
154:
48:syllogism which
544:
543:
539:
538:
537:
535:
534:
533:
489:
488:
487:
486:
465:
464:
460:
451:
449:
434:
433:
429:
394:
393:
389:
376:
375:
371:
365:
352:
351:
347:
337:
335:
299:
298:
281:
271:
269:
225:
224:
220:
207:
205:
156:
155:
151:
146:
129:
109:Charles Babbage
105:General Babbage
64:
17:
12:
11:
5:
542:
540:
532:
531:
526:
521:
516:
511:
506:
501:
491:
490:
485:
484:
474:(4): 375–395,
458:
427:
387:
369:
363:
345:
279:
240:(2): 206–208.
218:
160:(March 1952).
158:Martin Gardner
148:
147:
145:
142:
141:
140:
135:
128:
125:
63:
60:
15:
13:
10:
9:
6:
4:
3:
2:
541:
530:
527:
525:
522:
520:
517:
515:
512:
510:
507:
505:
502:
500:
497:
496:
494:
481:
477:
473:
469:
462:
459:
447:
443:
439:
438:
431:
428:
423:
419:
414:
409:
405:
401:
397:
391:
388:
383:
379:
373:
370:
366:
364:9781439865637
360:
356:
349:
346:
333:
329:
325:
321:
317:
313:
309:
304:
296:
294:
292:
290:
288:
286:
284:
280:
267:
263:
259:
255:
251:
247:
243:
239:
235:
230:
222:
219:
215:
203:
199:
195:
191:
187:
183:
179:
175:
171:
170:
164:
159:
153:
150:
143:
139:
136:
134:
133:Logical piano
131:
130:
126:
124:
122:
118:
114:
110:
107:– the son of
106:
102:
97:
95:
91:
85:
83:
82:
77:
73:
69:
61:
59:
57:
56:
51:
46:
41:
39:
35:
28:
23:
19:
471:
467:
461:
450:, retrieved
436:
430:
403:
399:
390:
381:
372:
354:
348:
336:. Retrieved
311:
307:
270:. Retrieved
237:
233:
221:
213:
206:. Retrieved
176:(3): 68–69.
173:
167:
152:
138:Venn diagram
98:
93:
89:
86:
79:
65:
62:Construction
55:Formal Logic
53:
42:
33:
31:
18:
452:17 February
338:14 February
272:14 February
208:20 February
58:, in 1847.
45:syllogistic
493:Categories
144:References
422:159875267
262:144051656
121:last Earl
446:archived
380:(1877),
332:Archived
266:Archived
202:Archived
198:24950629
127:See also
76:mahogany
328:2246667
178:Bibcode
119:by the
420:
361:
326:
260:
254:530960
252:
196:
101:Arthur
72:inches
418:S2CID
324:JSTOR
258:S2CID
250:JSTOR
194:JSTOR
81:holon
68:brass
454:2023
359:ISBN
340:2023
308:Mind
274:2023
210:2023
92:and
32:The
476:doi
408:doi
316:doi
242:doi
186:doi
174:186
94:los
495::
472:54
470:,
444:,
440:,
416:.
404:91
402:.
398:.
330:.
322:.
310:.
306:.
282:^
264:.
256:.
248:.
238:11
236:.
232:.
212:.
200:.
192:.
184:.
172:.
166:.
96:.
90:ho
478::
424:.
410::
342:.
318::
312:4
276:.
244::
188::
180::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
