Desenvolvimentos lógico-matemáticos da Lógica do Plausível

• Processo: 05/00408-3
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de agosto de 2005
• Data de Término da vigência: 31 de julho de 2007
• Área do conhecimento: Ciências Humanas - Filosofia
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Hércules de Araújo Feitosa
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Lógica matemática Lógica do plausível Topologia Semântica
• Palavra(s)-Chave do Pesquisador: Logicas Moduladas | Modelos Topologicos | Quantificador Generalizado | Semantica Algebrica | Tablo | Semânticas de lógicas não-clássicas

Resumo

A Lógica Plausível foi introduzida como uma lógica modulada como um quantificador generalizado para sentenças do tipo 'uma boa parte dos indivíduos admitem a propriedade P'. Este trabalho planeja alguns desenvolvimentos lógico-matemáticos da Lógica do Plausível. (AU)