Alguns sistemas heterodoxos de lógica de predicados

• Processo: 95/01043-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de agosto de 1995
• Data de Término da vigência: 30 de junho de 1996
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Andrea Maria Altino de Campos Loparic
• Beneficiário: Fernando Paulo Christe Adorno
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Verdade Identidade (psicologia) Objeto
• Palavra(s)-Chave do Pesquisador: Identidade | Interpretacao | Objeto | Quantificadores | Verdade

Resumo

Profa. Dra. Loparic, modificando a noção de interpretação e a definição de verdade clássicas e dando à relação de identidade uma definição classicamente equivalente, construiu semânticas de primeira ordem alternativas que, no entanto, encontram-se ainda numa versão simplificada. Cabe-nos, agora, estender essa versão, verificar o comportamento das principais leis clássicas nesses sistemas e mostrar a correção e a completude destes. (AU)