Re: [Logica-l] Re: Lógica para cegos

2018-09-20 Por tôpico Luiz Henrique 
Grato!

*Luiz Henrique da Silva Santos*
Graduando em Filosofia - UFAL
Bolsista de iniciação científica pelo CNPq
Lattes: http://lattes.cnpq.br/662785085298


Em qua, 19 de set de 2018 às 16:57, jyb  escreveu:

> Sempre tive interesse para este assunto, no UNILOG'2013
> https://www.uni-log.org/enter-rio
> convidei o Laurence Goldstein para dara um tutorial sobre isso, nesta
> pagina pode encontrar info:
> https://www.uni-log.org/t4-blind.html
> JYB
>
> Le mercredi 19 septembre 2018 14:25:49 UTC+2, Luiz Henrique a écrit :
>>
>> Um trend em outra lista despertou essa curiosidade: alguém conhece bons
>> materiais de introdução à lógica para cegos?
>>
>> Cordialmente,
>>
>> *Luiz Henrique da Silva Santos*
>> Graduando em Filosofia - UFAL
>> Bolsista de iniciação científica pelo CNPq
>> Lattes: http://lattes.cnpq.br/662785085298
>>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9a2ab898-06f3-4a68-9ffa-744d2e2f7961%40dimap.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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEF_tpPvoj7LGd8j%2BX6CuHfdnKkDph63%2BXtQxzG4PhkHU3gw%2BA%40mail.gmail.com.

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Manuel Doria 
Eu tinha dado margem para dúvidas mas dadas essas generalizações ignorantes
e arrogantes sobre a lógica matemática e o positivismo lógico, o
charlatanismo de Mário Ferreira dos Santos nesses tópicos ficou evidente.

[ ]'s

On Thu, Sep 20, 2018 at 8:18 AM Joao Marcos  wrote:

> > Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem
> um documento chamado "O homem livre"
> > Aqui está o link:
> https://bibdig.biblioteca.unesp.br/bitstream/handle/10/8974/o-homem-livre-1965-0002.pdf?sequence=2
>
> Agradeço pelo link.
>
> * * *
>
> O texto "Os sinais, um tema de máxima atualidade" é _muito_ divertido.
> Cito:
>
> "Hoje em dia, em face do desenvolvimento das chamadas lógicas
> matemáticas, lógicas simbólicas, etc, e da proliferação de livros
> sobre o tema dos sinais e da Lógica, não podemos deixar de contribuir,
> dentro de nossas forças, com algo no intuito de dissipar tanta treva,
> tanta sombra, tanta confusão que se faz aqui, que mais tem servido
> para confundir os já confusos, e ameaça precipitar naquela aqueles que
> ainda não foram arrastados para esse abismo.
>
> [...]
>
> Assumiremos, portanto, uma série de compromissos, que passamos a enumerar:
>
> 1) que o conceito de sinal, como é comumente aceito por tais autores,
> além de confuso é falso;
>
> 2) que a lógica matemática, quanto às suas contribuições verdadeiras,
> estas já estão contidas na Lógica clássica, as outras são por sua vez
> falsas;
>
> 3) que a problemática apresentada é produto de deficiência e não de
> proficiência;
>
> 4) que a quase totalidade dos chamados lógicos modernos, que seguem o
> que freqüentemente se chama logística, pensam que a lógica clássica é
> apenas a Lógica Formal, e quase nada entendem da Lógica Predicamental,
> da Lógica Material e da Lógica Demonstrativa, nem das mais altas
> investigações da boa Dialética;
>
> 5) que essa lógica, em vez de desenvolver mentalmente o homem, tende a
> mecanizá-lo;
>
> 6) que há uma série de problemas lógicos, que ela não é apta a
> resolver, enquanto seguindo-se os caminhos da lógica clássica são eles
> solucionáveis;
>
> 7) que no âmbito da lógica simbólica, e entre os logísticos em geral,
> há uma heterogeneidade de opiniões e que cada um repele o que o outro
> diz, havendo entre seus seguidores controvérsias que ultrapassam os
> limites do ridículo e raiam os da loucura;
>
> 8) que a maioria revela um atrevimento tolo e caricaturiza o que foi
> feito, quando não maliciosamente deforma o que se realizou, com
> inequívoca manifestação de má fé;
>
> 9) que são considerados como «sumidades», rematados tolos pretenciosos;
>
> 10) que, enfim, se queremos lutar por algo que leve avante os estudos
> lógicos, precisamos saber percorrer com sinceridade e honestidade os
> caminhos que foram traçados pelos grandes gregos e pelos escolásticos,
> sob pena de estarmos rejeitando um patrimônio cultural que não
> pertence a nenhum setor, mas, sim, à humanidade."
>
> * * *
>
> O texto "Os netinhos da Filosofia" também parece oportuno citar:
>
> "Quando alguém é avô conhece uma das mais deliciosas experiências. É a
> dos netinhos que lhe dão conselhos, ou que pretendem explicar-lhe
> coisas que êle conhece de sobejo. «Vovô não ande na chuva, que faz
> mal...» ou «ah! isso é assim, vovô. Vou ensinar ao senhor como é. . .»
> A ingenuidade infantil comove, traz consigo uma beleza que provoca
> emoções estéticas até.
>
> Mas tudo isso, que é cheio de beleza na criança, é cheio de ridículo
> quando vemos proceder assim adultos. É o espetáculo que oferecem esses
> cavalheiros do Circulo de Viena e dos sub-círculos que proliferam
> entre nós, desses logísticos que não conhecem a Lógica, e que, como
> outras crianças, vêm dar conselhos e lições aos que conhecem a matéria
> melhor que eles. Vem descobrir coisas já velhas e descobertas, e,
> pior, já postas na lata de lixo, que eles vão remexer e apresentar
> como novidades estupendas. São os netinhos da filosofia moderna. . .
>
> No futuro, iremos mostrar as suas inúmeras ingenuidades. Mas há uma
> diferença: é que a ingenuidade infantil é deliciosa, e a desses
> bárbaros, casados, vacinados, é simplesmente ridícula. Mas, assim como
> os netinhos causam assombro aos de sua idade, também esses adultos
> assombram como Vascos da Gama, descobridores de um novo mundo para
> outros de mente infantil de nossa época, que desconhecem, o que já se
> fêz sobre a matéria."
>
> * * *
>
> JM
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse
>

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Evandro L. Gomes 
Caro Augusto,

