Inferência material

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

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

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

Inferência não-monotônica

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,

1. "Se eu esfregar este fósforo ao longo da superfície áspera, ele irá acender.” (p→q)
2. "Se p, mas o fósforo está em um forte campo eletromagnético, então ele não vai acender.” (p∧r→q)
3. "Se o p e r, mas o fósforo está em uma gaiola de Faraday, ele irá acender." (p∧r∧s→q)
4. "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)
5. ...

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:

1. “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

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

Referências

Stanford Encyclopedia of Philosophy em Sellars vista