Viva, Samuel: O trabalho de mestrado do Oddsson que deu origem a isto, defendido há três anos, é interessante. É bacana que esta teoria paradefinida de conjuntos tenha sido desenvolvida sobre CLoNs, uma lógica que é simultaneamente uma LFI e uma LFU. Na minha opinião (bilateralista!), é um passo acertado trabalhar com conjuntos definidos pelo uso simultâneo de sua extensão e sua anti-extensão. Os matemáticos deveriam considerar fazer isso com mais frequência, desde a base. Uma relação binária, por exemplo, só é inteiramente especificada quando sabemos quais elementos estão conectados por ela *e* quais elementos não estão conectados por ela... Além disso, trazer "paraconsistência e paracompletude para o nível da meta-teoria", e levar em consideração como isso afeta o conceito de consequência lógica, me parece ser a forma mais adequada e satisfatória de se trabalhar com "conjuntos não-clássicos".
Noto que uma pergunta que os autores deixam em aberto no artigo é de que forma este tipo de arcabouço lógico poderia afetar fenômenos clássicos como a "inconsistência de Kunen". Seria interessante saber o que os matemáticos conjuntistas ---paraconsistentistas ou não--- terão a dizer sobre isso. []s, Joao Marcos On Fri, Jan 3, 2025 at 10:56 AM 'samuel' via LOGICA-L <logica-l@dimap.ufrn.br> wrote: > > Prezados, > > Feliz ano novo, > > Acabei de receber o anúncio da publicação do artigo abaixo, só li o abstract. > > Imagino que seja do interesse de vários membros da lista. > > Até breve > > []s Samuel > > https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/paraconsistent-and-paracomplete-zermelofraenkel-set-theory/FB0305E7BEDF217A163F36D99065B75E?utm_source=SFMC&utm_medium=email&utm_content=Article&utm_campaign=New%20Cambridge%20Alert%20-%20Issues&WT.mc_id=New%20Cambridge%20Alert%20-%20Issues > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > <logica-l@dimap.ufrn.br> > --- > 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+unsubscr...@dimap.ufrn.br. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/555d6513-fd8d-4eaa-9757-104183b9cb55n%40dimap.ufrn.br. -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@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+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhgDTVE9rnwoXMnYfEZ58-mpKWwnmZOF52vcLz7N_nebw%40mail.gmail.com.
