Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Teófilo de Souza Reis
DISSERTAÇÃO
Português
T/UNICAMP R277c
Campinas, SP : [s.n.], 2008.
78f. : il.
Orientador: Marcelo Esteban Coniglio
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: 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... Ver mais Resumo: 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. Ver menos
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... Ver mais Resumo: 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. Ver menos
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... Ver mais 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.
Ver menos
in 1990. We show how the adoption of a more general notion of... Ver mais 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.
Ver menos
Coniglio, Marcelo Esteban, 1963-
Orientador
Bianconi, Ricardo
Avaliador
D'Ottaviano, Itala Maria Loffredo, 1944-
Avaliador
Feitosa, Hercules de Araujo
Avaliador
Carnielli, Walter Alexandre, 1952-
Avaliador
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Teófilo de Souza Reis
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Teófilo de Souza Reis
Exemplares
Nº de exemplares: 3
Não existem reservas para esta obra