Teoria dos Conjuntos paraconsistente e paracompleta

[samuel]

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

[Walter Carnielli]

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
<logi...@dimap.ufrn.br> escreveu:

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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

[Joao Marcos]

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

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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/