Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-13 Por tôpico Juan Carlos Agudelo Agudelo
Sobre as críticas do Noam Chomsky ao ChatGPT:
https://cambiocolombia.com/tecnologia/la-critica-de-chomsky-chatgpt?fbclid=IwAR1xT4QP-zU3J4NV-Oo1x_KuhQi7g0UTDyG8xk52jINJE7efYgtSVLeITi8

Tristemente não tenho subscrição ao "The New York Times" para ler o artigo
original.

Abs,
Juan Carlos


On Wed, Apr 12, 2023 at 11:56 AM Joao Marcos  wrote:

> (I am large, I contain multitudes.)
> - Song of Myself, 51
>   Walt Whitman - 1819-1892
> https://poets.org/poem/song-myself-51
>
> On Wed, Apr 12, 2023 at 1:52 PM samuel  wrote:
> >
> > ... Haha, boa, pois é, empiricamente a gente sabe que os três com
> certeza são dois-a-dois distintos, pra provar
> > formalmente, que dificuldade hehehe...
> >
> > []s  Samuel
> >
> > Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos
> escreveu:
> >>
> >> > Não sei se vocês tentaram, mas há coisa de uns dois meses eu por
> teste perguntei "quais são as maiores contribuições à lógica de..." para
> vários casos
> >> > (no ChatGPT), ou uma pergunta semelhante,
> >> >
> >> > e na verdade os textos gerados para Walter Carnielli, Marcelo
> Coniglio e João Marcos eram exatamente idênticos !
> >> >
> >> > Como se fossem exatamente a mesma pessoa.
> >>
> >> Hahaha... Você pode provar que eu não sou?
> >>
> >> "As against solipsism it is to be said, in the first place, that it is
> >> psychologically impossible to believe, and is rejected in fact even by
> >> those who mean to accept it. I once received a letter from an eminent
> >> logician, Mrs. Christine Ladd-Franklin, saying that she was a
> >> solipsist, and was surprised that there were no others. Coming from a
> >> logician and a solipsist, her surprise surprised me."
> >> (Russell, p. 180). Russell, Bertrand., Human Knowledge: Its Scope and
> >> Limits,London: George Allen & Unwin, 1948.
> >>
> >> JM
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiKZMBOAf-LvZrUzM%3Db5N2ji8fbgYpBzC2pOHRU%3DWHi4g%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSoMtffK4cRL5P6gAWWF4kXJ%2B9QcUqrbB%3DFigHnCeGbiMw%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Joao Marcos
(I am large, I contain multitudes.)
- Song of Myself, 51
  Walt Whitman - 1819-1892
https://poets.org/poem/song-myself-51

On Wed, Apr 12, 2023 at 1:52 PM samuel  wrote:
>
> ... Haha, boa, pois é, empiricamente a gente sabe que os três com certeza são 
> dois-a-dois distintos, pra provar
> formalmente, que dificuldade hehehe...
>
> []s  Samuel
>
> Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos escreveu:
>>
>> > Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste 
>> > perguntei "quais são as maiores contribuições à lógica de..." para vários 
>> > casos
>> > (no ChatGPT), ou uma pergunta semelhante,
>> >
>> > e na verdade os textos gerados para Walter Carnielli, Marcelo Coniglio e 
>> > João Marcos eram exatamente idênticos !
>> >
>> > Como se fossem exatamente a mesma pessoa.
>>
>> Hahaha... Você pode provar que eu não sou?
>>
>> "As against solipsism it is to be said, in the first place, that it is
>> psychologically impossible to believe, and is rejected in fact even by
>> those who mean to accept it. I once received a letter from an eminent
>> logician, Mrs. Christine Ladd-Franklin, saying that she was a
>> solipsist, and was surprised that there were no others. Coming from a
>> logician and a solipsist, her surprise surprised me."
>> (Russell, p. 180). Russell, Bertrand., Human Knowledge: Its Scope and
>> Limits,London: George Allen & Unwin, 1948.
>>
>> JM
>>
>> --
>> http://sequiturquodlibet.googlepages.com/



