Valeu, Jean-Yves! Muitíssimo obrigado!
Que bacana saber desse trabalho conjunto seu e do Décio nessa área! Agora sim temos munição para entrar nesse território. Vou dar uma olhada nos artigos e tentar assistir o evento que se aproxima. Obrigado mais uma vez! Abraço! M. Em sábado, 11 de julho de 2026, jean-yves beziau <[email protected]> escreveu: > 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ê recebeu essa mensagem porque está inscrito 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/CAF2zFLAx8NVkdh88sYPQgnWCA8RQP > KXf4T9sVbiCRCmBYQ0_6g%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAx8NVkdh88sYPQgnWCA8RQPKXf4T9sVbiCRCmBYQ0_6g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAA_hCxUVbdH0ApsPGCQAxyP2nSZhKgeo4zhDV8FGMkjuhZVhpA%40mail.gmail.com.
