Ir para o conteúdo 1 Ir para o menu 2 Ir para o menu lateral 3 Ir para o rodapé 4 Acessibilidade deste site 5 Mapa do site 6 Busca 7
Andréa Mª Altino de Campos Loparic

![]() |
|
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.