Pessoal, escrevo sobre o artigo que o Samuel anúncios recentemente: 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
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, é sobre um desenvolvimento satisfatório de forcing paraconsistente que possa resolver a questão se o Axioma da Escolha e a Hipótese Generalizada do Contínuo continuam a ser independentes à luz de uma teoria mais elástica, como a lógica paraconsistente. Giorgio Venturi e eu (quando ele era pós-doc supervisionado por mim no CLE), começamos, mas não chegamos a muita coisa. O desafio continua em pé. [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 -- 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/CA%2Bob58MfPDeY6mB_uuU4Rsi9%2BDCnOj%2Bzzm4G4%3D4E%3DRkrSRjqeA%40mail.gmail.com.