-- 
http://sequiturquodlibet.googlepages.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiKZMBOAf-LvZrUzM%3Db5N2ji8fbgYpBzC2pOHRU%3DWHi4g%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico 'samuel' via LOGICA-L
... Haha, boa, pois é, empiricamente a gente sabe que os três com certeza 
são dois-a-dois distintos, pra provar
formalmente, que dificuldade hehehe...

[]s  Samuel

Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos 
escreveu:

> > Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste 
> perguntei "quais são as maiores contribuições à lógica de..." para vários 
> casos
> > (no ChatGPT), ou uma pergunta semelhante,
> >
> > e na verdade os textos gerados para Walter Carnielli, Marcelo Coniglio e 
> João Marcos eram exatamente idênticos !
> >
> > Como se fossem exatamente a mesma pessoa.
>
> Hahaha... Você pode provar que eu não sou?
>
> "As against solipsism it is to be said, in the first place, that it is
> psychologically impossible to believe, and is rejected in fact even by
> those who mean to accept it. I once received a letter from an eminent
> logician, Mrs. Christine Ladd-Franklin, saying that she was a
> solipsist, and was surprised that there were no others. Coming from a
> logician and a solipsist, her surprise surprised me."
> (Russell, p. 180). Russell, Bertrand., Human Knowledge: Its Scope and
> Limits,London: George Allen & Unwin, 1948.
>
> JM
>
> -- 
> http://sequiturquodlibet.googlepages.com/
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/409c4bc7-c2b4-416d-961a-f89f5b045391n%40dimap.ufrn.br.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Joao Marcos
> Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste 
> perguntei "quais são as maiores contribuições à lógica de..." para vários 
> casos
> (no ChatGPT), ou uma pergunta semelhante,
>
> e na verdade os textos gerados para Walter Carnielli, Marcelo Coniglio e João 
> Marcos eram exatamente idênticos !
>
> Como se fossem exatamente a mesma pessoa.

Hahaha...  Você pode provar que eu não sou?

"As against solipsism it is to be said, in the first place, that it is
psychologically impossible to believe, and is rejected in fact even by
those who mean to accept it. I once received a letter from an eminent
logician, Mrs. Christine Ladd-Franklin, saying that she was a
solipsist, and was surprised that there were no others. Coming from a
logician and a solipsist, her surprise surprised me."
(Russell, p. 180). Russell, Bertrand., Human Knowledge: Its Scope and
Limits,London: George Allen & Unwin, 1948.

JM

-- 
http://sequiturquodlibet.googlepages.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lie1gRZaW1buQ3HHjVMaXPZKXo_8_dP2o-1U-QShpm%3Dsg%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico 'samuel' via LOGICA-L
Caros,

Retomando uma mensagem do Walter,

Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste 
perguntei "quais são as maiores contribuições à lógica de..." para vários 
casos
(no ChatGPT), ou uma pergunta semelhante, 

e na verdade os textos gerados para Walter Carnielli, Marcelo Coniglio e 
João Marcos eram exatamente idênticos !

Como se fossem exatamente a mesma pessoa.

Enfim...

Atés

[]s  Samuel

Em quarta-feira, 12 de abril de 2023 às 10:40:12 UTC-3, aldofigallo 
escreveu:

