“O primeiro a ter a ideia de usar linguagens artificiais na
Lógica foi Gottfried Leibniz, no século XVI. Sua ideia era de
desenvolver uma lingua philosophica, que seria uma linguagem
artificial espelhando a estrutura dos pensamentos. Ao lado disso,
ele propôs o desenvolvimento de um calculus ratiocinator, um
cálculo que permitiria tirar automaticamente conclusões a partir
de premissas representadas na lingua philosophica”.
MORTARI, César A. Introdução à lógica. São Paulo: UNESP, 2001.
Adaptado.
De acordo com o excerto, a proposta lógica de Leibniz antecipa
uma concepção segundo a qual a