Bom artigo, mas Marcelo Coniglio e eu temos uma teoria de conjuntos paraconsistente bastante satisfatória ([1] e [2]), equiconsistente com ZF. Nossa teoria, porém, não é paracompleta. Nao vimos necessidade desse movimento.
Os autores citam [1], mas não citam [2], que propõe modelos. Uma das questões mais difíceis, que até agora ninguém conseguiu resolver (Giorgio Venturi e eu, quando ele era post-doc supervisionado por mim no CLE), começamos mas não chegamos a muita coisa. [1]- Carnielli, W.A , & Coniglio, M. E. (2016). Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation, 26(1), 97–116 [2]-Carnielli, W.A , & Coniglio, M. E. Twist-Valued Models for Three-Valued Paraconsistent Set Theory Logic and Logical Philosophy Vol. 30, no. 2, pp. 187-226, Disponivel on line: 2021https://apcz.umk.pl/LLP/article/view/LLP.2020.015 Abraços, Walter Em sex., 3 de jan. de 2025 às 05:56, 'samuel' via LOGICA-L <logica-l@dimap.ufrn.br> escreveu: > > 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. -- ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli -- 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/CAOrCsLdpsuvoaY-O%3D2aDgAJ%3DUqCMMrGh44cMyWaB8WxRZmjNOg%40mail.gmail.com.
