Leônidas Hegenberg escreveu um excelente livro sobre o tema da definição: https://www.amazon.com.br/Defini%C3%A7%C3%B5es-Te%C3%B3ricos-Significado-Leonidas-Hegenberg/dp/8531601061
Hegenberg foi aluno de Alfred Tarski, em Berkeley, e um dos fundadores da nossa Academia Brasileira de Filosofia. Para conhecer melhor sua trajetória: https://pt.wikipedia.org/wiki/Le%C3%B4nidas_Hegenberg Sobre a história da lógica no Brasil, recomendo também o seguinte trabalho: https://biblioteca.unesp.br/exlibris/bd/brc/33004137031P7/2007/moraes_cr_dr_rcla.pdf Junto com o Newton da Costa escrevi; "Définition, Théorie des Objets et Paraconsistance* Theoria: An International Journal for Theory, History and Foundations of Science, Volume 13, Issue 2, Mayo 1998 https://www.pdcnet.org/pdc/bvdb.nsf/purchase26?openform&fp=theoria&id=theoria_1998_0013_0002_0367_0379 Numa lógica que não seja self-extensional, como ocorre com a maioria das lógicas paraconsistentes, não é possível utilizar definições internas. No entanto, mesmo em uma lógica extensional, a questão não se resolve de maneira direta. Trata-se de um problema clássico discutido pela Escola Polonesa de Lógica, especialmente por Leśniewski, Łukasiewicz e Tarski, mas ainda pouco conhecido, ver: - Pierre Joray, “La définition dans les systèmes logiques de Łukasiewicz, Leśniewski et Tarski”, in Pouivet R. & Rebuschi M. (eds), La philosophie en Pologne 1918-1939, Paris: Vrin, 2006, 203-222. - Pierre Joray, “Axiomatiques minimales et définitions. La thèse de Tarski sur le calcul biconditionnel”, Travaux de Logique 20(2011), 57-83. A questão da definição situa-se tipicamente na interseção entre filosofia, matemática e lógica. Sem uma visão geral, torna-se difícil compreender plenamente o problema. Uma das conferências principais do nosso evento “O que é isto? Eis a questão!” será “What Is a Platonic Definition?”, apresentada por Sylvain Delcomminette, da Université libre de Bruxelles, um dos maiores especialistas no assunto. https://sites.google.com/view/what-is-it/k-speakers A definição constitui o ponto de partida — o primeiro dos onze procedimentos utilizados para responder à pergunta “O que é?”. https://sites.google.com/view/what-is-it/methodology Todas e todos são muito bem-vindos a participar do nosso evento, que será realizado integralmente de forma presencial, em um dos lugares mais bonitos do mundo, com objetivo de tornar Rio de Janeiro a capital mundial da filosofia: https://sites.google.com/view/what-is-it/premio-filosofia A programação contará com um show de Mariana de Moraes, figura emblemática da cultura carioca: https://www.viniciusdemoraes.com.br/br/noticias/noticia/8/mariana-de-moraes-lanca-album-em-homenagem-ao-avo-vinicius E também um coquetel de boas-vindas oferecido pelo cônsul da Suíça no Rio de Janeiro, cujo consulado está apoiando o evento: https://mw.weaver.ch/f/view.aspx?111643FDDDA1F5241C9EF1F664AC9E315664AD4DA1F6743D4EC1458D31AB 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/CAF2zFLAFsLTjNoqwnWHZLNxuOwdFaT0dM35Ao92P4XprK-c64g%40mail.gmail.com.