> Imaginemos que um médico tem um paciente con câncer ele decide tratar ele 
> com paracetamol.
>
> O médico registra que a febre baixou mais o câncer segue igual. Então ele 
> conclui:
>
> O câncer não tem cura.
>
> O paracetamol não serve para nada.
>
> A realidade é o paracetamol foi desenvolvido para outros propósitos.
>
> Ese e o assunto qual seria o uso certo do ChatGPT, evidentemente para 
> oráculo não serve, para se informar parece que também não. Mas acho que 
> alguns dos defeitos podem ser resolvidos.
>
> Outro ponto, o único que se vê prejudicado pela fake news e o usuario. A 
> verdade não penso me informar por esse meio, nem por Facebook nem por 
> Instagram todas fabricas existentes de fake News. 
>
>
>
>
> Em qua., 12 de abr. de 2023 10:28, Alexandre Rademaker  
> escreveu:
>
>>
>> Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk=1629s
>>
>> Que basicamente reforça os comentários do Marcelo.
>>
>>
>> Ab.,
>> Alexandre
>>
>>
>> > On 10 Apr 2023, at 10:13, Marcelo Finger  wrote:
>> > 
>> >   > ChatGPT le é se transforma,  desse modo,  numa verdadeira máquina 
>> automática de mentiras!
>> > 
>> > Claro!  Ele é explicitamente treinado para gerar texto, sem qqer 
>> compromisso com a realidade (a menos daquilo que o pessoal chamou de 
>> "comportamento emergente").  Então, no seu âmago, ele é um gerador de fake 
>> news.
>> > 
>> > O meu ponto é: nessa altura, isso não é mais novidade.  
>> > 
>> > Novidade seriam métodos para domar a besta.  E parar de inflar a bola 
>> dele é uma necessidade.
>> > 
>> > []s
>>
>>
>> -- 
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de 
>> Lógica 
>> --- 
>> 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+u...@dimap.ufrn.br.
>>
> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/50313043-4D6A-4E06-8C9D-207DCB618A4D%40gmail.com
>> .
>>
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5585b570-df44-4d76-bb59-476fe748067bn%40dimap.ufrn.br.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Juan F. Meleiro
Joao Marcos [2023-04-11 21:43]:
> Das utilidades do raciocínio paradoxal (da série "humor a uma hora
> dessas?"):
> https://www.instagram.com/p/Cq6IuxJPj1Y/?igshid=YmMyMTA2M2Y=

https://www.youtube.com/watch?v=GbMHAaB0uI0

-- 
juan

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ga2aaayvfs46fzje5fntfft7tuorlz5lcxj6qsroneeuq76uy2%40nh7tstbq2vru.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Aldo Figallo-Orellano
Imaginemos que um médico tem um paciente con câncer ele decide tratar ele
com paracetamol.

O médico registra que a febre baixou mais o câncer segue igual. Então ele
conclui:

O câncer não tem cura.

O paracetamol não serve para nada.

A realidade é o paracetamol foi desenvolvido para outros propósitos.

Ese e o assunto qual seria o uso certo do ChatGPT, evidentemente para
oráculo não serve, para se informar parece que também não. Mas acho que
alguns dos defeitos podem ser resolvidos.

Outro ponto, o único que se vê prejudicado pela fake news e o usuario. A
verdade não penso me informar por esse meio, nem por Facebook nem por
Instagram todas fabricas existentes de fake News.




Em qua., 12 de abr. de 2023 10:28, Alexandre Rademaker 
escreveu:

>
> Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk=1629s
>
> Que basicamente reforça os comentários do Marcelo.
>
>
> Ab.,
> Alexandre
>
>
> > On 10 Apr 2023, at 10:13, Marcelo Finger  wrote:
> >
> >   > ChatGPT le é se transforma,  desse modo,  numa verdadeira máquina
> automática de mentiras!
> >
> > Claro!  Ele é explicitamente treinado para gerar texto, sem qqer
> compromisso com a realidade (a menos daquilo que o pessoal chamou de
> "comportamento emergente").  Então, no seu âmago, ele é um gerador de fake
> news.
> >
> > O meu ponto é: nessa altura, isso não é mais novidade.
> >
> > Novidade seriam métodos para domar a besta.  E parar de inflar a bola
> dele é uma necessidade.
> >
> > []s
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/50313043-4D6A-4E06-8C9D-207DCB618A4D%40gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQ%3DJhU1vVBeB%2B10Hvx3qiG%3D7pc4%2Bo%2B%2BVC1BO9JvnHj1D%3DA%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Alexandre Rademaker


Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk=1629s

Que basicamente reforça os comentários do Marcelo.


Ab.,
Alexandre


> On 10 Apr 2023, at 10:13, Marcelo Finger  wrote:
> 
>   > ChatGPT le é se transforma,  desse modo,  numa verdadeira máquina 
> automática de mentiras!
> 
> Claro!  Ele é explicitamente treinado para gerar texto, sem qqer compromisso 
> com a realidade (a menos daquilo que o pessoal chamou de "comportamento 
> emergente").  Então, no seu âmago, ele é um gerador de fake news.
> 
> O meu ponto é: nessa altura, isso não é mais novidade.  
> 
> Novidade seriam métodos para domar a besta.  E parar de inflar a bola dele é 
> uma necessidade.
> 
> []s


-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/50313043-4D6A-4E06-8C9D-207DCB618A4D%40gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico Cassiano Terra Rodrigues
Camaraders! 

Acompanhei um tanto estupefato essa discussão, e acho q a melhor mensagem 
foi essa última do JM. 

Esse irônico post no Instagram é realmente impagável! E revela muito sobre 
nós. Achei q a máquina é cândida e singela, ao contrário dos humanos, 
sempre prontos para o ataque. 
Achismos meus à parte, no dia 27/04, uma quinta-feira, Lúcia Santaella fará 
uma palestra no ITA acerca de seu mais recente livro, *Neo-Humano: A Sétima 
Revolução Cognitiva do Sapiens*. A palestra faz parte do Ciclo de Debates 
do Departamento de Humanidades do ITA, do qual faço parte. A Lúcia não 
trata especificamente do CHATGPT, mas de questionamentos relacionados à IA. 
Recomendo a leitura, é um ótimo livro, como outros dela. 
A palestra será gravada e se houver interesse posso mandar o link assim q 
estiver disponível. Quem quiser aparecer, por favor, peço me avisar antes 
para a inscrição, gratuita. 

Abraços,
cass. 



-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5f8c0043-fc96-45b2-bd25-cd996c11c5b7n%40dimap.ufrn.br.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-11 Por tôpico Joao Marcos
Das utilidades do raciocínio paradoxal (da série "humor a uma hora
dessas?"):
https://www.instagram.com/p/Cq6IuxJPj1Y/?igshid=YmMyMTA2M2Y=


JM

>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiRCpB0myVW1i7USi8byU6WgXz6wjCP%3D%2B4BoVdHFYsSdw%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-10 Por tôpico Joao Marcos
>
> Claro!  Ele é explicitamente treinado para gerar texto, sem qqer
> compromisso com a realidade (a menos daquilo que o pessoal chamou de
> "comportamento emergente").  Então, no seu âmago, ele é um gerador de fake
> news.
>

Sem dúvida.  E em breve, quando ele tiver enchido todos os cantinhos da
internet de fake news automaticamente geradas, vai ficar (ainda mais)
difícil encontrar "oráculos confiáveis".

JM

-- 
http://sequiturquodlibet.googlepages.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiQOntT68KCWFRdB8rTw7XZnu4qTDukbfGM7WLQ8XLZLQ%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-10 Por tôpico Marcelo Finger
  > ChatGPT le é se transforma,  desse modo,  numa verdadeira máquina
automática de mentiras!

Claro!  Ele é explicitamente treinado para gerar texto, sem qqer
compromisso com a realidade (a menos daquilo que o pessoal chamou de
"comportamento emergente").  Então, no seu âmago, ele é um gerador de fake
news.

O meu ponto é: nessa altura, isso não é mais novidade.

Novidade seriam métodos para domar a besta.  E parar de inflar a bola dele
é uma necessidade.

[]s


On Mon, Apr 10, 2023 at 9:58 AM Walter Carnielli 
wrote:

> Claro que não serve Marcelo ,
> mas ele se arvora em responder,  e isso confunde os incautos, que são
> milhões e milhões.
>
> ChatGPT se transforma,  desse modo,  numa verdadeira máquina automática de
> mentiras!
>
> W.
>
> Em seg., 10 de abr. de 2023 09:16, Marcelo Finger 
> escreveu:
>
>> CAros.
>>
>> Está mais que óbvio que o chat GPT não pode ser usado como oráculo.  Não
>> deve ser usado como oráculo, e já encheu ficar obtendo respostas erradas
>> dele.
>>
>> Ele serve para gerar texto, se você usá-lo assim, vai te poupar algum
>> tempo em algumas atividades burocráticas.
>>
>> Para outras coisas ele não serve mesmo!
>>
>> []s
>>
>>
>> On Sun, Apr 9, 2023 at 10:14 PM Joao Marcos  wrote:
>>
>>> > É mesmo, mentiroso e confuso.  Ouviu o galo cantar e não sabe onde.
>>> > Eu perguntei o  papel de Joao Marcos. na  paraconsistência, e ele
>>> > disse o seguinte:
>>>
>>> O bichinho é obviamente pago para enrolar e puxar o saco. :-)
>>> Aliás, ele insiste de pés juntos que esse tal João Marcos é professor
>>> da USP. :-o
>>> (também diz várias outras barbaridades e faz muitas outras asserções
>>> incorretas)
>>> Não há conexão, de todo modo, entre falar muito e dizer qualquer coisa
>>> de jeito...
>>>
>>> Abraços, João Marcos (one but not only)
>>>
>>> --
>>> http://sequiturquodlibet.googlepages.com/
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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 discussão na web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhsgKOaHy58n2BuLHN10Tw8Ca%3Dt4hB3AF8%3DP%2BF86hSqaQ%40mail.gmail.com
>>> .
>>>
>>
>>
>> --
>> Marcelo Finger
>>  Departament of Computer Science, IME-USP
>>  http://www.ime.usp.br/~mfinger
>>  ORCID: https://orcid.org/-0002-1391-1175
>>  ResearcherID: A-4670-2009
>>
>> Instituto de Matemática e Estatística,
>>
>> Universidade de São Paulo
>>
>> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>>
>

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

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1-SjkLR6SoV9cfYH3Sps0TXSrXmdxkiJokq_G0n7Bwfg%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-10 Por tôpico Walter Carnielli
Claro que não serve Marcelo ,
mas ele se arvora em responder,  e isso confunde os incautos, que são
milhões e milhões.

ChatGPT se transforma,  desse modo,  numa verdadeira máquina automática de
mentiras!

W.

Em seg., 10 de abr. de 2023 09:16, Marcelo Finger 
escreveu:

> CAros.
>
> Está mais que óbvio que o chat GPT não pode ser usado como oráculo.  Não
> deve ser usado como oráculo, e já encheu ficar obtendo respostas erradas
> dele.
>
> Ele serve para gerar texto, se você usá-lo assim, vai te poupar algum
> tempo em algumas atividades burocráticas.
>
> Para outras coisas ele não serve mesmo!
>
> []s
>
>
> On Sun, Apr 9, 2023 at 10:14 PM Joao Marcos  wrote:
>
>> > É mesmo, mentiroso e confuso.  Ouviu o galo cantar e não sabe onde.
>> > Eu perguntei o  papel de Joao Marcos. na  paraconsistência, e ele
>> > disse o seguinte:
>>
>> O bichinho é obviamente pago para enrolar e puxar o saco. :-)
>> Aliás, ele insiste de pés juntos que esse tal João Marcos é professor
>> da USP. :-o
>> (também diz várias outras barbaridades e faz muitas outras asserções
>> incorretas)
>> Não há conexão, de todo modo, entre falar muito e dizer qualquer coisa
>> de jeito...
>>
>> Abraços, João Marcos (one but not only)
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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 discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhsgKOaHy58n2BuLHN10Tw8Ca%3Dt4hB3AF8%3DP%2BF86hSqaQ%40mail.gmail.com
>> .
>>
>
>
> --
> Marcelo Finger
>  Departament of Computer Science, IME-USP
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> Instituto de Matemática e Estatística,
>
> Universidade de São Paulo
>
> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfAYDBtzUvdvwtXv%2BLYYZNEwD%2BT%2Bzae5N3PBmdLDWwRJg%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-10 Por tôpico Marcelo Finger
CAros.

Está mais que óbvio que o chat GPT não pode ser usado como oráculo.  Não
deve ser usado como oráculo, e já encheu ficar obtendo respostas erradas
dele.

Ele serve para gerar texto, se você usá-lo assim, vai te poupar algum
tempo em algumas atividades burocráticas.

Para outras coisas ele não serve mesmo!

[]s


On Sun, Apr 9, 2023 at 10:14 PM Joao Marcos  wrote:

> > É mesmo, mentiroso e confuso.  Ouviu o galo cantar e não sabe onde.
> > Eu perguntei o  papel de Joao Marcos. na  paraconsistência, e ele
> > disse o seguinte:
>
> O bichinho é obviamente pago para enrolar e puxar o saco. :-)
> Aliás, ele insiste de pés juntos que esse tal João Marcos é professor
> da USP. :-o
> (também diz várias outras barbaridades e faz muitas outras asserções
> incorretas)
> Não há conexão, de todo modo, entre falar muito e dizer qualquer coisa
> de jeito...
>
> Abraços, João Marcos (one but not only)
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhsgKOaHy58n2BuLHN10Tw8Ca%3Dt4hB3AF8%3DP%2BF86hSqaQ%40mail.gmail.com
> .
>


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

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1kU%2Bnw%3DTc7Mr3a5A64iXr_4MrJ01XOrmz7d5mXQPGD6A%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-09 Por tôpico Joao Marcos
> É mesmo, mentiroso e confuso.  Ouviu o galo cantar e não sabe onde.
> Eu perguntei o  papel de Joao Marcos. na  paraconsistência, e ele
> disse o seguinte:

