Mais de uma maneira de continuar

referência, função e a tipagem de conceitos engenheirados

Resumo

A engenharia conceitual é frequentemente descrita como a prática de fixar a referência de nossos termos. Este artigo sustenta que essa descrição erra quanto à origem da prática e ao lugar de sua avaliação. A razão para revisar um conceito, onde quer que a literatura ofereça uma, é funcional, e a razão funcional é uma dívida com o pragmatismo, do segundo Wittgenstein, passando por Sellars e Brandom, até Price. O pragmatista deve então explicar como avaliar revisões sem a referência, e o artigo o faz por tradução. Onde Carnap e Montague traduziram a linguagem natural em linguagem artificial, a proposta traduz papel normativo em tipo funcional. Um conceito torna-se uma interface com leis, um modo de usá-lo torna-se uma instância que satisfaz as leis, e uma revisão torna-se a substituição de uma instância por outra sob uma interface comum. Elaborada em Haskell e Julia, e lida pela correspondência proposições-como-tipos, a tradução converte o lema pragmatista de que há sempre mais de uma maneira de continuar em uma propriedade verificável de uma linguagem tipada. A referência sobrevive como uma função entre outras que uma interface pode exigir, e a categoria metassemântica só se justifica para conceitos cuja tarefa inclui rastrear.