Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Orientador: Marcelo Esteban ConiglioDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Neste trabalho apresentamos um novo formalismo de decomposição de Lógicas, as Coberturas por Traduções Possíveis, ou simplesmente CTPs. As CTPs constituem uma versão formal das Semânticas de Traduções Possíveis, introduzidas por W. Carnielli em 1990. Mostramos como a adoção de um conceito mais geral de morfismo de assinaturas proposicionais (usando multifunções no lugar de funções) nos permite definir uma categoria Sig?, na qual os conectivos, ao serem traduzidos de uma assinatura para outra, gozam de grande flexibilidade. A partir de Sig?, contruímos a categoria Log? de lógicas tarskianas e morfismos (os quais são funções obtidas a partir de um morfismo de assinaturas, isto é, de uma multifunção). Estudamos algumas características de Sig? e Log?, afim de verificar que estas categorias podem de fato acomodar as construções que pretendemos apresentar. Mostramos como definir em Log? o conjunto de traduções possíveis de uma fórmula, e a partir disto definimos a noção de CTP para uma lógica L. Por fim, exibimos um exemplo concreto de utilização desta nova ferramenta, e discutimos brevemente as possíveis abordagens para uma continuação deste trabalho.Abstract: We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC 's) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sig?, in which the connectives, when translated from a signature to another one, enjoy of great flexibility. Essentially, Sig? -morphisms will be multifunctions instead of functions. From Sig? we construct the category Log? of tarskian logics and morphisms between them (these .are functions obtained from signature morphisms, that is, from multifunctions) . We show how to define in Log? the set of possible translations of a given formula, and we define the notion of a PTC for a logic L. We analyze some properties of PTC 's and give concrete examples of the above mentioned constructions. We conclude with a discussion of the approaches to be used in a possible continuation of these investigations.MestradoMestre em Filosofi

Heterogeneous fibring of deductive systems via abstract proof systems

Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way (e.g via Hilbert calculi). Heterogeneous fibring, allowing the original logics to have different presentations (e.g. one presented by a Hilbert calculus and the other by a sequent calculus), has been an open problem. Herein, consequence systems are shown to be a good solution for heterogeneous fibring when one of the logics is presented in a semantic way and the other by a calculus and also a solution for the heterogeneous fibring of calculi. The new notion of abstract proof system is shown to provide a better solution to heterogeneous fibring of calculi namely because derivations in the fibring keep the constructive nature of derivations in the original logics. Preservation of compactness and semi-decidability is investigated