O bichinho é obviamente pago para enrolar e puxar o saco. :-)
Aliás, ele insiste de pés juntos que esse tal João Marcos é professor
da USP. :-o
(também diz várias outras barbaridades e faz muitas outras asserções incorretas)
Não há conexão, de todo modo, entre falar muito e dizer qualquer coisa
de jeito...

Abraços, João Marcos (one but not only)

-- 
http://sequiturquodlibet.googlepages.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhsgKOaHy58n2BuLHN10Tw8Ca%3Dt4hB3AF8%3DP%2BF86hSqaQ%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-09 Por tôpico Walter Carnielli
É mesmo, mentiroso e confuso.  Ouviu o galo cantar e não sabe onde.
Eu perguntei o  papel de Joao Marcos. na  paraconsistência, e ele
disse o seguinte:

"João Marcos is a Brazilian logician who has made significant
contributions to the field of paraconsistent logic. In particular, he
has worked on developing a framework for understanding paraconsistent
reasoning in terms of a class of logics known as relevance logics. He
has also collaborated with other prominent paraconsistent logicians,
such as Newton da Costa and Walter Carnielli, on various projects
related to paraconsistent logic".

Uma parte é verdade, João Marcos fez contribuições significativas, mas
depois mistura tudo  É o  "Rolando Lero" digital.  :-)
Abs

