Hegenberg foi aluno de Alfred Tarski, em Berkeley, e um dos fundadores da nossa Academia Brasileira de Filosofia.
Para conhecer melhor sua trajetória:
Sobre a história da lógica no Brasil, recomendo também o seguinte trabalho:
Junto com o Newton da Costa escrevi;
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.
A definição constitui o ponto de partida — o primeiro dos onze procedimentos utilizados para responder à pergunta “O que é?”.
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:
A programação contará com um show de Mariana de Moraes, figura emblemática da cultura carioca:
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:
JYB