Representação e Combinação de Lógicas: questões conceituais

Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combina¸c˜oes entre l´ogicas, empreendemos uma análise do problema da representaçãoo geral de sistemas lógicos (com ênfase no conceito central de consequência lógica), juntamente com o do estabelecimento de uma noção apropriada de traduçãoo ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentaralgumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentaçãoo modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de consequências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica - as metatraduções e os transfers elementares - podem ser definidas dentro desse arcabouço. Os transfers - incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representaçãoo das meta-traduções como.tipo específico de transfer.