Many-Valued Logic [SEP]
154 views
Skip to first unread message
Joao Marcos
May 27, 2025, 9:59:10 PM5/27/25
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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/
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/
Itala Maria Loffredo D'Ottaviano
May 27, 2025, 10:26:37 PM5/27/25
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Caro João Marcos:
Belíssimo texto.
Parabéns para você, para os co-autores e para a Stanford Encyclopedia of Philosophy!
Itala
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgUxJ3hFv4EArVB%2B5H1cTawuo9e9Nq3HQh4qbsxtaFo-Q%40mail.gmail.com.
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Member and Researcher of the Centre for Logic, Epistemology and the History of Science at the University of Campinas
Research Fellow of the Brazilian National Council for Scientific and Technological Development
Titular Member, Brazilian Academy of Philosophy (Rio de Janeiro)
Emeritus Member, Académie Internationale de Philosophie de Sciences (Bruxelles)
Titular Member, Institut International de Philosophie (Paris-Nancy)
Editor of Coleção CLE, by the Centre for Logic, Epistemology and the History of Science.
Evandro L. Gomes
May 29, 2025, 10:19:53 AM5/29/25
to Itala Maria Loffredo D'Ottaviano, Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Caro João,
Parabéns pela iniciativa e pelo resultado incrível que vocês estão disponibilizando à comunidade.
Abs,
Evandro.
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 logica-l+u...@dimap.ufrn.br.
Walter Carnielli
May 30, 2025, 6:11:21 PM5/30/25
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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),
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
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
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
Joao Marcos
Jan 17, 2026, 11:40:51 AMJan 17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
PessoALL:
O processo de HTML-izar o verbete da SEP demorou _bem_ mais do que eu
teria esperado, mas apraz-me comunicar que o mesmo finalmente está no
ar:
Many-Valued Logic
(JM & Adam Přenosil & Paul Egré)
https://plato.stanford.edu/entries/logic-manyvalued/
Espero que isto possa se revelar uma contribuição valiosa para a comunidade!
Saudações multivaluadas,
João Marcos
--
https://sites.google.com/site/sequiturquodlibet/
O processo de HTML-izar o verbete da SEP demorou _bem_ mais do que eu
teria esperado, mas apraz-me comunicar que o mesmo finalmente está no
ar:
Many-Valued Logic
(JM & Adam Přenosil & Paul Egré)
https://plato.stanford.edu/entries/logic-manyvalued/
Espero que isto possa se revelar uma contribuição valiosa para a comunidade!
Saudações multivaluadas,
João Marcos
https://sites.google.com/site/sequiturquodlibet/
Walter Carnielli
Jan 18, 2026, 12:40:24 PMJan 18
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Olá pessoal,
Parabéns ao João Marcos, Adam e Paul sobre a versão final de
Many-Valued Logic
(JM & Adam Přenosil & Paul Egré)
https://plato.stanford.edu/entries/logic-manyvalued/
Já estou lendo, muito boa!
Gostaria também de compartilhar aqui duas publicações disponíveis
de nossa lavra, que podem interessar a alguns(mas) colegas. A primeira
principalmente a quem se interessa por lambda-cálculo:
1) Agudelo-Agudelo J.C, Carnielli W. A. Formalisation of Constructive
Evidence-based Reasoning: Constructing Justifications. The Bulletin of
Symbolic Logic. Published online 2025:1-25. doi:10.1017/bsl.2025.10
Abstract: A Constructive Logic of Evidence and Truth (LETc) is
introduced. This logic is both paraconsistent and paracomplete (aka
paranormal),Evidence is explicitly formalised by integrating lambda
calculus terms into LETc, resulting in the type system LETλc. In this
system, lambda calculus terms represent procedures for constructing
evidence for compound formulas based on the evidence of their
constituent parts. A realisability interpretation is provided for
LETc, establishing a strong connection between deductions in this
system and recursive functions.
Código para baixar (legalmente!):
D9EE2B9A9F43041C752391FE66B1C8
2) Já enviei esta, mas se por acaso alguém perdeu, vai de novo:
“Paraconsistency and Paraconsistent Logics”
(Walter Carnielli and Pedro Carrasqueira)
Disponível em
https://elsevier-books-eproof.
International Encyclopedia of Language and Linguistics, 3rd edition
Abraços de Orange County,
Walter
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
https://www.name-coach.com/walter-carnielli
Parabéns ao João Marcos, Adam e Paul sobre a versão final de
Many-Valued Logic
(JM & Adam Přenosil & Paul Egré)
https://plato.stanford.edu/entries/logic-manyvalued/
Gostaria também de compartilhar aqui duas publicações disponíveis
de nossa lavra, que podem interessar a alguns(mas) colegas. A primeira
principalmente a quem se interessa por lambda-cálculo:
1) Agudelo-Agudelo J.C, Carnielli W. A. Formalisation of Constructive
Evidence-based Reasoning: Constructing Justifications. The Bulletin of
Symbolic Logic. Published online 2025:1-25. doi:10.1017/bsl.2025.10
Abstract: A Constructive Logic of Evidence and Truth (LETc) is
introduced. This logic is both paraconsistent and paracomplete (aka
paranormal),Evidence is explicitly formalised by integrating lambda
calculus terms into LETc, resulting in the type system LETλc. In this
system, lambda calculus terms represent procedures for constructing
evidence for compound formulas based on the evidence of their
constituent parts. A realisability interpretation is provided for
LETc, establishing a strong connection between deductions in this
system and recursive functions.
Código para baixar (legalmente!):
D9EE2B9A9F43041C752391FE66B1C8
2) Já enviei esta, mas se por acaso alguém perdeu, vai de novo:
“Paraconsistency and Paraconsistent Logics”
(Walter Carnielli and Pedro Carrasqueira)
Disponível em
https://elsevier-books-eproof.
International Encyclopedia of Language and Linguistics, 3rd edition
Abraços de Orange County,
Walter
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
Reply all
Reply to author
Forward
0 new messages