Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
“O primeiro a ter a ideia de usar linguagens artificiais na...
Ano:
2025
“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
A
validade de um argumento está condicionada ao conteúdo ético de suas proposições.
B
lógica deve orientar-se por métodos empíricos ao invés de estruturas dedutivas abstratas.
C
linguagem filosófica realiza-se por meio da persuasão retórica e da eficácia comunicativa.
D
linguagem pode ser sistematizada para representar o raciocínio e permitir inferências formais.
E
a clareza filosófica depende da fixação de significados por convenção no uso ordinário da linguagem.