Obrigado pela referência.

abs,
Evandro.

On Thu, Sep 20, 2018 at 10:18 AM Augusto Andraus  wrote:

> Olá Ricardo,
>
> Recentemente investiguei (de forma muito breve) esse assunto, e encontrei
> este paper aqui:
>
>
> https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A
>
> O paper também tem uma lista de referências bibliográficas bastante
> interessante.
>
> Abraços,
> -- Augusto
>
>
> On Thu, Sep 20, 2018 at 9:48 AM Ricardo Grande 
> wrote:
>
>> Olá, bom dia. Uma estudante minha de matemática me perguntou se existe
>> alguma referência de Russell mencionando, comentando ou discutindo os
>> teoremas de Gödel de 1931.
>> Eu procurei por algo na net, não vi nada sólido.
>> Se alguém tiver alguma referência, eu vou repassar para a estudante.
>> Eu já havia me perguntado isso, mas não sei de menção do lógico britânico
>> ao gênio de Brünn.
>> abraços, R.
>>
>> --
>>
>> "The evil that men do lives after them; The good is oft interred with
>> their bones.” W. Shakeaspeare, J.C.
>>
>> "The good men do is oft interred with their bones, but the evil that men
>> do lives on". B. Dickinson.
>>
>> "(...) há animais humanos mentalmente retardados cujos cérebros
>> envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de 
>> *Cibernética
>> e Sociedade*.
>>
>> "De qualquer forma, se existe uma realidade independente do homem, também
>> existe a verdade relativa a esta realidade; e de certa forma a negação da
>> primeira gera a negação da existência da seguinte" Einstein em seus
>> diálogos com Tagore.
>>
>>
>>
>> --
>> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com
>> 
>> .
>>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACFLrnNDhPQ3cO%2BF2xLPH%2BL6eicMdnkOXaJKvZXruGNixoOVUg%40mail.gmail.com
> 
> .
>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DrAHO-v7%2BYvDku_Ps8r7E2O4j%3DNG5wdz0Vd5pfxhC_PwQ%40mail.gmail.com.

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Jessé Silva 
Divertido mesmo, ainda mais quando faz referências a este tipo de pessoa.
Confesso que dou gargalhadas...

