U1 A1 6

Prévia do material em texto

Inferência
Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a
argumentação lógica perfeita. A inferência, como veremos a seguir, pode ser de dois tipos: indutiva e
dedutiva. Uma inferência inválida é chamada falácia. A seguir, mostraremos alguns exemplos de
inferências da lógica formal com argumento válido e conclusão lógica. Veja que, a partir de duas frases,
que são as premissas, chegamos a uma conclusão.
 
1.Todos os homens são mortais.
Elias é homem.
Logo, Elias é mortal.
 
2. Toda novela conta histórias sobre o dia a dia das pessoas.
Roque Santeiro é uma novela.
Aula 1 - Unidade 1 Tamanho da fonte Dúvidas ao tutor

Fe
ed
ba
ck
Logo, Roque Santeiro conta histórias sobre a vida das pessoas.
 
Em especial no século XIX, como apresenta Fajardo (2017), alguns matemáticos e filósofos
concluíram que a lógica formal não era suficiente para que se pudesse alcançar o rigor necessário na
análise dos argumentos. Em determinados idiomas, como na língua portuguesa, por exemplo, a
linguagem falada e escrita apresenta um conjunto de sinais (sonoros, no caso da fala, e visuais, no caso
da escrita). Para a linguagem escrita, existe uma série de símbolos, incluindo letras, acentos gráficos e
sinais de pontuação, que, quando reunidos, formam palavras, sentenças e frases. 
Para a correta comunicação, é necessário o domínio da língua e de suas regras gramaticais, caso
contrário, podemos recair em frases ambíguas que permitem múltiplos entendimentos, conforme
discussão em Fajardo (2017). Um usuário proficiente da língua também pode manipulá-la para
construir os chamados paradoxos, como, por exemplo, os paradoxos de Zenão de Eléia (490-430 a.C.),
que desenvolveram uma discussão sobre a existência ou não do movimento (um fato empírico) a partir
de conclusões lógicas de premissas difíceis de serem contestadas. A seguir, serão expostos alguns
exemplos de situações exploradas por Zenão que trazem conclusões lógicas, embora cientificamente
inverídicas.
A flecha que voa jamais sai do lugar, porque, em cada instante de tempo, ocupa uma só posição
no espaço, logo, ela está imóvel todo o tempo.
Entre dois pontos existem infinitos pontos. Ninguém pode atravessar infinitos pontos. Então, não
há movimento.
Quando a partir de argumentos válidos e verdadeiros obtemos conclusões falsas, temos erros de
raciocínio. Os paradoxos apresentados mostram que conceituar o infinito com a linguagem tradicional
escrita é muito complicado quando lidamos com conceitos abstratos.
Um famoso silogismo presente nessa interpretação de Zenão de Eléia apresenta que o herói Aquiles
nunca seria capaz de alcançar uma tartaruga, pois quando Aquiles alcançasse a posição da tartaruga, ela
já teria avançado mais um pouco.
É por isso que foi desenvolvida a lógica simbólica, relacionada à matemática, a partir do século XIX.
Ela permite a expressão das premissas e de suas relações por meio de símbolos matemáticos,
construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá
margem a duplas interpretações.
Vamos estudar mais à frente que a lógica matemática originou a lógica utilizada em computadores, que
são sistemas digitais construídos para executar tarefas programáveis e que fornecem respostas e saídas
exatas, conforme determinado conjunto de instruções e dados fornecidos a esses sistemas.
Conteúdo anterior Próximo conteúdo

Fe
ed
ba
ck