W.

Em dom., 9 de abr. de 2023 às 20:37, Joao Marcos  escreveu:
>
> Todo mundo sabe que o ChatGPT mente na cara dura, né?  Imagine só que
> eu perguntei a ele quem foi o criador da lógica paraconsistente e ele
> respondeu que foi você, Walter!
>
> []s, JM
>
>
> On Sun, Apr 9, 2023 at 5:30 PM Walter Carnielli  wrote:
> >
> > Pergunta:  Quando  foi a data da  morte de  Newton da Costa?
> >
> >
> > Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011. 
> > Ele foi um renomado matemático e lógico brasileiro, considerado um dos 
> > fundadores da lógica paraconsistente.
> >
> > "ChatGPT Mar 23 Version. Free Research Preview. ChatGPT may produce 
> > inaccurate information about people, places, or facts"
> >
> > Longa vida ao Mestre  Newton!
> >
> > W.
> > PS- Acho que isso nem é Off-Topic...
>
> --
> http://sequiturquodlibet.googlepages.com/



-- 
 
Walter Carnielli
Laboratory for Applied Ontology (LOA), ISTC-CNR
Trento, Italy
http://www.loa.istc.cnr.it
and
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
https://waltercarnielli.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdeEx7enOugm39kCL_7A4yPZP4wMHT9FQzxE1jNgktnmg%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-09 Por tôpico Joao Marcos
Todo mundo sabe que o ChatGPT mente na cara dura, né?  Imagine só que
eu perguntei a ele quem foi o criador da lógica paraconsistente e ele
respondeu que foi você, Walter!