Em qui, 20 de set de 2018 às 09:42, Famadoria 
escreveu:

> Desculpem-me, mas que bestialógico!
>
> Sent from my iPhone
>
> On 20 Sep 2018, at 08:19, Joao Marcos  wrote:
>
> >> Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem
> um documento chamado "O homem livre"
> >> Aqui está o link:
> https://bibdig.biblioteca.unesp.br/bitstream/handle/10/8974/o-homem-livre-1965-0002.pdf?sequence=2
> >
> > Agradeço pelo link.
> >
> > * * *
> >
> > O texto "Os sinais, um tema de máxima atualidade" é _muito_ divertido.
> Cito:
> >
> > "Hoje em dia, em face do desenvolvimento das chamadas lógicas
> > matemáticas, lógicas simbólicas, etc, e da proliferação de livros
> > sobre o tema dos sinais e da Lógica, não podemos deixar de contribuir,
> > dentro de nossas forças, com algo no intuito de dissipar tanta treva,
> > tanta sombra, tanta confusão que se faz aqui, que mais tem servido
> > para confundir os já confusos, e ameaça precipitar naquela aqueles que
> > ainda não foram arrastados para esse abismo.
> >
> > [...]
> >
> > Assumiremos, portanto, uma série de compromissos, que passamos a
> enumerar:
> >
> > 1) que o conceito de sinal, como é comumente aceito por tais autores,
> > além de confuso é falso;
> >
> > 2) que a lógica matemática, quanto às suas contribuições verdadeiras,
> > estas já estão contidas na Lógica clássica, as outras são por sua vez
> > falsas;
> >
> > 3) que a problemática apresentada é produto de deficiência e não de
> > proficiência;
> >
> > 4) que a quase totalidade dos chamados lógicos modernos, que seguem o
> > que freqüentemente se chama logística, pensam que a lógica clássica é
> > apenas a Lógica Formal, e quase nada entendem da Lógica Predicamental,
> > da Lógica Material e da Lógica Demonstrativa, nem das mais altas
> > investigações da boa Dialética;
> >
> > 5) que essa lógica, em vez de desenvolver mentalmente o homem, tende a
> > mecanizá-lo;
> >
> > 6) que há uma série de problemas lógicos, que ela não é apta a
> > resolver, enquanto seguindo-se os caminhos da lógica clássica são eles
> > solucionáveis;
> >
> > 7) que no âmbito da lógica simbólica, e entre os logísticos em geral,
> > há uma heterogeneidade de opiniões e que cada um repele o que o outro
> > diz, havendo entre seus seguidores controvérsias que ultrapassam os
> > limites do ridículo e raiam os da loucura;
> >
> > 8) que a maioria revela um atrevimento tolo e caricaturiza o que foi
> > feito, quando não maliciosamente deforma o que se realizou, com
> > inequívoca manifestação de má fé;
> >
> > 9) que são considerados como «sumidades», rematados tolos pretenciosos;
> >
> > 10) que, enfim, se queremos lutar por algo que leve avante os estudos
> > lógicos, precisamos saber percorrer com sinceridade e honestidade os
> > caminhos que foram traçados pelos grandes gregos e pelos escolásticos,
> > sob pena de estarmos rejeitando um patrimônio cultural que não
> > pertence a nenhum setor, mas, sim, à humanidade."
> >
> > * * *
> >
> > O texto "Os netinhos da Filosofia" também parece oportuno citar:
> >
> > "Quando alguém é avô conhece uma das mais deliciosas experiências. É a
> > dos netinhos que lhe dão conselhos, ou que pretendem explicar-lhe
> > coisas que êle conhece de sobejo. «Vovô não ande na chuva, que faz
> > mal...» ou «ah! isso é assim, vovô. Vou ensinar ao senhor como é. . .»
> > A ingenuidade infantil comove, traz consigo uma beleza que provoca
> > emoções estéticas até.
> >
> > Mas tudo isso, que é cheio de beleza na criança, é cheio de ridículo
> > quando vemos proceder assim adultos. É o espetáculo que oferecem esses
> > cavalheiros do Circulo de Viena e dos sub-círculos que proliferam
> > entre nós, desses logísticos que não conhecem a Lógica, e que, como
> > outras crianças, vêm dar conselhos e lições aos que conhecem a matéria
> > melhor que eles. Vem descobrir coisas já velhas e descobertas, e,
> > pior, já postas na lata de lixo, que eles vão remexer e apresentar
> > como novidades estupendas. São os netinhos da filosofia moderna. . .
> >
> > No futuro, iremos mostrar as suas inúmeras ingenuidades. Mas há uma
> > diferença: é que a ingenuidade infantil é deliciosa, e a desses
> > bárbaros, casados, vacinados, é simplesmente ridícula. Mas, assim como
> > os netinhos causam assombro aos de sua idade, também esses adultos
> > assombram como Vascos da Gama, descobridores de um novo mundo para
> > outros de mente infantil de nossa época, que desconhecem, o que já se
> > fêz sobre a matéria."
> >
> > * * *
> >
> > JM
> >
> > --
> > 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> > Visite este grupo em
>

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Ricardo Grande 
Obrigado, Augusto :)

