Grato pelos seus comentários Márcio. Sobre identidade: Décio Krause será um dos keynote speakers do nosso evento “O que é isto? Eis a questão!” e apresentará a palestra “What Is Identity?”. Importante observar que "A=A" é uma forma debilidade do princípio de identidade, frequentemente apresentada, que não significa (quase) nada. Entre vários artigos "What is X?", escrevi um artigo intitulado "What is the principle of identity?" https://www.jyb-logic.org/id-campinas.pdf Veja outros artigos sobre identitade aqui: https://www.jyb-logic.org/papers-id.html inclusive o artigo que escrevi com o Décio em 1997:“Relativizations of the principle of identity”, Logic Journal of the Interest Group in Pure and Applied Logics, 5 (1997), pp.327-338. Neste artigo apresento lógicas na quais o princípio de identidade é relativizado para proposições no sentido que uma proposição não é consequência dela mesma, inspirada da lógica paraclássica introduzida por Newton da Costa. Outro artigo que pode interessar você é “The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions)” Studia Humana, Volume 9:3/4 (2020), pp. 19—36. https://sites.google.com/view/5th-logical-notion/ onde se discuta as noções lógicas de Tarski (identidade é umas das quarta) e a não axiomatibilizade do princípio de identidade na lógica de primeiro ordem. JYB
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAx8NVkdh88sYPQgnWCA8RQPKXf4T9sVbiCRCmBYQ0_6g%40mail.gmail.com.
