Questão
ID 3480225Disciplina: Filosofia
Assunto: Lógica Simbólica
Ano: 2025 Banca: FGV - Fundação Getúlio Vargas Órgão: Secretaria de Estado de Educação de Mato Grosso
“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