Em 20 de setembro de 2018 10:18, Augusto Andraus 
escreveu:

> Olá Ricardo,
>
> Recentemente investiguei (de forma muito breve) esse assunto, e encontrei
> este paper aqui:
>
> https://www.cambridge.org/core/journals/bulletin-of-
> symbolic-logic/article/div-classtitlerussell-and-godeldiv/
> 0C347F171985A54395CDA89D31C4A59A
>
> O paper também tem uma lista de referências bibliográficas bastante
> interessante.
>
> Abraços,
> -- Augusto
>
>
> On Thu, Sep 20, 2018 at 9:48 AM Ricardo Grande 
> wrote:
>
>> Olá, bom dia. Uma estudante minha de matemática me perguntou se existe
>> alguma referência de Russell mencionando, comentando ou discutindo os
>> teoremas de Gödel de 1931.
>> Eu procurei por algo na net, não vi nada sólido.
>> Se alguém tiver alguma referência, eu vou repassar para a estudante.
>> Eu já havia me perguntado isso, mas não sei de menção do lógico britânico
>> ao gênio de Brünn.
>> abraços, R.
>>
>> --
>>
>> "The evil that men do lives after them; The good is oft interred with
>> their bones.” W. Shakeaspeare, J.C.
>>
>> "The good men do is oft interred with their bones, but the evil that men
>> do lives on". B. Dickinson.
>>
>> "(...) há animais humanos mentalmente retardados cujos cérebros
>> envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de 
>> *Cibernética
>> e Sociedade*.
>>
>> "De qualquer forma, se existe uma realidade independente do homem, também
>> existe a verdade relativa a esta realidade; e de certa forma a negação da
>> primeira gera a negação da existência da seguinte" Einstein em seus
>> diálogos com Tagore.
>>
>>
>>
>> --
>> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em https://groups.google.com/a/
>> dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/
>> dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%
>> 3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com
>> 
>> .
>>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CACFLrnNDhPQ3cO%2BF2xLPH%
> 2BL6eicMdnkOXaJKvZXruGNixoOVUg%40mail.gmail.com
> 
> .
>



-- 

"The evil that men do lives after them; The good is oft interred with their
bones.” W. Shakeaspeare, J.C.

"The good men do is oft interred with their bones, but the evil that men do
lives on". B. Dickinson.

"(...) há animais humanos mentalmente retardados cujos cérebros
envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de
*Cibernética
e Sociedade*.

"De qualquer forma, se existe uma realidade independente do homem, também
existe a verdade relativa a esta realidade; e de certa forma a negação da
primeira gera a negação da existência da seguinte" Einstein em seus
diálogos com Tagore.

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz6vHnhgFU3EYNfhT0eqUWVAJ58hDAP5wGsyV1Opp21dJg%40mail.gmail.com.

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Augusto Andraus 
Olá Ricardo,

Recentemente investiguei (de forma muito breve) esse assunto, e encontrei
este paper aqui:

https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A

O paper também tem uma lista de referências bibliográficas bastante
interessante.

Abraços,
-- Augusto


