Caro João: Parabéns a você, ao Adam Přenosil e ao Paul Égré pela excelente iniciativa e pelo ótimo artigo! Um trabalho de fôlego!
Por um lado senti que vocês poderiam ter dado um pouco mais de ênfase na relação intrínseca entre condicionais e lógica trivalentes (área em que o Égré é um campeão) mas imagino que vcs devem ter boas razões para isso. Por outro lado fiquei muito lisonjeado com a atenção dada aos "quantificadores de distribuição", uma ideia que eu tive meio no desespero em 1987 para tratar da quantificadores em lógicas multivalentes, quando não havia nada :-) Talvez vocês se interessem em saber que , como aplicação desses “distributing quantifiers”, demonstrei em 1987 — utilizando técnicas de contagem de subgrupos de Polya e passando noites nos computadores da Tolman Microcomputing Facility da Universidade da Califórnia em Berkeley — que existem exatamente 360 quantificadores perfeitos (aqueles que, como os clássicos “Qualquer” e “Existe”, conseguem gerar todos os outros) em lógicas de três valores: W. A. Carnielli. The Problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics. Volume 33, Issue 1, 1987, Pages 19-29. Zeitschr. f. math. Logik und Grundlagend. d. Math (disponível online em https://doi.org/10.1002/malq.19870330104), que depois se tornou o Mathematical Logic Quarterly. Um paper que ninguém leu :-) Vcs seriam os primeiros… Para lógicas com mais valores, o problema ainda está em aberto, mas certamente com máquinas mais velozes e outras técnicas, alguém conseguirá computar ou encontrar alguma fórmula geral. Talvez seja de interesse. Um grande abraço, Walter ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ Em ter., 27 de mai. de 2025 22:59, Joao Marcos <[email protected]> escreveu: > PessoALL: > > Gostaria de compartilhar com os colegas o novo verbete "Many-Valued > Logic", disponível em: > 🔗 https://tinyurl.com/SEP-MVL > > Escrito em coautoria com Adam Přenosil e Paul Égré, este texto foi > concebido para substituir o verbete homônimo atualmente publicado na > Stanford Encyclopedia of Philosophy [SEP]. O arquivo acessível a > partir do link acima está em (um lento) processo de conversão para > HTML e, em breve, dará origem à primeira versão oficial do novo > verbete na SEP. > > Este projeto foi desenvolvido com muito cuidado ao longo dos últimos > seis anos. O tema é vastíssimo e nossa abordagem é, acreditamos, > bastante distinta de tudo o que já foi publicado sobre o assunto. > Arrisco-me a dizer, aliás, que há no nosso verbete sobre lógica > multivalorada tópicos de interesse para praticamente qualquer > pesquisador que trabalhe nesta área. Embora não tenhamos a pretensão > de esgotar mais de um século de avanços nesse campo, buscamos oferecer > uma visão ampla e atualizada --- incluindo desenvolvimentos recentes, > alguns ainda no prelo. > > Sabemos que a tarefa de dar manutenção a um verbete como este é > contínua (e por vezes ingrata). Nestas circunstâncias, estaremos > permanentemente abertos a comentários e sugestões da comunidade, que > poderão ser incorporados em futuras atualizações do verbete --- que, > vale notar, já nasce mais rechonchudo e exuberante do que o verbete > médio da SEP. > > Abraços multivalorados, > João Marcos > > -- > https://sites.google.com/site/sequiturquodlibet/ > > -- > 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/CAO6j_LgUxJ3hFv4EArVB%2B5H1cTawuo9e9Nq3HQh4qbsxtaFo-Q%40mail.gmail.com > . > > -- 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/CAOrCsLev5vmEjPY%3D3b45m9riZ1wx5Kot-uJWsrwW3GLjdVMq0w%40mail.gmail.com.
