Question

(M2CDPE0502_02) “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

Accepted Answer

D) linguagem pode ser sistematizada para representar o raciocínio e permitir inferências formais.

Answer

A) validade de um argumento está condicionada ao conteúdo ético de suas proposições.

Answer

B) lógica deve orientar-se por métodos empíricos ao invés de estruturas dedutivas abstratas.

Answer

C) linguagem filosófica realiza-se por meio da persuasão retórica e da eficácia comunicativa.

Answer

E) a clareza filosófica depende da fixação de significados por convenção no uso ordinário da linguagem.

Mais questões de Fórmulas da lógica de predicados