Busca avançada
Ano de início
Entree

Conectivos flexíveis: uma abordagem categorial as semânticas de traduções possíveis e a noção de forma lógica

Processo: 06/53405-4
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de setembro de 2006
Vigência (Término): 31 de julho de 2008
Área do 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

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. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives. 2008. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.