“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