On Thu, Sep 20, 2018 at 9:48 AM Ricardo Grande 
wrote:

> Olá, bom dia. Uma estudante minha de matemática me perguntou se existe
> alguma referência de Russell mencionando, comentando ou discutindo os
> teoremas de Gödel de 1931.
> Eu procurei por algo na net, não vi nada sólido.
> Se alguém tiver alguma referência, eu vou repassar para a estudante.
> Eu já havia me perguntado isso, mas não sei de menção do lógico britânico
> ao gênio de Brünn.
> abraços, R.
>
> --
>
> "The evil that men do lives after them; The good is oft interred with
> their bones.” W. Shakeaspeare, J.C.
>
> "The good men do is oft interred with their bones, but the evil that men
> do lives on". B. Dickinson.
>
> "(...) há animais humanos mentalmente retardados cujos cérebros
> envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de 
> *Cibernética
> e Sociedade*.
>
> "De qualquer forma, se existe uma realidade independente do homem, também
> existe a verdade relativa a esta realidade; e de certa forma a negação da
> primeira gera a negação da existência da seguinte" Einstein em seus
> diálogos com Tagore.
>
>
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com
> 
> .
>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACFLrnNDhPQ3cO%2BF2xLPH%2BL6eicMdnkOXaJKvZXruGNixoOVUg%40mail.gmail.com.

[Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Ricardo Grande 
Olá, bom dia. Uma estudante minha de matemática me perguntou se existe
alguma referência de Russell mencionando, comentando ou discutindo os
teoremas de Gödel de 1931.
Eu procurei por algo na net, não vi nada sólido.
Se alguém tiver alguma referência, eu vou repassar para a estudante.
Eu já havia me perguntado isso, mas não sei de menção do lógico britânico
ao gênio de Brünn.
abraços, R.

-- 

"The evil that men do lives after them; The good is oft interred with their
bones.” W. Shakeaspeare, J.C.

"The good men do is oft interred with their bones, but the evil that men do
lives on". B. Dickinson.

"(...) há animais humanos mentalmente retardados cujos cérebros
envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de
*Cibernética
e Sociedade*.

"De qualquer forma, se existe uma realidade independente do homem, também
existe a verdade relativa a esta realidade; e de certa forma a negação da
primeira gera a negação da existência da seguinte" Einstein em seus
diálogos com Tagore.

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%40mail.gmail.com.

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Famadoria 
Desculpem-me, mas que bestialógico!

Sent from my iPhone

On 20 Sep 2018, at 08:19, Joao Marcos  wrote:

>> Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem um 
>> documento chamado "O homem livre"
>> Aqui está o link: 
>> https://bibdig.biblioteca.unesp.br/bitstream/handle/10/8974/o-homem-livre-1965-0002.pdf?sequence=2
> 
> Agradeço pelo link.
> 
> * * *
> 
> O texto "Os sinais, um tema de máxima atualidade" é _muito_ divertido.  Cito:
> 
> "Hoje em dia, em face do desenvolvimento das chamadas lógicas
> matemáticas, lógicas simbólicas, etc, e da proliferação de livros
> sobre o tema dos sinais e da Lógica, não podemos deixar de contribuir,
> dentro de nossas forças, com algo no intuito de dissipar tanta treva,
> tanta sombra, tanta confusão que se faz aqui, que mais tem servido
> para confundir os já confusos, e ameaça precipitar naquela aqueles que
> ainda não foram arrastados para esse abismo.
> 
> [...]
> 
> Assumiremos, portanto, uma série de compromissos, que passamos a enumerar:
> 
> 1) que o conceito de sinal, como é comumente aceito por tais autores,
> além de confuso é falso;
> 
> 2) que a lógica matemática, quanto às suas contribuições verdadeiras,
> estas já estão contidas na Lógica clássica, as outras são por sua vez
> falsas;
> 
> 3) que a problemática apresentada é produto de deficiência e não de
> proficiência;
> 
> 4) que a quase totalidade dos chamados lógicos modernos, que seguem o
> que freqüentemente se chama logística, pensam que a lógica clássica é
> apenas a Lógica Formal, e quase nada entendem da Lógica Predicamental,
> da Lógica Material e da Lógica Demonstrativa, nem das mais altas
> investigações da boa Dialética;
> 
> 5) que essa lógica, em vez de desenvolver mentalmente o homem, tende a
> mecanizá-lo;
> 
> 6) que há uma série de problemas lógicos, que ela não é apta a
> resolver, enquanto seguindo-se os caminhos da lógica clássica são eles
> solucionáveis;
> 
> 7) que no âmbito da lógica simbólica, e entre os logísticos em geral,
> há uma heterogeneidade de opiniões e que cada um repele o que o outro
> diz, havendo entre seus seguidores controvérsias que ultrapassam os
> limites do ridículo e raiam os da loucura;
> 
> 8) que a maioria revela um atrevimento tolo e caricaturiza o que foi
> feito, quando não maliciosamente deforma o que se realizou, com
> inequívoca manifestação de má fé;
> 
> 9) que são considerados como «sumidades», rematados tolos pretenciosos;
> 
> 10) que, enfim, se queremos lutar por algo que leve avante os estudos
> lógicos, precisamos saber percorrer com sinceridade e honestidade os
> caminhos que foram traçados pelos grandes gregos e pelos escolásticos,
> sob pena de estarmos rejeitando um patrimônio cultural que não
> pertence a nenhum setor, mas, sim, à humanidade."
> 
> * * *
> 
> O texto "Os netinhos da Filosofia" também parece oportuno citar:
> 
> "Quando alguém é avô conhece uma das mais deliciosas experiências. É a
> dos netinhos que lhe dão conselhos, ou que pretendem explicar-lhe
> coisas que êle conhece de sobejo. «Vovô não ande na chuva, que faz
> mal...» ou «ah! isso é assim, vovô. Vou ensinar ao senhor como é. . .»
> A ingenuidade infantil comove, traz consigo uma beleza que provoca
> emoções estéticas até.
> 
> Mas tudo isso, que é cheio de beleza na criança, é cheio de ridículo
> quando vemos proceder assim adultos. É o espetáculo que oferecem esses
> cavalheiros do Circulo de Viena e dos sub-círculos que proliferam
> entre nós, desses logísticos que não conhecem a Lógica, e que, como
> outras crianças, vêm dar conselhos e lições aos que conhecem a matéria
> melhor que eles. Vem descobrir coisas já velhas e descobertas, e,
> pior, já postas na lata de lixo, que eles vão remexer e apresentar
> como novidades estupendas. São os netinhos da filosofia moderna. . .
> 
> No futuro, iremos mostrar as suas inúmeras ingenuidades. Mas há uma
> diferença: é que a ingenuidade infantil é deliciosa, e a desses
> bárbaros, casados, vacinados, é simplesmente ridícula. Mas, assim como
> os netinhos causam assombro aos de sua idade, também esses adultos
> assombram como Vascos da Gama, descobridores de um novo mundo para
> outros de mente infantil de nossa época, que desconhecem, o que já se
> fêz sobre a matéria."
> 
> * * *
> 
> JM
> 
> -- 
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhQ8RT%2B8mbA5WZ%3Dd%3D_mVhngEd2NzKFvYmkSO7L%3DSxDkKw%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse

[Logica-l] Dados em Lógica de Descrição EL (OWL-EL)

2018-09-20 Por tôpico Marcelo Finger 
Caros.

Alguém conhece bases de dados (ontologias) públicas escritas na linguagem
de lógica de descrição EL (ou EL++) ou em sua sintaxe oficial, OWL-EL?

Agradeço de antemão qualquer ajuda e me comprometo a enviar à lista a lista
de sites que eu compilar.

[]s


-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1UYYB3DhxoGuuO1ovu3nEyc7rtxoikAmiamEbzZ9HAwA%40mail.gmail.com.

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Joao Marcos 
> Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem um 
> documento chamado "O homem livre"
> Aqui está o link: 
> https://bibdig.biblioteca.unesp.br/bitstream/handle/10/8974/o-homem-livre-1965-0002.pdf?sequence=2

Agradeço pelo link.

* * *

O texto "Os sinais, um tema de máxima atualidade" é _muito_ divertido.  Cito:

