Stanhope circular demonstrators, late 18th century.

The Stanhope demonstrator, invented by Charles, 3rd Earl Stanhope (1753-1816), can be used to draw the correct conclusions from logical propositions. This was probably the first attempt to solve logical problems by mechanical means.