Conheci David Miller em 1992 na USP, durante sua primeira visita ao Brasil, uma visita a Newton da Costa, com quem eu estava trabalhando na época. Em 1996, foi membro da banca do meu doutorado de filosofia na USP, "Sobre a verdade lógica" . Eu o encontrei regularmente em diferentes partes do mundo ao longo dos anos. Participou da quinta edição do congresso mundial de paraconsistência que organizei na Índia em 2014 com Mihir Chakraborty, bem como da sexta edição do UNILOG que organizei em Vichy na França em 2018. Também falei com ele muitas vezes por e-mail. Um dos nossos pontos comuns de interesse foi o teorema de Lindenbaum (que Wojciech Dzik, que também tive o prazer de conhecer, mostrou equivalente ao axioma da escolha). Ver: David W. Miller, "Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice", publicado no primeiro número de Logica Universalis, Volume 1, pp. 183–199, (2007) https://link.springer.com/journal/11787/volumes-and-issues/1-1 Jean-Yves Beziau, “La véritable portée du théorème de Lindenbaum-Asser”, Logique et Analyse, 167-168 (1999), pp.341-359. https://www.jyb-logic.org/papers/lindenbaum-asser.pdf Wojciech Dzik, "The Existence of Lindenbaums Extensions is Equivalent to the Axiom of Choice", Reports on Mathematical Logic, 31 (1981) pp. 13:29 https://www.researchgate.net/publication/257825123_The_Existence_of_Lindenbaums_Extensions_is_Equivalent_to_the_Axiom_of_Choice David Miller foi aluno e assistente de Karl Popper na LSE em Londres, bem como Joseph Agassi com quem ele era amigo. https://en.wikipedia.org/wiki/Joseph_Agassi Tive a oportunidade de visitar Agassi na casa dele em Tel Aviv e de fazer uma entrevista-vídeo dele dentro do meu projeto com Catherine Chantilly sobre os mais importantes filósofos vivos, no momento só foi publicada a parte relacionada com a França: Filosofia Viva Cat Chantilly e JYB - Entrevistas de François Laruelle, Alain Badiou e Jean-Luc Marion https://www.youtube.com/watch?v=ajyUaWfOVbs
-- 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/CAF2zFLCp%3D7xVg6C4_kAJDdkU6zU9pgMu6aBrdZr70Fxts_hYiQ%40mail.gmail.com.
