Conectivos e Flexíveis: uma abordagem categorial às Semânticas de Traduções Possíveis

Apresentamos um novo formalismo de decomposição de lógicas, que chamamos """"Coberturas por Traduções Possíveis"""" (CTPs). As CTPs constituem uma versão formal das Semânticas de Traduções Possíveis, introduzidas por W. Carnielli em 1990. .A principal diferença entre as CTPSs e as STPs é que em nossa proposta usamos multifunções como morfismos na categoria de assinaturas proposicionais e nas categorias de lógicas tarskianas. O efeito desta mudança é muito significativo: os conectivos, que antes eram traduzidos de uma assinatura para outra como uma única fórmula, agora são traduzidos como um conjunto finito de fórmulas, podendo assim expressas vários significados. Desta forma, os conectivos tornam-se flexíveis, e todo, o formalismo anteriormente desenvolvido para as STPs pode ser simulado dentro das CTPs. A Flexibilidade dos conectivos nos permite tratar casos concretos de traduções que antes não podiam ser formalizadas com as STPs..Fazemos um estudo adequadamente aprofundado das categorias de assinaturas e lógicas que introduzimos, pretendemos formular. Investigamos a caracterizabilidade das CTPs como construção universal na via funtores representáveis. Encerreamos com uma discussão sobre como as CTPs podem nos levar a questionamentos a cerca dos limites da noção de forma lógica. Concluímos exibindo exemplos concretos de aplicabilidade das ferramentas que introduzimos.