Re: [Logica-l] ChatGPT quis matar Newton da Costa
(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
... 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
> 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
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.
[Logica-l] [Deadline ext.] QM and Reality: Theoria
*Desculpem-me pela postagem cruzada* Oi pessoal, o prazo final para submissões no CFP da Theoria sobre "mecânica quântica e realidade" (abaixo) foi estendido até o dia 30 de Junho. Obrigado pela atenção. Abraços, Raoni %%% Dear Colleagues, this is a public Call for Papers for the Special Issue entitled “Quantum mechanics and reality” of the free, fully open access journal, Theoria (Basque Country, ISSN: 0495-4548; eISSN: 2171-679X; Qualis-CAPES 2020: A1; SJR-Scimago: Q1). In this Special Issue, we would like to bring the debate into the metaphysical field, encouraging investigations that travel in a two-way street: how and whether quantum mechanics can inform metaphysics and, conversely, how and whether metaphysics itself can contribute to our understanding of the world according to quantum mechanics. The relationship between science and metaphysics has been a hot topic for the last few decades, and there are no surprises to find that quantum mechanics occupies a prominent place in these discussions. After all, it is the perfect candidate for controversy on this issue: an extremely well-confirmed theory, but one that does not uniquely tell us what it is about. The scientific image provided by its equations has a lot of room for interpretation. To begin with, there is extensive literature debating the theory’s subject matter: is it a theory that deals with waves, particles, or something else entirely, such as wave functions? It is also natural to ask questions about quantum mechanics ontology when we ask, for example, about issues of existence related to quantum mechanics. After all, if we want to discover what there is in our world, it seems like a good idea to look for the answers in our physical theories: electrons? Many worlds? Structures? In a second way, it is debated how philosophical conceptions can shape our own picture of the physical world: would they be individual quantum entities in the Leibnizian sense of the term? Can the atomism implicit in different formulations of the theory become an obstacle for the theory itself to be really understood? Should we create new ontological categories so that we can classify quantum entities? Richard Feynman famously said that nobody understands quantum mechanics more than half a century ago. Maybe metaphysics as a discipline (also encompassing ontology) could shed some light on this issue (contra Feynman’s opinions about metaphysics). While some follow this path, others, such as David Lewis, expressed skepticism about taking metaphysical lessons from quantum mechanics. We encourage submissions beyond such skepticism (or elaborating on it) and going even further: can we take quantum-mechanical lessons from metaphysics? To advance the debate concerning metaphysics and quantum mechanics, we invite submissions of original work on the metaphysics of science, broadly understood, that addresses questions such as the ones in the following non-exhaustive list: - What is to interpret quantum mechanics? - What is the connection between quantum theory and its ontology? - What is the world like, according to quantum mechanics? - Is there a clear metaphysical picture provided by quantum mechanics? - What does it mean to adopt a realist stance toward quantum mechanics? - Can metaphysics contribute to a quantum mechanical picture of reality? This was the subject of the VIII International Workshop on Quantum Mechanics and Quantum Information, promoted by the International Network on Foundations of Quantum Mechanics and Quantum Information ( https://quantuminternationalnet.com/Workshops). Still, everyone is welcome to submit a paper. To complete your submission, you should follow the instructions on the Journal’s website (https://ojs.ehu.eus/index.php/THEORIA/about/submissions) and select “Quantum mechanics and reality” in the “Section” field (which is in the first steps of the submission in the OJS platform. The extended deadline for submitting a contributed paper is June 30, 2023. If you have any questions, please don’t hesitate to let us know. We look forward to receiving your submission. Best, The Guest Editors Jonas R. Becker Arenhart (UFSC/UFMA/CNPq) Raoni W. Arroyo (CLE/UNICAMP/UNIROMA3/FAPESP) Christian de Ronde (UBA/CONICET/UNAJ/CLEA/VUB) Raimundo Fernández-Mouján (UBA/CONICET/CLEA/VUB) -- Raoni Wohnrath Arroyo Postdoc | Centre for Logic, Epistemology and the History of Science University of Campinas +55(11)934-767-315 rwarr...@unicamp.com raoniarroyo.weebly.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
Re: [Logica-l] ChatGPT quis matar Newton da Costa
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
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
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
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.
[Logica-l] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20]
[Apologies if you receive multiple copies of this CFP. Please forward to interested parties] === **DEADLINE EXTENSION** **New abstract submission deadline: April 20, 2023** LFMTP 2023 Logical Frameworks and Meta-Languages: Theory and Practice Rome, Italy -- July 2nd, 2023 Affiliated with FSCD 2023 https://lfmtp.org/workshops/2023 === Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. LFMTP 2023 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following: * Encoding and reasoning about the meta-theory of programming languages, logical systems and related formally specified systems. * Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Logical treatments of inductive and co-inductive definitions and associated reasoning techniques, including inductive types of higher dimension in homotopy type theory. * Graphical languages for building proofs, applications in geometry, equational reasoning and category theory. * New theory contributions: canonical and substructural frameworks, contextual frameworks, proof-theoretic foundations supporting binders, functional programming over logical frameworks, homotopy and cubical type theory. * Applications of logical frameworks: proof-carrying architectures, proof exchange and transformation, program refactoring, etc. * Techniques for programming with binders in functional programming languages such as Haskell, OCaml or Agda, and logic programming languages such as lambda Prolog or Alpha-Prolog. The workshop's program will include contributed and invited talks. We hope that LFMTP takes place physically in Rome, but online participation will be possible and may even be necessary. ## Important Dates Abstract submission deadline: *Extended* April 20 (AoE) Paper submission deadline: *Extended* April 27 (AoE) Notification to authors: May 26 ## Submission Submit on EasyChair: https://easychair.org/conferences/?conf=lfmtp23 All papers must be original and not simultaneously submitted to another journal or conference. In addition to regular papers, we welcome/encourage the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large. Submitted papers should be in PDF, formatted using the EPTCS style guidelines (https://info.eptcs.org/). The length is restricted to 15 pages for regular papers and 8 pages for "work in progress" papers (both limits include references). ## Proceedings A selection of the presented papers will be published online in the Electronic Proceedings in Theoretical Computer Science (EPTCS). ## Invited Speakers - Niki Vazou (IMDEA Software Institute Madrid, Spain) Note: shared session with LSFA'23 (https://sites.google.com/ufg.br/lsfa2023 ). ## Program Committee * Roberto Blanco (MPI-SP) * Frédéric Blanqui (Inria) * Ana Bove (Chalmers University of Technology) * Alberto Ciaffaglione, co-chair (Università degli Studi di Udine) * Amy Felty (University of Ottawa) * Assia Mahboubi (Inria) * Narciso Marti-Oliet (Universidad Complutense de Madrid) * Gopalan Nadathur (University of Minnesota) * Carlos Olarte, co-chair (LIPN, Université Sorbonne Paris Nord) * Clément Pit-Claudel (Amazon AWS) * Andrei Popescu (University of Sheffield) * Claudio Sacerdoti Coen (University of Bologna) -- 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/CAFh-QQFCothLgOoAzEPtzu-Rx2sbuweTbVNZkgTBrXndQGJ%2Bbw%40mail.gmail.com.
