Traduções na disputa entre Pluralismo e Monismo Lógico

• Processo: 23/02114-5
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de junho de 2023
• Data de Término da vigência: 31 de outubro de 2023
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Itala Maria Loffredo D'Ottaviano
• Beneficiário: Sofia Abelha Meirelles
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Monismo Tradução
• Palavra(s)-Chave do Pesquisador: Monismo | Pluralismo | traduções | Filosofia da Lógica

Resumo

O uso de traduções entre lógicas é bastante apropriado para analisar como diferentes lógicasse relacionam e como podem ser interpretadas umas nas outras. Um clássico exemplo disso sãoas provas de consistência relativa da lógica clássica em relação à lógica intuicionista, que representam um importante marco na história da lógica. A possibilidade de encontrar um territóriocomum para discutir diferentes lógicas é vantajosa tanto do ponto de vista formal, sobre quaissão os teoremas e como validade é construída, tanto como do ponto de vista filosófico, já quepodemos comparar o significado de diferentes inferências lógicas no caso da lógica clássica eintuicionista, é possível comparar e discutir por que o tertium non datur (lei do terceiro excluído)e a dupla negação deixam de valer intuicionisticamente. A nossa motivação é empregar as traduções entre lógicas na popular discussão sobre pluralismo lógico, i.e., a tese de que existe maisde uma lógica correta, em oposição ao monismo lógico, que alega haver apenas uma única lógicaverdadeira. Nosso objetivo é contornar a objeção da mudança de significado, inicialmente proposta por Quine 1986, por meio de traduções, a fim de possibilitar variantes de pluralismos lógicos significativos. Com esse propósito partimos do conceito de traduções conservativas [18] comouma estrutura segura de discussão (framework) que elimina a incomensurabilidade entre lógicase, consequentemente, permite a discussão rigorosa de objeções ao pluralismo lógico, como a jámencionada mudança de signficado.