Combinacoes entre logicas: questoes conceituais.

• Processo: 05/53278-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de agosto de 2005
• Data de Término da vigência: 30 de abril de 2007
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Alberto Leopoldo Batista Neto
• 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: Combinacoes Entre Logicas | Fibring | Logicas Abstratas | Traducoes Entre Logicas

Resumo

O presente projeto de pesquisa propõe o estudo e a análise crítica de diferentes questões conceituais relativas à área de Combinações entre Lógicas. Procura-se, em primeiro lugar, analisar a complexa questão da representação de sistemas lógicos, estudando, comparando e fazendo uma revisão crítica de diversos paradigmas aparecidos na literatura. A seguir, serão estudadas algumas das principais técnicas de combinações entre lógicas, com especial ênfase na técnica conhecida como fibrilação (fibring, no original em inglês), introduzida por D. Gabbay. Em particular, serão analisados alguns dos problemas surgidos na área de fibrilação: o colapso de sistemas lógicos, apontado por L. Farinas dei Cerro e A. Herzig, e o anti-colapso de sistemas lógicos, apontado recentemente por M. Coniglio. A análise critica destes problemas levará imediatamente a uma re-examinação do conceito de tradução de sistemas lógicos, e ao estudo de quais atributos uma tal noção deveria preservar. Em particular, a noção de imersão de uma lógica em outra deverá ser re-analisada, dentro do contexto do desenvolvimento de técnicas para combinar lógicas em que se situam estas pesquisas. Finalmente, espera-se apresentar propostas originais para resolver algumas das questões estudadas, exemplificando as propostas através da analise 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)

BATISTA NETO, Alberto Leopoldo. Representação e combinação de logicas: questões conceituais. 2007. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.