"Hoje em dia, em face do desenvolvimento das chamadas lógicas
matemáticas, lógicas simbólicas, etc, e da proliferação de livros
sobre o tema dos sinais e da Lógica, não podemos deixar de contribuir,
dentro de nossas forças, com algo no intuito de dissipar tanta treva,
tanta sombra, tanta confusão que se faz aqui, que mais tem servido
para confundir os já confusos, e ameaça precipitar naquela aqueles que
ainda não foram arrastados para esse abismo.

[...]

Assumiremos, portanto, uma série de compromissos, que passamos a enumerar:

1) que o conceito de sinal, como é comumente aceito por tais autores,
além de confuso é falso;

2) que a lógica matemática, quanto às suas contribuições verdadeiras,
estas já estão contidas na Lógica clássica, as outras são por sua vez
falsas;

3) que a problemática apresentada é produto de deficiência e não de
proficiência;

4) que a quase totalidade dos chamados lógicos modernos, que seguem o
que freqüentemente se chama logística, pensam que a lógica clássica é
apenas a Lógica Formal, e quase nada entendem da Lógica Predicamental,
da Lógica Material e da Lógica Demonstrativa, nem das mais altas
investigações da boa Dialética;

5) que essa lógica, em vez de desenvolver mentalmente o homem, tende a
mecanizá-lo;

6) que há uma série de problemas lógicos, que ela não é apta a
resolver, enquanto seguindo-se os caminhos da lógica clássica são eles
solucionáveis;

7) que no âmbito da lógica simbólica, e entre os logísticos em geral,
há uma heterogeneidade de opiniões e que cada um repele o que o outro
diz, havendo entre seus seguidores controvérsias que ultrapassam os
limites do ridículo e raiam os da loucura;

8) que a maioria revela um atrevimento tolo e caricaturiza o que foi
feito, quando não maliciosamente deforma o que se realizou, com
inequívoca manifestação de má fé;

9) que são considerados como «sumidades», rematados tolos pretenciosos;

10) que, enfim, se queremos lutar por algo que leve avante os estudos
lógicos, precisamos saber percorrer com sinceridade e honestidade os
caminhos que foram traçados pelos grandes gregos e pelos escolásticos,
sob pena de estarmos rejeitando um patrimônio cultural que não
pertence a nenhum setor, mas, sim, à humanidade."

* * *

O texto "Os netinhos da Filosofia" também parece oportuno citar:

"Quando alguém é avô conhece uma das mais deliciosas experiências. É a
dos netinhos que lhe dão conselhos, ou que pretendem explicar-lhe
coisas que êle conhece de sobejo. «Vovô não ande na chuva, que faz
mal...» ou «ah! isso é assim, vovô. Vou ensinar ao senhor como é. . .»
A ingenuidade infantil comove, traz consigo uma beleza que provoca
emoções estéticas até.

Mas tudo isso, que é cheio de beleza na criança, é cheio de ridículo
quando vemos proceder assim adultos. É o espetáculo que oferecem esses
cavalheiros do Circulo de Viena e dos sub-círculos que proliferam
entre nós, desses logísticos que não conhecem a Lógica, e que, como
outras crianças, vêm dar conselhos e lições aos que conhecem a matéria
melhor que eles. Vem descobrir coisas já velhas e descobertas, e,
pior, já postas na lata de lixo, que eles vão remexer e apresentar
como novidades estupendas. São os netinhos da filosofia moderna. . .

No futuro, iremos mostrar as suas inúmeras ingenuidades. Mas há uma
diferença: é que a ingenuidade infantil é deliciosa, e a desses
bárbaros, casados, vacinados, é simplesmente ridícula. Mas, assim como
os netinhos causam assombro aos de sua idade, também esses adultos
assombram como Vascos da Gama, descobridores de um novo mundo para
outros de mente infantil de nossa época, que desconhecem, o que já se
fêz sobre a matéria."

* * *

JM

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhQ8RT%2B8mbA5WZ%3Dd%3D_mVhngEd2NzKFvYmkSO7L%3DSxDkKw%40mail.gmail.com.

[Logica-l] Square of Opposition, Crete, November 1-5, 2018

2018-09-20 Por tôpico jean-yves beziau 
Final extended deadline to send an asbtarct is September 24
http://www.square-of-opposition.org/

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLD1DGe_rzg4FGUYfr7v1P4A4eyRpc-brZOUHaF1uXPHwQ%40mail.gmail.com.