[]s, JM


On Sun, Apr 9, 2023 at 5:30 PM Walter Carnielli  wrote:
>
> Pergunta:  Quando  foi a data da  morte de  Newton da Costa?
>
>
> Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011. Ele 
> foi um renomado matemático e lógico brasileiro, considerado um dos fundadores 
> da lógica paraconsistente.
>
> "ChatGPT Mar 23 Version. Free Research Preview. ChatGPT may produce 
> inaccurate information about people, places, or facts"
>
> Longa vida ao Mestre  Newton!
>
> W.
> PS- Acho que isso nem é Off-Topic...

--
http://sequiturquodlibet.googlepages.com/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjUtPY5R8n%3DXZRYLjBacTTZ3Qu9aSwubwMpa4XZ44gQJA%40mail.gmail.com.


Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-09 Por tôpico Aldo Figallo-Orellano
Penso que essa pergunta debería poder ser respondida, usando Wikipedia.

Mas por enquanto ChatGPT é uma tecnología nova. Alguém se lembra do Google
no começo, não era tão eficiente quanto é agora.

Mas claro que vamos ter limitações, não pode um programa responder as
seguintes perguntas:

Deus existe?

Vou ter câncer no futuro?

Mas se darmos algum tipo de datas, algumas perguntas podem ser respondidas.
Penso que essa tecnologia poder ter muita utilidade. Já nos bancos a gente
não fala com pessoa nos chats, para resolver muitos dos problemas.

