dedutivodedutível

Dedutivodedutível é um neologismo utilizado em lógica e filosofia da matemática para descrever uma qualidade de proposições ou de processos de demonstração. A palavra resulta da junção de "dedutivo" e "dedutível", refletindo uma ênfase na natureza puramente inferencial das afirmações discutidas. Não há consenso sobre uma definição única, e o termo aparece de forma esporádica em discussões sobre demonstração, teorema e provabilidade.

Definição comum proposta: uma sentença é dedutivodedutível em um sistema formal se pode ser derivada unicamente por regras de inferência dedutivas a partir dos axiomas do sistema. Nesse sentido, dedutivodedutível é próximo de ser sinônimo de teorema, com a particularidade de destacar explicitamente o aspecto dedutivo.

Exemplos: na lógica proposicional, a tautologia p → p é dedutivodedutível em qualquer sistema que inclua as regras básicas de inferência. Em sistemas mais complexos, afirmações que podem ser provadas sem recorrer a evidência empírica também são descritas como dedutivodedutíveis.

Recepção: o termo é pouco difundido e, fora de contextos específicos, pode soar redundante. Apontam-se vantagens nominalistas para esclarecer o tipo de justificativa envolvida, bem como críticas por aumentar a terminologia sem acrescentar conteúdo técnico novo.