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

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: Reis, Teófilo, 1984-
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagens formais - Semântica
Lógica simbólica e matemática
Lógica matemática não-clássica
Linguagens formais
Formal languages - Semantics
Logic, Symbolic and mathematical
Formal languages
Mathematical logic, Nonclassical
Link de acesso: https://hdl.handle.net/20.500.12733/1607881
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_006b99e8c5cd0b80f2d82a362a141500
oai_identifier_str oai::432670
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveisLinguagens formais - SemânticaLógica simbólica e matemáticaLógica matemática não-clássicaLinguagens formaisFormal languages - SemanticsLogic, Symbolic and mathematicalFormal languagesMathematical logic, NonclassicalOrientador: 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 Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-Bianconi, RicardoD'Ottaviano, Itala Maria LoffredoFeitosa, Hercules de AraujoCarnielli, Walter AlexandreUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASReis, Teófilo, 1984-20082008-07-23T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf78f. : il.https://hdl.handle.net/20.500.12733/1607881REIS, Teófilo. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis. 2008. 78f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607881. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/432670porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-08-03T10:04:52Zoai::432670Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-08-03T10:04:52Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
title Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
spellingShingle Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Reis, Teófilo, 1984-
Linguagens formais - Semântica
Lógica simbólica e matemática
Lógica matemática não-clássica
Linguagens formais
Formal languages - Semantics
Logic, Symbolic and mathematical
Formal languages
Mathematical logic, Nonclassical
title_short Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
title_full Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
title_fullStr Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
title_full_unstemmed Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
title_sort Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
author Reis, Teófilo, 1984-
author_facet Reis, Teófilo, 1984-
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Bianconi, Ricardo
D'Ottaviano, Itala Maria Loffredo
Feitosa, Hercules de Araujo
Carnielli, Walter Alexandre
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Reis, Teófilo, 1984-
dc.subject.por.fl_str_mv Linguagens formais - Semântica
Lógica simbólica e matemática
Lógica matemática não-clássica
Linguagens formais
Formal languages - Semantics
Logic, Symbolic and mathematical
Formal languages
Mathematical logic, Nonclassical
topic Linguagens formais - Semântica
Lógica simbólica e matemática
Lógica matemática não-clássica
Linguagens formais
Formal languages - Semantics
Logic, Symbolic and mathematical
Formal languages
Mathematical logic, Nonclassical
description Orientador: Marcelo Esteban Coniglio
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-07-23T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1607881
REIS, Teófilo. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis. 2008. 78f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607881. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1607881
identifier_str_mv REIS, Teófilo. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis. 2008. 78f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607881. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/432670
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
78f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189805855080448

Registros relacionados