Conectivos flexiveis: uma abordagem categorial as semanticas de traducoes possiveis e a nocao de forma logica.

• Processo: 06/53405-4
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 2006
• Data de Término da vigência: 31 de julho de 2008
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Teófilo de Souza Reis
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM
• Palavra(s)-Chave do Pesquisador: Combinacao Entre Logica | Forma Logica | Traducoes Entre Logicas

Resumo

O presente projeto de pesquisa visa o estudo e análise de um novo conceito de morfismo de assinaturas proposicionais, e suas conseqüências para o conceito de forma lógica. Serão estudadas algumas das principais técnicas de combinações entre lógicas, com especial ênfase na técnica conhecida como Semântica de Traduções Possíveis, introduzida por W. Carnielli. Em particular, serão estudadas propriedades categoriais das semânticas de traduções possíveis, e como a adoção de um novo conceito de morfismo de assinaturas pode alargar o escopo de aplicação do presente método. Espera-se comparar esta técnica modificada com a semântica não-determinística, no que concerne à flexibilização dos conectivos. O estudo critico desta flexibilização levará à necessidade de se re-analisar o conceito de forma lógica, culminando na apresentação de uma proposta original de generalização deste conceito central em lógica. Finalmente, espera-se elucidar as propostas através de alguns exemplos concretos. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

REIS, Teófilo de Souza. Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis. 2008. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.