Questão 3480225

Filosofia · 2025

Questão

ID 3480225

Disciplina: 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

Alternativas da questão 3480225
Pular para o conteúdo principal