Andréa Mª Altino de Campos Loparic

Versão para impressão

Andrea Loparic

lattes curriculum lattes
 e-mail:  aloparic@gmail.com

Histórico Acadêmico

  • 1988 Doutorado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas 
    Título do trabalho: Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
    Orientação: Balthazar Barbosa Filho 
  • 1964 Mestrado - Licencié en philosophie pela Universite Catholique de Louvain, Bélgica
    Título do trabalho: Fim e sentido na história segundo Merleau-Ponty
    Orientação: Jean Ladriere
  • 1962 Graduação - Bachelier En Philosophie pela Universite Catholique de Louvain, Bélgica
  • 1961 Graduação em Filosofia pela Universidade Federal de Pernambuco 

Linha de Pesquisa

Logica

Pesquisa em desenvolvimento

Definições de verdade e decidibilidade de sistemas proposicionais
Resumo: Definições indutivas de verdade são um método usual de apresentação de sistemas lógicos. Tipicamente, a ordem usada na indução baseia-se na relação de subfórmula imediata, mas outros critérios mais gerais, sempre apoiados em relações bem fundadas entre fórmulas, podem ser usadas para estabelecer a ordem da indução. O uso desses critérios, especialmente nas definições de sistemas proposicionais, pode levar a formulações de condições de verdade que, não somente permitem a solução positiva e imediata da questão da decidibilidade, como também sugerem a formulação do algoritmo de decisão para o sistema.