O significado das sentenças aritméticas, a definibilidade conjuntista e o papel da...
Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência
| 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) | |