Ábaco lógico

Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. Ajude a melhorar este artigo inserindo citações no corpo do artigo. (Junho de 2021)

Ábaco Lógico é um computador digital mecânico.

Também chamado de uma "máquina lógica", o ábaco lógico é análogo ao ábaco (matemático) comum. Baseia-se no princípio de tabelas de verdade.

Ele é construído para mostrar todas as combinações possíveis de um conjunto de termos lógicos, com suas negativas, e, além disso, a forma em que essas combinações são afetados pela adição de atributos ou outras palavras limitantes, por exemplo, para simplificar mecanicamente a solução de problemas lógicos. Estes instrumentos são todos desenvolvimentos mais ou menos elaborados da "lousa lógica", na qual foram escritas em colunas verticais todas as combinações de símbolos ou letras que poderiam logicamente ser feitas a partir de um número definido de termos. Esses foram comparados com quaisquer premissas dadas, em que as incompatíveis foram descartadas. No ábaco as combinações são inscritas cada uma em uma única peça de madeira ou substância similar, que é movida por uma chave; As combinações incompatíveis podem assim ser mecanicamente removidas à vontade, de acordo com qualquer série de premissas dada.

Os principais exemplos de tais máquinas são aqueles de William Stanley Jevons (piano lógico), John Venn e Allan Marquand.

Bibliografia[editar | editar código-fonte]

• Chisholm, Hugh, ed. (1911). «Abacus». Encyclopædia Britannica (em inglês) 11.ª ed. Encyclopædia Britannica, Inc. (atualmente em domínio público) 
• William Stanley Jevons, Elemento. Lições de Lógica, c. xxiii.
• Allan Marquand, Academia Americana de Artes e Ciências, de 1885, pp. 303-7.
• Allan Marquand, da Universidade de Johns Hopkins de Estudos em Lógica, 1883).
• Barrett, Lindsay; Connell, Matthew (2005), «Jevons and the Logic 'Piano'», Rutherford Journal, 1 .
• Este artigo incorpora texto (em inglês) da Encyclopædia Britannica (11.ª edição), publicação em domínio público.