Inferência material
Foram assinalados vários problemas nesta página ou se(c)ção: |
Em lógica, a inferência é o processo de derivação lógica de conclusões a partir de premissas conhecidas ou que se supõem serem a verdade. Na verificação de uma inferência lógica para validade formal e material, o significado apenas do seu vocabulário lógico e de ambos os vocabulários lógicos e extra lógicos considerados, respectivamente.
Exemplos
[editar | editar código-fonte]Por exemplo, a inferência de que "Sócrates é um ser humano, e cada ser humano tem de morrer, portanto, Sócrates deve morrer” é formalmente uma inferência válida; ela permanece válida se o vocabulário não-lógico “Sócrates”, “é humano”, e “deve morrer” é arbitrário, mas deve ser constantemente substituído.
Em contraste, a inferência “Montreal fica ao norte de Nova York, portanto, Nova York está ao sul de Montreal" é materialmente válido apenas; sua validade, depende de relações extra-lógicas “é norte” e “sul de” ser de ligado um com o outro.
Inferências materiais vs. enthymemes
[editar | editar código-fonte]Lógica clássica e formal considera "norte/sul” inferência como um enthymeme, isto é, como uma inferência incompleta; ela pode ser feita formalmente válida complementando o tacitamente usado explicitamente em uma relação: “Montreal fica ao norte de Nova York, e sempre que um local de x está ao norte de uma localização de y, então y é a sul de, x; por conseguinte, Nova York está ao sul de Montreal”. Em contraste, a noção de um inferência material tem sido desenvolvida por Wilfrid Sellars, a fim de enfatizar seu ponto de vista que tais suplementos não são necessários para obter um bom argumento.
Brandom na inferência material
[editar | editar código-fonte]Inferência não-monotônica
[editar | editar código-fonte]Robert Brandom adotada a visão de Sellars, argumentando que diariamente (práticos) de raciocínio são geralmente não-monotônicos, isto é, premissas adicionais podem transformar, praticamente, inferências válidas em inválidas, por exemplo,
- "Se eu esfregar este fósforo ao longo da superfície áspera, ele irá acender.” (p→q)
- "Se p, mas o fósforo está em um forte campo eletromagnético, então ele não vai acender.” (p∧r→q)
- "Se o p e r, mas o fósforo está em uma gaiola de Faraday, ele irá acender." (p∧r∧s→q)
- "Se p e r e s, mas não há oxigênio na sala, então o fósforo não vai pegar fogo." (p∧r∧s∧t→q)
- ...
Portanto, inferências praticamente válidas são diferentes das inferências formalmente válidas (sendo monotônicas — o argumento acima que Sócrates deve, eventualmente, morrer não pode ser desafiado por quaisquer informações adicionais), e devem ser melhor modeladas por inferência materialmente válidas. Enquanto um lógico clássico pode adicionar uma cláusula de ceteris paribus, para 1. para torná-lo utilizável em inferências formalmente válidas:
- “Se eu esfregar este fósforo ao longo da superfície áspera, então, ceteris paribus, ele vai inflamar.”
No entanto, há dúvidas de Brandom de que o significado de uma tal cláusula pode ser feita explícita, e prefere considerá-lo como uma dica para não-monotonia, ao invés de incluir um remédio milagroso para estabelecer a monotonia.
Além disso, o exemplo do “fósforo” mostra que uma inferência típica do dia-a-dia dificilmente pode ser sempre feita formalmente concluída. De forma semelhante, o dialogo de Lewis Carroll, "o Que a Tartaruga Disse para Aquiles” demonstra que a tentativa de fazer com que cada inferência se torne totalmente completa pode levar a uma regressão infinita.
Ver também
[editar | editar código-fonte]Inferências materiais não devem ser confundidas com os conceitos a seguir, que se referem à validade formal, e não material:
- Material condicional — o conectivo lógico"→" (i.e. "formalmente implica")
- Implicação material (regra de inferência) — uma regra para formalmente substituir "→" por "¬" (negação) e "∨" (disjunção)
Notas e referências
Notas
Referências
Stanford Encyclopedia of Philosophy em Sellars vista