Caros,
Na nossa mensagem anterior, o sinal de [fim da citação] da segunda
citação deveria ir logo após a frase
"Por essa razão uma estrutura a valores em PS3 não pode fornecer modelos
de ZF completo. Deve necessariamente haver algo errado no segundo resultado
principal Teorema 9.4!>>"
Prezados Sourav e Giorgio
Muito obrigado mais uma vez pelas observações. No entanto, infelizmente tem
alguns erros de argumentação que acabam invalidando as mesmas.
Antes de prosseguir, gostaríamos de passar a limpo os objetivos das suas
críticas, (1) e (2).
A crítica (1) visa mostrar que nosso
Caro Marcelo e Walter,
Obrigado pelo e-mail. Depois de lê-lo, continuamos a insistir nos pontos
matemáticos que mencionámos no nosso e-mail anterior, que diz precisamente
o seguinte.
(1) Nós não dissemos que a estrutura twisted para a lógica LPT0 é booleana:
é claro que ela contém duas negações
Caros Sourav e Giorgio,
Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo, mas
gostaríamos de esclarecer alguns enganos de vossa parte na apreciação dos
resultados.
(1) Vocês afirmam "Em primeiro lugar, a validade nas estruturas Twisted,
que são as novas estruturas
Caros membros da lista de lógica,
Escrevemos a respeito do artigo recentemente (5 de dezembro) publicado
nesta lista: "Twist-Valued Models for Three-Valued Paraconsistent Set
Theory", de Carnielli e Coniglio. Em razão do tema, tão próximo ao nosso
trabalho, sentimos a necessidade de apontar
De fato, nós pelo menos nunca falamos em "conjuntos paraconsistentes ".
Referimo-nos à teoria paraconsistente de conjuntos:
https://link.springer.com/chapter/10.1007%2F978-3-319-33205-5_8
Falar em "conjuntos paraconsitentes " seria um erro categorial, seria como
se referir a uma "situação
A minha intuição aqui, continuando a falar de modo alegórico, é que a
matemática pura não dói. Assim como as estórias ficcionais não doem. Uma
aplicação não-matemática seria qualquer coisa que dói. A tecnologia dói,
mas a aplicação (não-matemática) nem precisa ser tecnológica. A organização
> Os conjuntos paraconsistentes existem?
Em princípio, o uso da terminologia "conjunto paraconsistente" parece
bastante infeliz, já que o adjetivo em questão se aplica usualmente à
noção de consequência subjacente à teoria em questão (e não aos
objetos cuja existência seria sancionada por tal
Entendo sua intuição. Mas, não saberia definir o que é uma aplicação
não-matemática. Com auxílio da matemática todos os dias resolvemos problemas
difíceis e criamos ferramentas úteis para nosso cotidiano, como o sistema de
GPS, o termostato que regula o ar condicionado, o controle remoto da TV
Oi Tony,
Ou seja, dir-se-á que não existem os unicórnios porque podemos ignorá-los
> já que eles não podem atacar-nos com seus chifres, ao contrário dos
> rinocerontes.
> Mas, então qual seria a consequência de ignorar conjuntos
> paraconsistentes? Qual seria o dano?
>
Acho que esta é a
Ou seja, dir-se-á que não existem os unicórnios porque podemos ignorá-los
já que eles não podem atacar-nos com seus chifres, ao contrário dos
rinocerontes.
Mas, então qual seria a consequência de ignorar conjuntos paraconsistentes?
Qual seria o dano?
Em seg, 9 de dez de 2019 16:39, 'Durante' via
Prezados,
Aqui vão meus "dois tostões" de comentários alegóricos sobre o formalismo.
O que é isso que existe, que uma formalização bem definida indica existir?
Acho que o formalismo jamais chega àquilo que existe, mas apenas ao
conceito daquilo que se considera que existe. A formalização, como
Prezado Walter e lista,
Coincido contigo, que o formalismo ---e fundamentalmente o de Hilbert,
entre tantas variantes dele--- é uma saída "confortável" e eu
acrescentaria: genial. Além disso, o formalismo foi apresentado mais de uma
vez como uma alternativa ao idealismo-platonismo.
O problema
Prezado JM e lista,
Lembro-me de que Klimovsky considerava uma teoria científica como um
conjunto de objetos linguísticos, seja um conjunto de proposições, seja um
conjunto de asserções, etc. Então estava forçado a recorrer a algum
procedimento que fornecesse os detalhes da semântica. Poderiam
Olá Carlos e tod@s,
SIm, é a velha questão da existência, mas não somente em matemática.
Na matemática temos a questão da existência dos números complexos,
do infinito,do ponto...mas também fora disso há a questão da
existência do estilo, do bom gosto, etc. O formalismo é uma saída.
Caro Walter e lista,
Ai, a velha questão da existência em matemática!
Parece que o tua posição está inspirada de alguma maneira em Hilbert ou no
formalismo, quando você escreve:
>>>
É natural aceitar esta noção de "existir" como "estrutura.
matemática definida rigorosamente".
<<<
Se não
> Pois é, mas se pensarmos em termos de linguagem, ou seja,
> que uma teoria é uma coleção de asserções, ainda temos diante
> de nós o dilema sobre qual visão semântica é a mais adequada
> para aquela linguagem: se uma que considera somente os cavalos
> ou "aceita também os unicórnios".
A
Coincidentemente (?), o Sourav Tarafder fez uma excelente exposição do
trabalho precursor dele sobre o tema, esta tarde, na USP:
1st Workshop "Studies in Mathematical Workshop"
https://sites.google.com/site/studiesinmathematicallogic/programa
Vocês têm sorte de poder dialogar diretamente com ele
Pois é, mas se pensarmos em termos de linguagem, ou seja, que uma teoria é
uma coleção de asserções, ainda temos diante de nós o dilema sobre qual
visão semântica é a mais adequada para aquela linguagem: se uma que
considera somente os cavalos ou "aceita também os unicórnios".
Eu, se fosse
Oi Tony,
A pergunta é boa. E a minha resposta, da maneira mais simples
possível, vai ser também. :-)
A teoria de conjuntos clássica (standard) é apenas uma coleção de
sentenças. O que garante a "existência" dos conjuntos clássicos?
Seus modelos, levando em conta o Axioma do Infinito.
Mas o
Caro Walter,
Já que levantou o assunto, vou fazer uma pergunta:
Os conjuntos paraconsistentes existem?
Uma paráfrase possível para essa pergunta: o que garante a existência de
conjuntos paraconsistentes?
Obrigado
Em qui, 5 de dez de 2019 12:36, Walter Carnielli
escreveu:
> Caros colegas:
>
Caros colegas:
Em vista do interesse do assunto, julgamos apropriado divulgar,
abraços,
Walter
=
Twist-Valued Models for Three-valued Paraconsistent Set Theory
W. Carnielli and M. E. Coniglio
https://arxiv.org/pdf/1911.11833.pdf
Light abstract:
Paraconsistent set
22 matches
Mail list logo
