Alguns comentários sobre a questão da identidade entre lógicas

Abstract

O objetivo destas notas, motivadas por palestra proferida no “Lógica no Avião” em setembro de 2016, não é realizar uma discussão conceitual abrangente ou aprofundada sobre o tema da identidade entre entes matemáticos, especificamente no contexto das lógicas, mas apresentar ao leitor interessado um pequeno recorte sobre o tema, focado em alguns encaminhamentos matemáticos, realizados em trabalhos de alguns lógicos, alguns dos quais com atuação ou parcerias acadêmicas no Brasil. Não há qualquer originalidade em abordar o tema sobre identidade/equivalência entre sistemas lógicos, sendo este um assunto recorrente na comunidade dos lógicos; reflexões desta natureza podem ser encontradas, por exemplo, em [5], [10] e [16]. Registramos aqui também que partes do texto [38] foram utilizadas para compor estas presentes notas.