Andréa Mª Altino de Campos Loparic
 |
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
Lógica
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.
Orientação em Andamento
Doutorado
Mestrado
- Ana Maria Domingues Rodrigues da Costa
A Dor e a Lei: Um estudo do supereu
Renato Soares Siqueira
Últimas publicações
Atualizado em 07/12/2010