Abs

Aldo


Em dom., 9 de abr. de 2023 17:30, Walter Carnielli 
escreveu:

> Pergunta:  Quando  foi a data da  morte de  Newton da Costa?
>
>
> Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011.
> Ele foi um renomado matemático e lógico brasileiro, considerado um dos
> fundadores da lógica paraconsistente.
>
> "ChatGPT Mar 23 Version. Free Research Preview. ChatGPT may produce
> inaccurate information about people, places, or facts"
>
> Longa vida ao Mestre  Newton!
>
> W.
> PS- Acho que isso nem é Off-Topic...
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfO4tbZeSNjyxU4eSqnNZ_R0tNUAaUfBo3ncD5_9GYLOQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQn8vTboYVrxjmPFDdOCbuu36XU19CTfsoAVVn7M%3DEFjtw%40mail.gmail.com.


[Logica-l] ChatGPT quis matar Newton da Costa

2023-04-09 Por tôpico Walter Carnielli
Pergunta:  Quando  foi a data da  morte de  Newton da Costa?


Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011.
Ele foi um renomado matemático e lógico brasileiro, considerado um dos
fundadores da lógica paraconsistente.

"ChatGPT Mar 23 Version. Free Research Preview. ChatGPT may produce
inaccurate information about people, places, or facts"

Longa vida ao Mestre  Newton!

W.
PS- Acho que isso nem é Off-Topic...

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfO4tbZeSNjyxU4eSqnNZ_R0tNUAaUfBo3ncD5_9GYLOQ%40mail.gmail.com.